IP Library Granted Patent US 8,645,897
Granted Patent B1
US 8,645,897 · App. 13/735,054 · Granted Feb 4, 2014

Integrated circuit design verification system

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 8,645,897
App. No.
13/735,054
Granted
Feb 4, 2014
Kind
B1
Abstract

An integrated circuit (IC) design verification system includes a memory for storing an IC design and a processor in communication with the memory. The IC design includes multiple IP cores and the design verification apparatus includes multiple verification modules. The processor configures a first set of connections between the IP cores and the verification modules based on a first connection database and verifies each IP core independently using the first set of connections. Thereafter, the processor configures a second set of connections between the IP cores and the verification modules based on a second connection database generated based on the first connection database, and verifies the multiple IP cores together using the second set of connections.

Claims (38)

1. A design verification apparatus for verifying an integrated circuit design, wherein the integrated circuit (IC) design includes a plurality of Intellectual Property (IP) cores and the design verification apparatus includes a plurality of verification modules, the design verification apparatus comprising:

a memory used to store the integrated circuit design; and

a processor in communication with the memory, wherein the processor:

configures a first set of connections between the plurality of IP cores and the corresponding plurality of verification modules based on a first connection database;

initiates verification of each IP core independently by way of corresponding verification module, using the first set of connections and a first set of test patterns generated by the design verification apparatus;

configures a second set of connections between the plurality of IP cores and the plurality of verification modules based on a second connection database generated using the first connection database;

initiates verification of the plurality of IP cores together by way of corresponding plurality of verification modules, using the second set of connections and a second set of test patterns generated by the design verification apparatus; and

updates the second connection database based on the verification of the plurality of IP cores together.

2. The design verification apparatus of claim 1 , wherein the processor updates the first connection databases based on the verification of each IP core independently.

3. The design verification apparatus of claim 1 , wherein the processor updates the first and second connection databases based on detecting a parsing error in the first and second sets of connections, respectively.

4. The design verification apparatus of claim 1 , wherein the first connection database includes connection information of I/O ports of each IP core and corresponding verification module, for verification of each IP core independently.

5. The design verification apparatus of claim 1 , wherein the second connection database includes connection information of I/O ports of the plurality of IP cores and corresponding plurality of verification modules, for verification of the plurality of IP cores together.

6. The design verification apparatus of claim 1 , wherein configuring the first set of connections includes connecting input/output (I/O) ports of each IP core and corresponding verification module, based on the first connection database.

7. The design verification apparatus of claim 1 , wherein configuring the second set of connections includes connecting input/output (I/O) ports of the plurality of IP cores and corresponding plurality of verification modules, based on the second connection database.

8. The design verification apparatus of claim 1 , wherein the first and second connection databases are stored in the memory.

9. A method for verifying an integrated circuit design using a design verification apparatus that includes a memory that stores the integrated circuit design and a processor in communication with the memory, wherein the integrated circuit (IC) design includes a plurality of Intellectual Property (IP) cores and the design verification apparatus includes a plurality of verification modules, the method comprising:

configuring a first set of connections between the plurality of IP cores and the corresponding plurality of verification modules based on a first connection database;

initiating verification of each IP core independently by way of corresponding verification module using the first set of connections and a first set of test patterns generated by the design verification apparatus;

configuring a second set of connections between the plurality of IP cores and the plurality of verification modules based on a second connection database generated using the first connection database;

initiating verification of the plurality of IP cores together by way of corresponding plurality of verification modules, using the second set of connections and a second set of test patterns generated by the design verification apparatus; and

updating the second connection database based on the verification of the plurality of IP cores together.

10. The method of claim 9 further comprising updating the first connection databases based on the verification of each IP core independently.

11. The method of claim 9 further comprising updating the first and second connection databases based on detecting a parsing error in the first and second set of connections, respectively.

12. The method of claim 9 , wherein the first connection database includes connection information of I/O ports of each IP core and corresponding verification module, for verification of each IP core independently.

13. The method of claim 9 , wherein the second connection database includes connection information of I/O ports of the plurality of IP cores and corresponding plurality of verification modules, for verification of the plurality of IP cores together.

14. The method of claim 9 , wherein configuring the first set of connections includes connecting input/output (I/O) ports of each IP core and corresponding verification module, based on the first connection database.

15. The method of claim 9 , wherein configuring the second set of connections includes connecting input/output (I/O) ports of the plurality of IP cores and corresponding plurality of verification modules, based on the second connection database.

