DocumentCode
3640495
Title
Efficient Verification Of Multiplier And Other Difficult Functions Using IBDDs
Author
J. Bitner;J. Jain;M. Abadir;J.A. Abraham;D.S. Fussell
fYear
1992
fDate
6/14/1905 12:00:00 AM
Publisher
ieee
Conference_Titel
Custom Integrated Circuits Conference, 1992., Proceedings of the IEEE 1992
Print_ISBN
0-7803-0246-X
Type
conf
DOI
10.1109/CICC.1992.591131
Filename
5727291
Link To Document