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 test-bench for each of the set of units, and verifying
each of the set of units before verifying the hardware system design.
De onderhavige uitvinding omvat een methode en een apparaat om configureerbare hardware te ontbinden en te verifiëren. In één belichaming, omvat de methode automatisch het ontbinden van een hardwaresysteem in een reeks die van één of meer eenheden, tot een test-bank voor elk van de reeks eenheden leidt, en elk van de reeks eenheden verifiëert alvorens het ontwerp van het hardwaresysteem te verifiëren.