16. A method for verifying an integrated circuit design using a design verification apparatus that includes a memory that stores the integrated circuit design, and a processor in communication with the memory, wherein the integrated circuit design includes a plurality of Intellectual Property (IP) cores and the design verification apparatus includes a plurality of verification modules, the method comprising:

configuring a first set of connections between the plurality of IP cores and the corresponding plurality of verification modules based on a first connection database, wherein the first connection database includes connection information of I/O ports of each IP core and corresponding verification module, for verification of each IP core independently;

initiating verification of each IP core independently by way of corresponding verification module using the first set of connections and a first set of test patterns generated by the design verification apparatus;

updating the first connection database based on the verification of each IP core independently;

generating a second connection database based on the first connection database, wherein the second connection database includes connection information of I/O ports of the plurality of IP cores and corresponding plurality of verification modules for verification of the plurality of IP cores together;

configuring a second set of connections between the plurality of IP cores and the plurality of verification modules based on the second connection database;

initiating verification of the plurality of IP cores together by way of corresponding plurality of verification modules, using the second set of connections and a second set of test patterns generated by the design verification apparatus; and

updating the second connection database based on the verification of the plurality of IP cores together.

17. The method of claim 16 , wherein configuring the first set of connections includes connecting input/output (I/O) ports of each IP core and corresponding verification module, based on the first connection database.

18. The method of claim 16 , wherein configuring the second set of connections includes connecting input/output (I/O) ports of the plurality of IP cores and corresponding plurality of verification modules, based on the second connection database.

19. The method of claim 16 further comprising updating the first and second connection databases based on detecting a parsing error in the first and second set of connections, respectively.

