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

by B Chen, M Yamazaki, M Fujita
Venue:In Proc. European Conf. on Design Automation