Polarized observability don´t cares

Author

Arts, H. ; Berkelaar, M. ; Van Eijk, C.A.J.

Author_Institution

Eindhoven Univ. of Technol., Netherlands

fYear

1996

fDate

10-14 Nov. 1996

Firstpage

626

Lastpage

631

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCAD.1996.571331

Filename

571331