DocumentCode

2171833

Title

Representing circuits more efficiently in symbolic model checking

Author

Burch, J.R. ; Clarke, E.M. ; Long, D.E.

Author_Institution

Carnegie Mellon University

fYear

1991

fDate

21-21 June 1991

Firstpage

403

Lastpage

407

Keywords

Automata; Binary decision diagrams; Boolean functions; Computer science; Data structures; Encoding; Logic; Permission; Pipelines; Sequential circuits;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1991. 28th ACM/IEEE

Conference_Location

IEEE

Print_ISBN

0-89791-395-7

Type

conf

Filename

979749