A system, method, computer program, and article of manufacture for
generating a golden circuit including datapath components for equivalence
checking of synthesized revised circuit. The method includes generating a
set of static, dynamic and derived candidates for the datapath component
subcircuit, evaluating the similarity degree for each candidate in
relation to the revised circuits and selecting one candidate for
implementation in the golden circuit. As a result, the subcircuit of
datapath component in the golden circuit is replaced with the subcircuit
which is more similar to the revised circuit to improve the efficiency of
the equivalence checking.