Title :
Representing circuits more efficiently in symbolic model checking
Author :
Burch, J.R. ; Clarke, E.M. ; Long, D.E.
Author_Institution :
Carnegie Mellon University
Keywords :
Automata; Binary decision diagrams; Boolean functions; Computer science; Data structures; Encoding; Logic; Permission; Pipelines; Sequential circuits;
Conference_Titel :
Design Automation Conference, 1991. 28th ACM/IEEE
Conference_Location :
IEEE
Print_ISBN :
0-89791-395-7
