DocumentCode

3127897

Title

Equivalence checking of combinational switching functions using ROBDD

Author

Talukder, K.H.

fYear

2002

fDate

27-28 Dec. 2002

Firstpage

78

Lastpage

78

Keywords

Boolean functions; Data structures;

fLanguage

English

Publisher

ieee

Conference_Titel

Multi Topic Conference, 2002. Abstracts. INMIC 2002. International

Conference_Location

Karachi

Print_ISBN

0-7803-7715-X

Type

conf

DOI

10.1109/INMIC.2002.1310185

Filename

1310185