Patent ID: 7895552

Claim:
A computer-implemented method for resolving inconsistencies between a circuit design and its abstraction, the method comprising: performing functional verification to analyze an abstraction of a circuit design, the abstraction comprising an analysis region that includes a portion of the circuit design; simulating the circuit design; detecting an inconsistency between the analyzed abstraction and the simulated circuit design, wherein detecting the inconsistency comprises observing a conflict between a signal in the analyzed abstraction and a corresponding signal in the simulated circuit design; presenting the inconsistency in a display device for a user to review, wherein presenting the inconsistency comprises displaying information about at least one of the signals having the conflict; receiving a user input for eliminating the inconsistency, the user input comprising a modification to the abstraction to eliminate the inconsistency; and adjusting the analysis region of the abstraction according to the user input to eliminate the inconsistency, the adjusting performed by using a computer.