Back to results
US 2005/0091618 A1Published application
Method and apparatus for decomposing and verifying configurable hardware
OwnerJeffrey Ebert, Ravi Venugopalan +1inventors
InventorsJeffrey Ebert, Ravi Venugopalan, Scott Evans
Life of this patent
Estimating the term…
Abstract
The present invention includes a method and apparatus for decomposing and verifying configurable hardware. In one embodiment, the method includes automatically decomposing a hardware system into a set of one or more units, creating a testbench for each of the set of units, and verifying each of the set of units before verifying the hardware system design.
Claims14
A computer implemented method comprising:
- automatically decomposing a hardware system into a set of one or more units;
- creating a testbench for each of the set of units;
- and
- verifying each of the set of units before verifying the hardware system.
1 more element
A computer implemented method comprising:
- automatically decomposing a set of one or more units at a first level of a configurable hardware system design hierarchy, into a set of one or more units of a lowest level of the hardware system design hierarchy, wherein the configurable hardware system design hierarchy includes a set of one or more hierarchy levels;
- and
- individually verifying units of each hierarchy level of the hardware system design hierarchy successively from the lowest level to the first level with test benches dynamically built for each unit of each successive level.
A computer implemented method comprising:
- mapping a set of configuration data onto a corresponding configurable unit definition selected from a configurable hardware library to generate a set of one or more configurable hardware units;
- dynamically generating a test bench for each of the set of configurable hardware units based on the configuration data;
- verifying each of the set of configurable hardware units with their corresponding test bench;
- integrating the verified set of configurable hardware units into a configurable hardware system;
- and verifying the configurable hardware system.
2 more elements
14-39. (canceled)
Dependencies are inferred from the claim text.