Title :
Polarized observability don´t cares
Author :
Arts, H. ; Berkelaar, M. ; Van Eijk, C.A.J.
Author_Institution :
Eindhoven Univ. of Technol., Netherlands
Abstract :
A new method is presented to compute the exact observability don´t cares (ODC) for multilevel combinational circuits. A new mathematical concept, called polarization, is introduced. Polarization captures the essence of ODC calculation on the otherwise difficult points of reconvergence. It makes it possible to derive the ODC of a node from the ODCs of its fanouts with a very simple formula. Experimental results for the 39 largest MCNC benchmark examples show that the method is able to compute the ODC set (expressed as a Boolean network) for all but 1 circuit in at most a few seconds.
Keywords :
Boolean functions; circuit optimisation; combinational circuits; convergence; logic CAD; multivalued logic circuits; Boolean network; MCNC benchmark; ODC calculation; experimental results; fanouts; logic circuit design; mathematical concept; multilevel combinational circuits; polarized observability don´t cares; reconvergence; Art; Circuit simulation; Circuit synthesis; Computational complexity; Computational modeling; Computer networks; Network synthesis; Observability; Polarization;
Conference_Titel :
Computer-Aided Design, 1996. ICCAD-96. Digest of Technical Papers., 1996 IEEE/ACM International Conference on
Conference_Location :
San Jose, CA, USA
Print_ISBN :
0-8186-7597-7
DOI :
10.1109/ICCAD.1996.571331
