Back to results
US 2003/0229864 A1Published application
Pre-silicon verification path coverage
AssigneeLSI Logic Corporation
InventorDaniel R. Watkins
Life of this patent
Estimating the term…
Abstract
A method for verifying a path coverage of a circuit design. The method generally comprises the steps of implementing a hardware description language to include a plurality of monitors for a plurality of nodes of the circuit design, monitoring the nodes of a programmable circuit implementing the circuit design in real-time to capture node data, and assessing the node data to determine the path coverage.
Claims25
A method for verifying a path coverage of a circuit design, comprising the steps of:
- (A) implementing a hardware description language to include a plurality of monitors for a plurality of nodes of said circuit design;
- (B) monitoring said nodes of a programmable circuit implementing said circuit design in real-time to capture node data;
- and
- (C) assessing said node data to determine said path coverage.
1 more element
An apparatus comprising:
- a first tool configured to (i) implement a hardware description language to include a plurality of monitors for a plurality of nodes of a circuit design and (ii) assess node data to determine a path coverage;
- and
- a second tool configured to monitor said nodes of a programmable circuit implementing said circuit design in real-time to capture said node data.
A method for verifying a path coverage of a circuit design, comprising the steps of:
- (A) monitoring a plurality of nodes of a programmable circuit implementing said circuit design in real-time to capture node data;
- (B) compressing said node data;
- and
- (C) assessing said node data to determine said path coverage.
1 more element
An apparatus comprising:
- means for implementing a hardware description language to include a plurality of monitors for a plurality of nodes of said circuit design;
- means for monitoring said nodes of a programmable circuit implementing said circuit design in real-time to capture node data;
- and
- means for assessing said node data to determine said path coverage.
1 more element
Dependencies are inferred from the claim text.