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

by B Chen, M Yamazaki, M Fujita
Venue:In Proceedings of International Conference on Circuits And Systems