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:
Sep. 03, 2013
Filed:
Apr. 06, 2012
Theo Alan Drane, London, GB;
Freddie Rupert Exall, Watford, GB;
Theo Alan Drane, London, GB;
Freddie Rupert Exall, Watford, GB;
Imagination Technologies, Ltd., Kings Langley, Hertfordshire, GB;
Abstract
A method and apparatus are provided for use in synthesis of RTL integrated circuit design to determine the functional equivalence of designs. For example, the receiver receives a plurality of designs for synthesis in RTL and a data flow graph is derived for each design. Internal bit widths in the data flow graph representations are restricted () to provide a first modified version of each of the designs. These first modified versions are compared each with the design from which it was derived in a comparison unit (). The input bit widths of the data flow graph representation are then restricted to be no wider than the output bit widths () to derive second modified versions of the designs (). These second modified versions are compared with each other () to determine which are equivalent. Equivalent designs can be passed to an RTL synthesis unit, or otherwise further evaluated.