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. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1145/244522.244938 | Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design |
Keywords | Field | DocType |
exact observability,polarization capture,new mathematical concept,odc calculation,odc set,boolean network,difficult point,new method,largest mcnc benchmark example,polarized observability,retiming,combinational circuit,convergence,boolean functions,combinational circuits | Convergence (routing),Boolean network,Boolean function,Retiming,Observability,Computer science,Algorithm,Electronic engineering,Theoretical computer science,Combinational logic | Conference |
ISSN | ISBN | Citations |
1063-6757 | 0-8186-7597-7 | 0 |
PageRank | References | Authors |
0.34 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Harm Arts | 1 | 0 | 0.68 |
Michel Berkelaar | 2 | 19 | 4.92 |
C. A. J. van Eijk | 3 | 93 | 11.02 |