Title :
Symmetry Detection And Dynamic Variable
Author :
Panda, Shipra ; Somenzi, Fabio ; Plessier, Bernard F.
Keywords :
Algorithm design and analysis; Application software; Binary decision diagrams; Boolean functions; Costs; Data structures; Detection algorithms; Filters; Logic design; Logic functions;
Conference_Titel :
Computer-Aided Design, 1994., IEEE/ACM International Conference on
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1994.629887