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