Patent ID: 8336007
Filing Date: 2012-12-18
Classification: G06F

Abstract:
1. A method for checking a netlist for a duplex multiplier for errors against a register-transfer level (RTL) model of the duplex multiplier, wherein the RTL model of the duplex multiplier includes a variable that has a first value for the duplex multiplier in a first format and has a second value for the duplex multiplier in a second format, said method comprising: setting the variable equal to the first value; while the variable has the first value, performing a first error checking run using a logic equivalency checking tool; setting the variable equal to the second value; and while the variable has the second value, performing a second error checking run using the logic equivalency checking tool, wherein the duplex multiplier in said first format is a supported multiplier in the logic equivalency checking tool and the performing a first error checking run and the performing a second error checking run provide an exhaustive verification of the duplex multiplier.