Processor-independent system-on-chip verification for embedded processor systems

• US 6,615,167 B1
• Filed: 01/31/2000
• Issued: 09/02/2003
• Est. Priority Date: 01/31/2000
• Status: Expired due to Term

• Current Assignee: Google LLC (Alphabet Inc.)
• Original Assignee: International Business Machines Corporation
• Inventors: Herzl, Robert D., Ferro, Paul G., Devins, Robert J.
• Primary Examiner(s): Jones, Hugh
• Assistant Examiner(s): FERRIS III, FRED O
• Application Number:
  US09/494,386
• Time in Patent Office: 1,310 Days
• Field of Search: 703/22, 703/28, 716/18, 716/1, 716/4, 714/36, 714/33
• US Class Current: 703/28
• CPC Class Codes: G06F 11/261 by simulating additional hardware, e.g. fault simulation
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking

Abstract

A method for efficiently changing the embedded processor type in verification of system-on-chip (SOC) integrated circuit designs containing embedded processors. The verification software is used to generate and apply test cases to stimulate components of a SOC design (“cores”) in simulation; the results are observed and used to de-bug the design.

Typically, the embedded processor type changes as SOC designs change. However, changing the processor type may cause errors in verification due to the presence of processor-specific code distributed throughout the verification software. Thus, changing the processor type can entail a substantial re-write of the verification software.

In the method according to the present invention, in verification software for verifying a SOC design including an embedded processor, processor-specific code is localized in a processor driver. Consequently, when there is a need to change the processor type, only the processor driver needs to be changed or replaced, while the rest of verification code requires no changes. Verification is consequently more efficient.

Claims

1. A method for developing verification software for verification of a system-on-chip design including an embedded processor, comprising:

coding a processor driver for performing processor-specific operations on said embedded processor; and

coding said verification software to invoke said processor driver to perform said processor-specific operations,

wherein said verification software is coded using only processor-independent function calls.

2. The method of claim 1, further comprising coding a uniform interface used by said verification software for invoking said processor driver.

3. The method of claim 1, wherein said processor driver is invoked for initialization of said processor.

16. The method for developing verification software of claim 1, wherein said verification software is capable of interacting, without any change, with various different embedded processor types after only the processor driver is modified.

4. A method for performing verification of a system-on-chip design including an embedded processor, comprising:

(a) providing verification code for applying a test case to said design;

(b) providing a processor driver for performing processor-specific operations on said embedded processor; and

(c) executing said verification code to invoke said processor driver to perform said processor-specific operations,

wherein said executed verification code invokes said processor driver by only using processor-independent function calls.

5. The method of claim 4, wherein said step (c) includes using a uniform interface to invoke said processor driver to perform said processor-specific operations.

6. The method of claim 4, wherein said step (c) is performed during an initialization of said processor.

7. The method of claim 4, wherein said operations includes cache, register and memory configuration.

17. The method for performing verification of a system-on-chip design of claim 4, wherein said verification code is capable of interacting, without any change, with various different embedded processor types after only the processor driver is modified.

8. A computer-usable medium storing computer-executable instructions for performing verification of a system-on-chip design including an embedded processor, said instructions comprising both a processor-independent portion and a processor-specific portion;

wherein said processor-independent portion invokes said processor-specific portion to perform processor-specific operations on said processor.

9. The computer-usable medium of claim 8, further including a uniform interface used by said processor-independent portion of said instructions to invoke said processor-specific portion.

10. The computer-usable medium of claim 8, wherein said operations are performed during an initialization of said processor.

18. The computer-usable medium of claim 8, wherein said processor-independent portion is capable of interacting, without any change, with various different embedded processor types after only the processor processor-specific portion is modified.

11. A system for performing verification of a system-on-chip design including an embedded processor, comprising:

a simulator which simulates said system-on-chip design,

a processor-specific driver which performs processor-specific operations on said embedded processor; and

verification software which invokes said processor-specific driver to perform said operations,

wherein said verification software only uses processor-independent functions to invoke said processor-specific driver.

12. The system of claim 11, further including a uniform interface used by said verification software to invoke said processor-specific driver.

13. The system of claim 11, wherein said operations include cache, register and memory configuration.

14. The system of claim 11, wherein said operations are performed during an initialization of said processor.

15. The system of claim 14, wherein subsequent to said initialization, said verification software applies a test case to said design, said test case including instructions invoking said processor driver to perform said processor-specific operations.

19. The system for performing verification of a system-on-chip design of claim 11, wherein said verification software is capable of interacting, without any change, with various different embedded processor types after only the processor-specific driver is modified.