Method for determining fault coverage from RTL description
US6876934B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Aug 14, 2002 |
| Grant date | Apr 5, 2005 |
| Priority date | — |
| Expiry date | Aug 14, 2022 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/30
- WIPO fieldMeasurement
- WIPO sectorInstruments
Abstract
A method for evaluating the upper bound fault coverage of an integrated circuit (IC) or a portion thereof from register transfer level (RTL) description is provided. The method requires the analysis of a circuit described in RTL consisting of primary input and output pins as well as devices connected to each other and/or to the primary pins to determine the controllability and observability of each pin of the circuit to ‘stuck at zero’ and ‘stuck at one’ conditions. The upper bound fault coverage is then determined based on the ratio between the number of pins that are both controllable and observable and twice the number of pins in the circuit. The method does not require a dynamic simulation for its fault coverage assessment and hence is advantageous over other methods consuming significant time and resources.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.