Computing observability don´t cares efficiently through polarization

Author

Arts, Harm ; Berkelaar, Michel ; van Eijk, Koen

Author_Institution

Ambit Design Syst. Inc., Santa Clara, CA, USA

Volume

17

Issue

7

fYear

1998

fDate

7/1/1998 12:00:00 AM

Firstpage

573

Lastpage

581

Abstract

A new method is presented to compute the exact observability don´t cares (ODCs) for multiple-level 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 one circuit in at most a few seconds

Keywords

Boolean algebra; combinational circuits; logic design; multivalued logic circuits; observability; polarisation; Boolean network; fanout; logic synthesis; multiple-level combinational circuit; observability don´t care; polarization; reconvergence; Art; Circuit simulation; Circuit synthesis; Combinational circuits; Computational modeling; Computer networks; Logic; Network synthesis; Observability; Polarization;

fLanguage

English

Journal_Title

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Publisher

ieee

ISSN

0278-0070

Type

jour

DOI

10.1109/43.709395

Filename

709395