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. 21, 2009
Filed:
Jun. 10, 2005
Alfred Koelbl, Dachau, DE;
Carl Preston Pixley, Beaverton, OR (US);
Alfred Koelbl, Dachau, DE;
Carl Preston Pixley, Beaverton, OR (US);
Synopsys, Inc., Mountain View, CA (US);
Abstract
One embodiment of the present invention provides a system that produces a non-canonical data flow graph (DFG) structure by symbolic simulation of an input representation for a high-level model (HLM). This system considers all scenarios for flow-of-control for the HLM, and represents the flows-of-control under consideration with execution paths. Then, the system determines a set of next execution paths to be processed from a set of active execution paths, and determines a set of indication points, in the input representation, from the set of next execution paths. The system then determines a next symbolic simulation operation to be performed for producing the non-canonical DFG structure using the indication points, and performs the next symbolic simulation operation on the input representation to produce the non-canonical DFG structure. Symbolic simulation can be used with any application utilizing non-canonical representations of an HLM.