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