Filters: Date: "2001-06-14" Collection: ir_uspace
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Gopalakrishnan, Ganesh | Verifying a virtual component interface-based PCI bus wrapper with FormalCheck | The Virtual Sockets Interface Alliance (VSIA) recently released the Virtual Component Interface (VCI) Standard. This paper reports recent experiences in formally verifying a few properties of a VCI-compliant PCI 2.1 bus wrapper model in the formal verification tool, FormalCheck. Though we chose t... | Virtual Sockets Interface Alliance; VSIA; Virtual Component Interface Standard; VCI; Verification; PCI bus wrapper; FormalCheck | 2001-06-14 |
1 - 25 of 1