Title :
An Efficient Assertion Checker For Combinational Properties
Author :
Hasteer, Gagan ; Mathur, Anmol ; Banerjee, Prithviraj
Author_Institution :
University of Illinois
Keywords :
Application software; Circuits; Computer graphics; Computer science; Decoding; Formal verification; Hardware design languages; Permission; Signal generators; Silicon;
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-7803-4093-0
DOI :
10.1109/DAC.1997.597242