Title :
Efficient variable ordering heuristics for shared
Author :
Hajj, Ibrahim N. ; Patel, J.H.
Keywords :
Benchmark testing; Boolean functions; Circuit simulation; Circuit testing; Contracts; Data structures; Guidelines; Input variables; Logic design; Packaging;
Conference_Titel :
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location :
IEEE
Print_ISBN :
0-7803-1281-3
