IP Library Granted Patent US 7,313,773
Granted Patent B1
US 7,313,773 · App. 11/139,373 · Granted Dec 25, 2007

Method and device for simulator generation based on semantic to behavioral translation

View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 7,313,773
App. No.
11/139,373
Granted
Dec 25, 2007
Kind
B1
Abstract

Generating a simulator from an architecture description. A target architecture model described in an architecture description language (ADL) is accessed. The model comprises a semantic representation of an instruction set for the target architecture. The semantic representation is translated to a behavioral representation. The simulator is automatically generated from the behavioral representation. A compiler may also be generated from the semantic representation.

Claims (37)

1. A computer-implemented method of generating a simulator, comprising:

accessing a target architecture model described in an architecture description language (ADL), said model comprising a semantic representation of an instruction set executable on said target architecture;

transforming said semantic representation to a behavioral representation; and

automatically generating said simulator from said behavioral representation.

2. A method as recited in claim 1 , wherein said transforming comprises translating micro-operations in said semantic representation to function calls in said behavioral representation.

3. A method as recited in claim 2 , wherein said transforming further comprises accessing a library of mappings of micro-operations usable in said semantic representation to function calls invokable by said simulator.

4. A method as recited in claim 1 , further comprising automatically generating a compiler description from said semantic representation.

5. A method as recited in claim 1 , wherein said model further comprises a behavioral description describing said instruction set at a different abstraction level from said semantic representation and co-existing with said semantic representation in said model,

wherein further said automatically generating said simulator comprises generating an instruction accurate simulator, and

further comprising automatically generating a cycle accurate simulator from said behavioral description.

6. A method as recited in claim 1 , further comprising converting said semantic representation into a format that is compatible with a programming language of functions invoked by said simulator.

7. A method as recited in claim 1 , further comprising converting said semantic representation into a format that is compatible with a programming language in which said behavioral representation is implemented.

8. A method as recited in claim 1 , further comprising translating a semantic statement in said semantic representation that receives one of a plurality of passed parameters into a plurality of semantic statements corresponding to said parameters.

9. A computer readable medium having stored thereon instructions for implementing a method of generating a simulator, said method comprising:

accessing a target architecture model described in an architecture description language (ADL), said model comprising a semantic representation of an instruction set executable on said target architecture;

transforming said semantic representation to a behavioral representation; and

automatically generating said simulator from said behavioral representation.

10. A computer readable medium as recited in claim 9 , wherein said transforming comprises translating micro-operations in said semantic representation to function calls in said behavioral representation.

11. A computer readable medium as recited in claim 10 , wherein said transforming further comprises accessing a library of mappings of micro-operations usable in said semantic representation to function calls invokable by said simulator.

12. A computer readable medium as recited in claim 9 , wherein said method further comprises automatically generating a compiler description from said semantic representation.

13. A computer readable medium as recited in claim 9 , wherein said model further comprises a behavioral description describing said instruction set at a different abstraction level from said semantic representation and co-existing with said semantic representation in said model,

wherein further said automatically generating said simulator comprises generating an instruction accurate simulator, and

wherein said method further comprises automatically generating a cycle accurate simulator from said behavioral description.

14. A computer readable medium as recited in claim 9 , wherein said method further comprises converting said semantic representation into a format that is compatible with a programming language of functions invoked by said simulator.

15. A computer readable medium as recited in claim 9 , wherein said method further comprises converting said semantic representation into a format that is compatible with a programming language in which said behavioral representation is implemented.

16. A computer readable medium as recited in claim 9 , wherein said method further comprises pre-processing said target architecture model to pass a behavioral section at a desired abstraction level and block a behavioral section at an undesired abstraction level.

17. A computer implemented method of automatically generating simulators at different abstraction levels, said method comprising:

accessing a bi-abstract target model comprising a semantic description of an instruction set and a behavioral description of the instruction set executable on said target model, wherein the semantic description and the behavioral description describe the instruction set at different abstraction levels and co-exist in said model;

automatically generating an instruction accurate simulator from said semantic description; and

automatically generating a cycle accurate simulator from said behavioral description.

18. A computer implemented method as recited in claim 17 , wherein said semantic description comprises an instruction accurate model and said behavioral description comprises a cycle accurate model.

19. A computer implemented method as recited in claim 17 , wherein said automatically generating the instruction accurate simulator from said semantic description comprises:

transforming said semantic description to a behavioral representation; and

automatically generating said instruction accurate simulator from said behavioral representation.

20. A computer implemented method as recited in claim 17 , further comprising automatically generating a compiler description from said semantic description.

21. A computer implemented method as recited in claim 17 , wherein said semantic description comprises micro-operations that are operable to describe instructions and wherein said automatically generating the instruction accurate simulator comprises accessing a library of mappings of said micro-operations to function calls invokable by said instruction accurate simulator.

22. A computer implemented method as recited in claim 17 , further comprising converting said semantic description into a format that is compatible with a programming language in which functions invokable by said instruction accurate simulator are written.

Assignments (5)
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Feb 7, 2011
From: COWARE, LLC
To: SYNOPSYS, INC.
Reel/Frame 025754/0505 →
CHANGE OF NAME Recorded Jan 26, 2011
From: COWARE, INC.
To: COWARE, LLC
Reel/Frame 025703/0401 →
SECURITY AGREEMENT Recorded Jan 2, 2008
From: COWARE, INC.
To: SILICON VALLEY BANK
Reel/Frame 020308/0157 →
SECURITY AGREEMENT Recorded Jan 2, 2008
From: COWARE, INC.
To: GOLD HILL VENTURE LENDING 03, L.P.; SILICON VALLEY BANK
Reel/Frame 020308/0236 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Sep 23, 2005
From: BRAUN, GUNNAR; NOHL, ACHIM; CENG, JIANGJIANG; HOFFMANN, ANDREAS; LEUPERS, RAINER
To: COWARE, INC.
Reel/Frame 017540/0711 →