Self-checking test generator for partially-modeled processors by propagating fuzzy states
US7483824B1 · kind B1 · utility
Assignee
Inventor
Key dates
| Filing date | Mar 3, 2006 |
| Grant date | Jan 27, 2009 |
| Priority date | — |
| Expiry date | Feb 7, 2027 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG01R31/318357
- WIPO fieldMeasurement
- WIPO sectorInstruments
Abstract
A self-checking test generator program creates a self-checking test program that can test a device under test (DUT). The self-checking test generator selects instructions for a test. Selected instructions are executed on a software DUT model to generate results that can be self-checked by other instructions such as compare and branch instructions. The software DUT model has fuzzy models and unknown models for blocks in the DUT. Fuzzy models generate expected outputs for a block of the DUT. Fuzzy models may propagate unknown data from their inputs to their outputs. Unknown models do not predict expected outputs. Instead, unknown models always output unknown (X). Over time, as more of the DUT logic is modeled, unknown models may be replaced with fuzzy models.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.