DocumentCode :
2171861
Title :
Using bdds to verify multipliers
Author :
Burch, Jerry R.
Author_Institution :
Carnegie Mellon University
fYear :
1991
fDate :
21-21 June 1991
Firstpage :
408
Lastpage :
412
Keywords :
Binary decision diagrams; Boolean functions; Combinational circuits; Computer science; Contracts; Data structures; Distributed computing; Permission; US Department of Defense; Wires;
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 :
979750
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2171861
بازگشت