Title :
Re-useable hardware/software co-verification of IP blocks
Author :
Bruce, Alistair ; Goodenough, John
fDate :
6/23/1905 12:00:00 AM
Abstract :
A novel use of remote procedure call techniques gives access to the software driver API of an IP block from a high-level verification testbench. This allows an IP block to be validated through its software interface as well as its hardware interface. Such a unified methodology has immediate benefits for IP block development. More importantly, it allows re-useable, system level verification components to be produced, which greatly enhance the value of an IP block. A combination of commercial testbench and co-simulation tools is used to demonstrate this methodology
Keywords :
application program interfaces; formal verification; hardware-software codesign; industrial property; remote procedure calls; API software driver; IP block; co-simulation tool; hardware interface; hardware/software co-verification; high-level verification; re-useable component; remote procedure call technique; software interface; system-level verification; testbench; Communication system control; Control systems; Embedded software; Field programmable gate arrays; Hardware; Software prototyping; Software quality; Software systems; Software testing; System testing;
Conference_Titel :
ASIC/SOC Conference, 2001. Proceedings. 14th Annual IEEE International
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-6741-3
DOI :
10.1109/ASIC.2001.954737
