IP Library Granted Patent US 7,137,087
Granted Patent B1
US 7,137,087 · App. 10/645,789 · Granted Nov 14, 2006

Integrated circuit verification scheme

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,137,087
App. No.
10/645,789
Granted
Nov 14, 2006
Kind
B1
Abstract

A method for minimizing compilation time of a test case during development testing of an integrated circuit is provided. The method initiates with identifying a test case. The test case is associated with the tasks and the tasks are written as text files. Then, a file associated with the test case is generated. Next, a sequence of the tasks of the file is determined. Then, hardware description language (HDL) tasks, associated with the tasks of the file according to the sequence, are identified. Next, a simulation of an integrated circuit is performed through the HDL tasks. A computer readable medium having program instructions for minimizing compilation time of a test case during development testing of an integrated circuit and a system for testing an integrated circuit design are also provided.

Claims (47)

1. A method for verifying an integrated circuit design, comprising:

defining tasks, the tasks being formatted as .txt files;

identifying a test case, the test case being defined by the tasks;

correlating each of the tasks with a compiled task formatted in a hardware description language,

executing the compiled task to simulate a behavior for the integrated circuit design, the executing occurring on a simulation server maintained in an initialized state to immediately execute the compiled task and which publishes results to determine if a goal has been achieved, wherein a chip initialization text file is executed on the simulation server to maintain the initialized state;

if the goal has not been achieved, the method includes adjusting the tasks of the test case; and

repeating the executing of the test case to simulate the behavior for the integrated circuit design.

2. The method of claim 1 , wherein the hardware description language is verilog.

3. The method of claim 1 , further comprising:

grouping the defined tasks as macrotasks.

4. The method of claim 1 , wherein the method of identifying a test case includes,

verifying a syntax and a format of each of the tasks of the test case.

5. A method for minimizing compilation time of a test case during development testing of an integrated circuit, comprising:

identifying a test case, the test case associated with tasks written as .txt files, the tasks omitting an initialization sequence of a chip model;

generating a file associated with the test case;

determining a sequence of the tasks of the file;

identifying hardware description language (HDL) tasks associated with the tasks of the file according to the sequence; and

performing a simulation of the integrated circuit with the HDL tasks, the performing occurring on a simulation server maintained in an initialized state to immediately process and execute a compiled task and which publishes results to determine if a goal has been achieved, wherein a chip initialization text file is executed on the simulation server to maintain the initialized state.

6. The method of claim 5 , wherein the HDL tasks are pre-compiled.

7. The method of claim 6 , wherein the HDL tasks are stored in a library of HDL tasks on storage media in communication with a system performing the simulation.

8. The method of claim 5 , wherein the method of generating a file associated with the test case includes,

verifying the file associated with the test case as to a syntax and a format of each of the tasks associated with the test case.

9. The method of claim 8 , wherein a script performs the verification of the file associated with the test case.

10. The method of claim 5 , wherein the method of identifying hardware description language (HDL) tasks associated with the tasks of the file according to the sequence includes,

accessing a translation layer to correlate the tasks of the file with the HDL tasks.

11. The method of claim 5 , wherein the HDL is verilog.

12. A computer readable medium having program instructions for avoiding re-compilation of a test case during development testing of an integrated circuit, comprising:

program instructions for identifying a test case, the test case associated with tasks written as .txt files, the tasks omitting an initialization sequence of a chip model;

program instructions for generating a file associated with the test case;

program instructions for determining a sequence of the tasks of the file;

program instructions for identifying hardware description language (HDL) tasks associated with the tasks of the file according to the sequence; and

program instructions for performing a simulation of the integrated circuit with the HDL tasks, the performing occurring on a simulation server maintained in an initialized state to immediately execute a compiled task and which publishes results to determine if a goal has been achieved, wherein a chip initialization text file is executed on the simulation server to maintain the initialized state.

13. The computer readable medium of claim 12 , wherein the program instruction for generating a file associated with the test case includes,

program instructions for verifying the file associated with the test case as to a syntax and a format of each of the tasks associated with the test case.

14. The computer readable medium of claim 13 , wherein the program instructions for verifying the file associated with the test case as to a syntax and a format of each of the tasks associated with the test case include,

executing a script capable of reading the file associated with the test case.

15. The computer readable medium of claim 12 , wherein the program instructions for identifying hardware description language (HDL) tasks associated with the tasks of the file according to the sequence include,

program instructions for accessing a translation layer to correlate the tasks of the file with the HDL tasks.

16. The computer readable medium of claim 12 , wherein the HDL tasks are pre-compiled.

17. A computer system for validating an integrated circuit design, comprising:

a processor;

a memory;

a storage device; the storage device configured to store compiled tasks written in a hardware description language (HDL) for testing the functional characteristics of the integrated circuit design, each of the compiled tasks associated with a corresponding .txt file, the contents of which do not include an initialization sequence of a chip model, wherein the compiled tasks are configured to be executed on a server component maintained in an initialized state facilitating immediate execution of the compiled tasks and, wherein a chip initialization text file is executed on the server component to maintain the initialized state; and

a bus enabling communication between the processor, the memory and the storage device.

18. The computer system of claim 17 , wherein the storage device is externally located from the system.

19. The computer system of claim 17 , wherein the corresponding .txt file is verified as to syntax and format.

20. The computer system of claim 17 , wherein the HDL is verilog.

Assignments (5)
RELEASE OF SECURITY INTEREST Recorded Oct 26, 2020
From: JEFFERIES FINANCE LLC
To: RPX CORPORATION
Reel/Frame 054486/0422 →
SECURITY INTEREST Recorded Jun 29, 2018
From: RPX CORPORATION
To: JEFFERIES FINANCE LLC
Reel/Frame 046486/0433 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded May 2, 2012
From: HUPPER ISLAND LLC
To: RPX CORPORATION
Reel/Frame 028142/0922 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Jun 16, 2011
From: ADPT CORPORATION
To: HUPPER ISLAND LLC
Reel/Frame 026459/0871 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Aug 20, 2003
From: MOHANTY, PURNA; JAMBHEKAR, VIVEK
To: ADAPTEC, INC.
Reel/Frame 014423/0519 →