ENHANCED STRUCTURAL REDUNDANCY DETECTION

摘要

A method for identifying isomorphic cones with sub-linear resources by exploiting reflexivities, the method comprising: identifying a gate g 1 and a gate g 2 in a netlist; mapping source gates of g 1 with any permutation of source gates of g 2 by using calls to an isomorphism detection algorithm; determining whether a permutation exists of pairings between the gates sourcing g 1 and g 2 ; resetting pairing of gates if the permutation exists; and eliminating pairwise-identical source gates of g 1 and g 2.