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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=416298
بازگشت