Patent US6701490B1 successfully refreshed from Google Patents.
US6701490B1
Expired / Lapsed
US
⏱️ 0.0 years remaining
Cycle and phase accurate hardware-software coverification
Assignee: MACOM Technology Solutions Holdings Inc
•
Filing: 2000-02-25
•
Granted: 2004-03-02
•
Expires: 2020-02-25
Abstract
Abstract Cycle and phase accurate hardware-software coverification is disclosed. According to the present disclosure, “cycle accurate” or “phase-accurate” hardware-software coverification is performed while substantially maintaining a high speed for performing the coverification. System activities are divided into a “pre-compute” and a “post-compute” category. Those activities which fall in the pre-compute category are evaluated to ensure that updates to the state of the system are performed on a clock edge immediately following a change in system inputs affecting the state of the system. The state of the system is then updated on the same clock edge at which the pre-compute operation was performed. Those activities which fall in the post-compute category are then evaluated at the same clock edge on which the state of the system was updated. As a result of the post-compute operation, system outputs are timely generated while taking into account the change in the state of the system. The division of system activities into those requiring pre-compute and those requiring post-compute substantially maintains a relatively high speed of hardware-software coverification.
Inventors
- 👤 Dipankar Talukdar
- 👤 Lisa M. Guerra
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-07 08:21
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33
Claims Analysis
Total Claims: 21
Claim 1
Independent Claim
69 words
A method for hardware-software coverification of a system, said method comprising the steps of: dividing activities of said system into a pre-compute category comprising a first plurality of activities and a post-compute category comprising a second plurality of activities; pre-computing at a clock edge said first plurality of activities; updating at said clock edge a state of said system; post-computing at said clock edge said second plurality of activities.
Claim 2
Independent Claim
69 words
A method for hardware-software coverification of a system, said method comprising the steps of: dividing activities of said system into a pre-compute category comprising a first plurality of activities and a post-compute category comprising a second plurality of activities; pre-computing at a clock edge said first plurality of activities; updating at said clock edge a state of said system; post-computing at said clock edge said second plurality of activities.
Claim 3
Dependent Claim
23 words
The method of claim 1 wherein said first plurality of activities comprise hardware events occurring at a plurality of inputs of a processor.
Claim 4
Dependent Claim
17 words
The method of claim 2 wherein said hardware events comprise read data returned from an external memory.
Claim 5
Dependent Claim
14 words
The method of claim 1 wherein said second plurality of activities comprise processor outputs.
Claim 6
Dependent Claim
16 words
The method of claim 4 wherein said processor outputs comprise address sent to an external memory.
Claim 7
Dependent Claim
14 words
The method of claim 1 wherein said clock edge is a clock rising edge.
Claim 8
Dependent Claim
14 words
The method of claim 1 wherein said clock edge is a clock falling edge.
Claim 9
Independent Claim
96 words
A method for hardware-software coverification of a system, said method comprising the steps of: dividing activities of said system into first and second pluralities of activities; said first plurality of activities affecting a state of said system; said second plurality of activities being affected by said state of said system; pre-computing said first plurality of activities at an edge of a clock in said system, updating said state of said system at said edge of said clock in said system, and post-computing said second plurality of activities at said edge of said clock in said system.
Claim 10
Independent Claim
96 words
A method for hardware-software coverification of a system, said method comprising the steps of: dividing activities of said system into first and second pluralities of activities; said first plurality of activities affecting a state of said system; said second plurality of activities being affected by said state of said system; pre-computing said first plurality of activities at an edge of a clock in said system, updating said state of said system at said edge of said clock in said system, and post-computing said second plurality of activities at said edge of said clock in said system.
Claim 11
Dependent Claim
23 words
The method of claim 8 wherein said first plurality of activities comprise hardware events occurring at a plurality of inputs of a processor.
Claim 12
Dependent Claim
17 words
The method of claim 9 wherein said hardware events comprise read data returned from an external memory.
Claim 13
Dependent Claim
14 words
The method of claim 8 wherein said second plurality of activities comprise processor outputs.
Claim 14
Dependent Claim
16 words
The method of claim 11 wherein said processor outputs comprise address sent to an external memory.
Claim 15
Dependent Claim
15 words
The method of claim 8 wherein said edge of said clock is a rising edge.
Claim 16
Dependent Claim
15 words
The method of claim 8 wherein said edge of said clock is a falling edge.
Claim 17
Dependent Claim
103 words
A computer programmed to implement a method for hardware-software coverification of a system, said computer comprising a CPU, a RAM, and a user interface adapter, said method comprising the steps of: said computer dividing activities of said system into a pre-compute category comprising a first plurality of activities and a post-compute category comprising a second plurality of activities; said computer pre-computing said first plurality of activities at a clock edge of said system; said computer updating a state of said system at said clock edge of said system; said computer post-computing said second plurality of activities at said clock edge of said system.
Claim 18
Dependent Claim
103 words
A computer programmed to implement a method for hardware-software coverification of a system, said computer comprising a CPU, a RAM, and a user interface adapter, said method comprising the steps of: said computer dividing activities of said system into a pre-compute category comprising a first plurality of activities and a post-compute category comprising a second plurality of activities; said computer pre-computing said first plurality of activities at a clock edge of said system; said computer updating a state of said system at said clock edge of said system; said computer post-computing said second plurality of activities at said clock edge of said system.
Claim 19
Dependent Claim
20 words
The computer of claim 15 wherein said computer is programmed in VHDL and C programming languages to implement said method.
Claim 20
Dependent Claim
20 words
The computer of claim 15 wherein said computer is programmed in VHDL and C++ programming languages to implement said method.
Claim 21
Dependent Claim
16 words
The computer of claim 15 wherein said CPU in said computer is a 32-bit RISC CPU.
References Cited (Backward Citations)
US6152612A
Cited
US6398379B1
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2007-03-02 | 2007-09-01 | 2008-03-02 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2011-03-02 | 2011-09-01 | 2012-03-02 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2015-03-02 | 2015-09-01 | 2016-03-02 | $7700.00 | Window Closed / Lapsed |