A Novel Gate-Level to Behavior-Level Conversion Algorithm with High Microcell Identification Rate

Y. Ren, Y. Shi, and B.-H. Gwee (Singapore)

Keywords

Circuit extraction, gate-level netlist, semantic equivalence checking

Abstract

A generic and versatile semantic equivalence checking based gate-level to behavior-level conversion (GBC) algo rithm is proposed. It can detect microcells of the same function with different implementations, and with high mi crocell identification rate (MIR). It is advantageous over reported algorithms because of its three unique features: cell decomposing which increases the MIR; two proposed methods which shortens the enumeration time; and cross matching which shortens the filtering process. The results on four benchmark circuits are analyzed and a 91% time improvement is obtained. In addition, an average MIR im provement of 32.6% compared with the reported technique is achieved.

Important Links:

• DOI: 10.2316/P.2010.712-027
• From Proceeding (711) Computational Intelligence / 712: Circuits and Systems / 713: Human-Computer Interaction - 2010

Go Back