Deriving Signal Constraints to Accelerate Sequential Test Generation.

Wed, 01 Jan 1997 00:00:00 +0100

Srimat T. Chakradhar, Vijay Gangaram, Steven G. Rothweiler:
Deriving Signal Constraints to Accelerate Sequential Test Generation. VLSI Design 1997: 488-494