Method, system, and computer program product for implementing external domain independent modeling framework in a system design

• US 8,352,906 B2
• Filed: 12/28/2007
• Issued: 01/08/2013
• Est. Priority Date: 12/28/2007
• Status: Active Grant

• Current Assignee: Cadence Design Systems Incorporated (Cadence Group)
• Original Assignee: Cadence Design Systems Incorporated (Cadence Group)
• Inventors: Kashai, Yaron, Tripakis, Stavros, Balarin, Felice
• Primary Examiner(s): Das, Chameli
• Application Number:
  US11/966,981
• Publication Number:
  US 20090172632A1
• Time in Patent Office: 1,838 Days
• Field of Search: None
• US Class Current: 717/105
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques

Abstract

Disclosed are a method, system, and computer program product for implementing external domain independent modeling framework in a system design. In some embodiments, the method or system comprises importing an external model in an external format into the framework while substantially preserving some or all of the interpretation of the external model, determining a internal common representation for the external model within the framework, and displaying or storing the internal common representation in a tangible computer readable medium. In some embodiments, the method or system further comprises validating the accuracy of the internal common representation, determining an analysis or transformation capability for the framework, or outputting a first output model in a second external format. In various embodiments, the method or system requires no external tool compliance.

Claims

1. A computer implemented method for implementing external domain independent modeling framework in a system design, comprising:

using at least one processor to perform a process, the process comprising;

importing a first external model of an electronic circuit design in a first external format into an internal common modeling framework, in which

the action of importing the first external model further comprises preserving some or all interpretation of the first external model, and

the computer implemented method requires no compliance on an external tool on which the first external model is constructed; and

determining a first internal common representation for the first external model within the internal common modeling framework, in which the act of determining the first internal common representation comprises;

representing the first external model in an intermediate representation of the electronic circuit design; and

compiling the intermediate representation into the first internal common representation based at least in part upon a result of synchronizing the intermediate representation within the internal common modeling framework, wherein the first internal common representation represents the first external model in a common manner.

2. The computer implemented method of claim 1, further comprising:

validating accuracy of the first internal common representation within the internal common modeling framework.

3. The computer implemented method of claim 1, further comprising:

determining an analysis or transformation capability for the internal common modeling framework.

4. The computer implemented method of claim 3, further comprising:

performing the analysis or transformation capability of the internal common modeling framework on the first internal common representation within the internal common modeling framework.

5. The computer implemented method of claim 1, further comprising:

updating the internal common modeling framework to include the first internal common representation for the first external model.

6. The computer implemented method of claim 1, in which the process further comprises:

identifying the first external model in the first external format;

identifying a first set of semantics rules according to the first external format; and

compiling the first external model in the first external format according to the first set of semantics rules.

7. The computer implemented method of claim 6, in which the first set of semantics rules is identified from a repository which comprises a plurality of sets of semantics rules for compiling external models in a plurality of external formats.

8. The computer implemented method of claim 6, in which the process further comprises:

representing the first external model in the intermediate representation within the internal common modeling framework while preserving the some or all interpretation of the first external model in the intermediate representation; and

representing the intermediate representation in the first internal common representation by compiling the intermediate representation.

9. The computer implemented method of claim 8, the process further comprising:

synchronizing the intermediate representation within the internal common modeling framework.

10. The computer implemented method of claim 8, in which the action of compiling the intermediate representation is performed by an imperative programming language, an object oriented programming language, or a dynamic programming language.

11. The computer implemented method of claim 8, in which the first internal common representation executes, simulates, emulates, or analyzes in an identical manner within the internal common modeling framework as does the intermediate representation in the internal common modeling framework.

12. The computer implemented method of claim 1, further comprising:

outputting a first output model of the first internal common representation in a second external format.

13. The computer implemented method of claim 12, in which the action of outputting the first output model is performed in a manner to preserve some or all interpretation of the internal common representation.

14. The computer implemented method of claim 12, in which the second external format is a domain specific format.

15. The computer implemented method of claim 13, in which respective semantics or respective interpretation of the first external model, respective semantics or respective interpretation of the first internal common representation, and respective semantics or respective interpretation of the first output model are identical.

16. The computer implemented method of claim 1, in which the action of preserving the some or all interpretation comprises:

causing an external model and an internal representation of the external model within the internal common modeling framework to execute, simulate, emulate, or analyze in an identical manner.

