Polarized observability don't cares

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.

• Type: Conference
• Year: 1996
• Where: ICCAD
• Authors: Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk
• Keywords: Hardware, ICCAD 1996, Largest Mcnc Benchmark, Multilevel Combinational Circuits, ODC Calculation