Assignments (23)
CORRECTIVE ASSIGNMENT TO CORRECT THE REMOVE APPLICATION 11759915 AND REPLACE IT WITH APPLICATION 11759935 PREVIOUSLY RECORDED ON REEL 040925 FRAME 0001. ASSIGNOR(S) HEREBY CONFIRMS THE RELEASE OF SECURITY INTEREST. Recorded Feb 17, 2020
From: MORGAN STANLEY SENIOR FUNDING, INC.
To: NXP, B.V. F/K/A FREESCALE SEMICONDUCTOR, INC.
Reel/Frame 052917/0001 →
CORRECTIVE ASSIGNMENT TO CORRECT THE REMOVE APPLICATION 11759915 AND REPLACE IT WITH APPLICATION 11759935 PREVIOUSLY RECORDED ON REEL 040928 FRAME 0001. ASSIGNOR(S) HEREBY CONFIRMS THE RELEASE OF SECURITY INTEREST. Recorded Jan 17, 2020
From: MORGAN STANLEY SENIOR FUNDING, INC.
To: NXP B.V.
Reel/Frame 052915/0001 →
CORRECTIVE ASSIGNMENT TO CORRECT THE REMOVE APPLICATION 11759915 AND REPLACE IT WITH APPLICATION 11759935 PREVIOUSLY RECORDED ON REEL 037486 FRAME 0517. ASSIGNOR(S) HEREBY CONFIRMS THE ASSIGNMENT AND ASSUMPTION OF SECURITY INTEREST IN PATENTS. Recorded Dec 10, 2019
From: CITIBANK, N.A.
To: MORGAN STANLEY SENIOR FUNDING, INC.
Reel/Frame 053547/0421 →
RELEASE OF SECURITY INTEREST Recorded Sep 10, 2019
From: MORGAN STANLEY SENIOR FUNDING, INC.
To: NXP B.V.
Reel/Frame 050744/0097 →
CORRECTIVE ASSIGNMENT TO CORRECT THE TO CORRECT THE APPLICATION NO. FROM 13,883,290 TO 13,833,290 PREVIOUSLY RECORDED ON REEL 041703 FRAME 0536. ASSIGNOR(S) HEREBY CONFIRMS THE THE ASSIGNMENT AND ASSUMPTION OF SECURITY INTEREST IN PATENTS.. Recorded Feb 20, 2019
From: MORGAN STANLEY SENIOR FUNDING, INC.
To: SHENZHEN XINGUODU TECHNOLOGY CO., LTD.
Reel/Frame 048734/0001 →
CORRECTIVE ASSIGNMENT TO CORRECT THE NATURE OF CONVEYANCE PREVIOUSLY RECORDED AT REEL: 040632 FRAME: 0001. ASSIGNOR(S) HEREBY CONFIRMS THE MERGER AND CHANGE OF NAME. Recorded Sep 21, 2017
From: FREESCALE SEMICONDUCTOR INC.
To: NXP USA, INC.
Reel/Frame 044209/0047 →
CORRECTIVE ASSIGNMENT TO CORRECT THE REMOVE PATENTS 8108266 AND 8062324 AND REPLACE THEM WITH 6108266 AND 8060324 PREVIOUSLY RECORDED ON REEL 037518 FRAME 0292. ASSIGNOR(S) HEREBY CONFIRMS THE ASSIGNMENT AND ASSUMPTION OF SECURITY INTEREST IN PATENTS. Recorded Feb 1, 2017
From: CITIBANK, N.A.
To: MORGAN STANLEY SENIOR FUNDING, INC.
Reel/Frame 041703/0536 →
CHANGE OF NAME Recorded Nov 8, 2016
From: FREESCALE SEMICONDUCTOR, INC.
To: NXP USA, INC.
Reel/Frame 040632/0001 →
RELEASE OF SECURITY INTEREST Recorded Nov 7, 2016
From: MORGAN STANLEY SENIOR FUNDING, INC.
To: NXP B.V.
Reel/Frame 040928/0001 →
RELEASE OF SECURITY INTEREST Recorded Sep 21, 2016
From: MORGAN STANLEY SENIOR FUNDING, INC.
To: NXP, B.V., F/K/A FREESCALE SEMICONDUCTOR, INC.
Reel/Frame 040925/0001 →
SUPPLEMENT TO THE SECURITY AGREEMENT Recorded Jun 16, 2016
From: FREESCALE SEMICONDUCTOR, INC.
To: MORGAN STANLEY SENIOR FUNDING, INC.
Reel/Frame 039138/0001 →
ASSIGNMENT AND ASSUMPTION OF SECURITY INTEREST IN PATENTS Recorded Jan 13, 2016
From: CITIBANK, N.A.
To: MORGAN STANLEY SENIOR FUNDING, INC.
Reel/Frame 037518/0292 →
ASSIGNMENT AND ASSUMPTION OF SECURITY INTEREST IN PATENTS Recorded Jan 12, 2016
From: CITIBANK, N.A.
To: MORGAN STANLEY SENIOR FUNDING, INC.
Reel/Frame 037486/0517 →
PATENT RELEASE Recorded Dec 21, 2015
From: CITIBANK, N.A., AS COLLATERAL AGENT
To: FREESCALE SEMICONDUCTOR, INC.
Reel/Frame 037357/0704 →
PATENT RELEASE Recorded Dec 21, 2015
From: CITIBANK, N.A., AS COLLATERAL AGENT
To: FREESCALE SEMICONDUCTOR, INC.
Reel/Frame 037357/0744 →
PATENT RELEASE Recorded Dec 21, 2015
From: CITIBANK, N.A., AS COLLATERAL AGENT
To: FREESCALE SEMICONDUCTOR, INC.
Reel/Frame 037357/0725 →
SECURITY AGREEMENT Recorded Nov 6, 2013
From: FREESCALE SEMICONDUCTOR, INC.
To: CITIBANK, N.A., AS NOTES COLLATERAL AGENT
Reel/Frame 031591/0266 →
SECURITY AGREEMENT Recorded Jun 18, 2013
From: FREESCALE SEMICONDUCTOR, INC.
To: CITIBANK, N.A., AS NOTES COLLATERAL AGENT
Reel/Frame 030633/0424 →
SUPPLEMENT TO IP SECURITY AGREEMENT Recorded May 20, 2013
From: FREESCALE SEMICONDUCTOR, INC.
To: CITIBANK, N.A., AS NOTES COLLATERAL AGENT
Reel/Frame 030445/0709 →
SUPPLEMENT TO IP SECURITY AGREEMENT Recorded May 20, 2013
From: FREESCALE SEMICONDUCTOR, INC.
To: CITIBANK, N.A., AS NOTES COLLATERAL AGENT
Reel/Frame 030445/0581 →
SUPPLEMENT TO IP SECURITY AGREEMENT Recorded May 20, 2013
From: FREESCALE SEMICONDUCTOR, INC.
To: CITIBANK, N.A., AS COLLATERAL AGENT
Reel/Frame 030445/0737 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded May 2, 2013
From: HIRANUMA, HARUKI; TAKEDA, KOREMOTO
To: SEIKO INSTRUMENTS INC.
Reel/Frame 030347/0238 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Jan 8, 2013
From: ., NANDINI; GUPTA, GAURAV; SRIVASTAVA, ROHIT
To: FREESCALE SEMICONDUCTOR, INC.
Reel/Frame 029581/0717 →