Re-useable hardware/software co-verification of IP blocks

Author

Bruce, Alistair ; Goodenough, John

fYear

2001

fDate

6/23/1905 12:00:00 AM

Firstpage

413

Lastpage

417

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;

fLanguage

English

Publisher

ieee

Conference_Titel

ASIC/SOC Conference, 2001. Proceedings. 14th Annual IEEE International

Conference_Location

Arlington, VA

Print_ISBN

0-7803-6741-3

Type

conf

DOI

10.1109/ASIC.2001.954737

Filename

954737