1 - 25 of 2
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Gopalakrishnan, Ganesh | Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification | Because of the high stakes involved in integrating externally developed intellectual property (IP) cores used in System on Chip (SOC) designs, methods and tool support for quick, easy, decisive standard compliance verification must be developed. Such methods and tools include formal standard spec... | System on Chip; SOC; Verification; PCI bus wrapper; LSC | 2002-01-22 |
| 2 |
 |
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 2