Formal hardware verification by symbolic trajectory evaluation (1991)

by D L Beatty, R E Bryant, C-J H Seger
Venue:Proceedings of the 28th ACM/IEEE Design Automation Conference (San Francisco, June), ACM