DocumentCode
416298
Title
A SAT-based algorithm for reparameterization in symbolic simulation
Author
Chauhan, Pankaj ; Clarke, Edmund M. ; Kroening, Daniel
Author_Institution
Carnegie Mellon University, USA
fYear
2004
fDate
7-11 July 2004
Firstpage
524
Lastpage
529
Keywords
Binary decision diagrams; Boolean functions; Circuit simulation; Computational modeling; Computer simulation; Contracts; Data structures; Electromagnetic compatibility; Input variables; Permission;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location
San Diego, CA, USA
ISSN
0738-100X
Print_ISBN
1-51183-828-8
Type
conf
Filename
1322537
Link To Document