Patent ID: 7149675
Filing Date: 2006-12-12
Classification: G06F

Abstract:
1. A method for automatically mapping state elements between a first circuit and a second circuit, comprising: a) comparing, in a structural phase, structural features of state elements in the first circuit to structural features of state elements in the second circuit for equivalence; b) determining, during the structural phase, mappings between state elements of the first circuit and the second circuit based on the comparison of the structural features; c) accounting for don't care input conditions before comparing state element function; d) detecting, in an inversion detection phase, the polarity of the mappings; e) comparing, in a functional phase, the functionality of state elements in the first circuit to state elements in the second circuit for equivalence using a three-valued simulation; f) determining further mappings based upon the functional comparison during the functional phase; and g) detecting whether a threshold condition for completion of the mapping process is satisfied.