DocumentCode :
2578632
Title :
An Efficient Assertion Checker For Combinational Properties
Author :
Hasteer, Gagan ; Mathur, Anmol ; Banerjee, Prithviraj
Author_Institution :
University of Illinois
fYear :
1997
fDate :
9-13 June 1997
Firstpage :
734
Lastpage :
739
Keywords :
Application software; Circuits; Computer graphics; Computer science; Decoding; Formal verification; Hardware design languages; Permission; Signal generators; Silicon;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
ISSN :
0738-100X
Print_ISBN :
0-7803-4093-0
Type :
conf
DOI :
10.1109/DAC.1997.597242
Filename :
597242
Link To Document :
بازگشت