The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Feb. 15, 2011
Filed:
May. 29, 2008
Kai Weber, Baden-Württemberg, DE;
Matthias Pflanz, Baden-Württemberg, DE;
Christian Jacobi, Baden-Württemberg, DE;
Udo Krautz, Stuttgart, DE;
Kai Weber, Baden-Württemberg, DE;
Matthias Pflanz, Baden-Württemberg, DE;
Christian Jacobi, Baden-Württemberg, DE;
Udo Krautz, Stuttgart, DE;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A new and convenient methodology for proving the correctness of multiplier and multiply-accumulate circuit designs in a full custom design flow. Such an approach utilizes a basic description of the implemented algorithm, which is created in early phases of the design flow and requires only little extra work for the designer who spends most of the time in full-custom optimizations. Such an approach also defines arithmetic circuit at the arithmetic bit level and allows for the generation of a gate level netlist. Given a structural similarity between the specification and design under verification, a large amount of structural similarity between the generated netlists is obtained so that a standard equivalence checker can be utilized to verify the design against the specification.