Patent ID: 7743350
Filing Date: 2010-06-22
Classification: G06F

Abstract:
1. Logic for circuit verification, the logic encoded in one or more media for execution using one or more processors and when executed operable to: access a logic-level description of a circuit generated from a register transfer (RI)-level description of the circuit; apply logic optimization to the logic-level description to simplify the logic-level description for satisfiability (SAT)-based bounded model checking (BMC) of the circuit using the logic-level description to generate a simplified logic-level description; verify the circuit by (i) performing a first iteration of a SAT-based BMC process on the simplified logic-level description; (ii) isolating information learned from the first iteration of the SAT-based BMC process; and (iii) applying the isolated information from the first iteration of the SAT-based BMC to a second iteration of the SAT-based BMC process subsequent to the first iteration; and communicate the results of the circuit verification to a user.