17. The computer implemented method of claim 1, in which the internal common representation executes, simulates, or analyzes in an identical manner within the internal common modeling framework as does the first external model in a respective first external domain.

18. The computer implemented method of claim 1, in which the intermediate representation executes, simulates, or analyzes in an identical manner within the internal common modeling framework as does the first external model in a respective first external domain.

19. The computer implemented method of claim 1, in which the internal common modeling framework interprets all external models, each of which represents a part of the system design, in an identical manner regardless of their respective external domains or respective external sources.

20. The computer implemented method of claim 1, in which the process further comprises representing all external models in a common manner regardless of an external source or an external format of the all external models.

21. The computer implemented method of claim 1, in which the internal common modeling framework represents all external models of the system design in a common manner.

22. The computer implemented method of claim 21, in which the process further comprises representing all external models of the system design in a common manner regardless of one or more external sources or one or more external formats of the all external models.

23. The computer implemented method of claim 1, in which a portion of the method is implemented as embedded software.

24. A system for implementing external domain independent modeling framework in a system design, comprising:

at least one processor that is to;

import a first external model of an electronic circuit design in a first external format into an internal common modeling framework, in which

the at least one processor that is to import the first external model is further to preserve some or all interpretation of the first external model, and

the system for implementing the external domain independent modeling framework requires no compliance on an external tool on which the first external model is constructed; and

determine a first internal common representation for the first external model within the internal common modeling framework, in which the at least one processor that is to determine the first internal common representation is further to;

represent the first external model in an intermediate representation of the electronic circuit design; and

compile the intermediate representation into the first internal common representation based at least in part upon a result of synchronizing the intermediate representation within the internal common modeling framework, wherein the first internal common representation represents the first external model in a common manner.

25. The system of claim 24, in which the processor is further to:

validate accuracy of the first internal common representation within the internal common modeling framework,

determine an analysis or transformation capability for the internal common modeling framework, or

update the internal common modeling framework to include the first internal common representation for the first external model.

26. The system of claim 25, in which the processor that is to determine an analysis or transformation capability for the internal common modeling framework is further to:

perform the analysis or transformation capability of the internal common modeling framework on the first internal common representation within the internal common modeling framework.

27. The system of claim 24, in which the at least one processor is further to:

identify the first external model in the first external format;

identify a first set of semantics rules according to the first external format; and

compile the first external model in the first external format according to the first set of semantics rules.

28. The system of claim 27, in which the processor is further to:

represent the first external model in the intermediate representation within the internal common modeling framework while preserving the some or all interpretation of the first external model in the intermediate representation; and

represent the intermediate representation in the first internal common representation by compiling the intermediate representation.

29. A computer program product that includes a non-transitory medium usable by a processor, the non-transitory medium having stored thereon a sequence of instructions which, when executed by the processor, causes the processor to execute a process for implementing external domain independent modeling framework in a system design, the process comprising:

importing a first external model of an electronic circuit design in a first external format into an internal common modeling framework, in which

the action of importing a first external model further comprises preserving some or all interpretation of the first external model, and

the process for implementing the external domain independent modeling framework requires no compliance on an external tool on which the first external model is constructed; and

determining a first internal common representation for the first external model within the internal common modeling framework, in which the process of determining the first internal common representation comprises;

representing the first external model in an intermediate representation of the electronic circuit design; and

compiling the intermediate representation into the first internal common representation based at least in part upon a result of synchronizing the intermediate representation within the internal common modeling framework, wherein the first internal common representation represents the first external model in a common manner.

30. The computer program product of claim 29, the process further comprising:

validating accuracy of the first internal common representation within the internal common modeling framework,

determining an analysis or transformation capability for the internal common modeling framework, or

updating the internal common modeling framework to include the first internal common representation for the first external model.

31. The computer program product of claim 29, in which the act of determining the analysis or transformation capability for the internal common modeling framework comprises:

performing the analysis or transformation capability of the internal common modeling framework on the first internal common representation within the internal common modeling framework.

32. The computer program product of claim 29, in which the process further comprises:

identifying the first external model in the first external format;

identifying a first set of semantics rules according to the first external format; and

compiling the first external model in the first external format according to the first set of semantics rules.

33. The computer program product of claim 32, in which the process further comprises:

representing the first external model in the intermediate representation within the internal common modeling framework while preserving the some or all interpretation of the first external model in the intermediate representation; and

representing the intermediate representation in the first internal common representation by compiling the intermediate representation.