A Signal-Driven Discrete Relaxation Technique for Architectural Level Test Generation.

Jaushin Lee Janak H. Patel A Signal-Driven Discrete Relaxation Technique for Architectural Level Test Generation. 458-461 1991 ICCAD db/conf/iccad/iccad1991.html#LeeP91