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:
Apr. 17, 2001
Filed:
Apr. 03, 1998
John Hagerman, Boxford, MA (US);
Matthew Bellantoni, Belmont, MA (US);
Richard J. Newton, II, Saratoga, CA (US);
Richard J. Cloutier, Andover, MA (US);
Gerard Memmi, Cambridge, MA (US);
Chrysalis Symbolic Design, Inc., North Billerica, MA (US);
Abstract
A design verification system verifies whether first and second representations of a circuit design match. The system includes a processor assembly and a memory that stores a first hierarchy of elements as the first representation of the design, a second hierarchy of elements as the second representation of the design, and a map entry that identifies a correspondence between an element of the first hierarchy and an element of the second hierarchy. The processor assembly performs a read operation that reads the map entry from the memory; a generate operation that generates other map entries according to the read map entry, the generated other map entries identifying other correspondences between the elements of the first hierarchy and the elements of the second hierarchy; a store operation that stores the generated other map entries in the memory such that the map entry and the generated other map entries form a set of map entries stored in the memory; and a compare operation that compares the first representation with the second representation according to the set of map entries. The result of a comparison between the first and second representations indicates whether the first representation matches with the second representation.