مرکز منطقه ای اطلاع رساني علوم و فناوري - Efficient Verification Of Multiplier And Other Difficult Functions Using IBDDs

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 :