Title :
Equivalence checking of combinational switching functions using ROBDD
Keywords :
Boolean functions; Data structures;
Conference_Titel :
Multi Topic Conference, 2002. Abstracts. INMIC 2002. International
Conference_Location :
Karachi
Print_ISBN :
0-7803-7715-X
DOI :
10.1109/INMIC.2002.1310185
