Bug Identification of a Real Chip Design by Symbolic Model Checking (1994)

by B Chen, M Yamazaki, M Fujita
Venue:In Proc. Intematioital Conference on Circuits And Systenzs