Filters: Subject: "Verification"
| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 26 |
 |
Verification of systolic arrays: a stream functional approach | 1985 | Text | ir_uspace |
| 27 |
 |
Verifying a virtual component interface-based PCI bus wrapper using an LSC-based specification | 2002-01-22 | Text | ir_uspace |
| 28 |
 |
Verifying a virtual component interface-based PCI bus wrapper with FormalCheck | 2001-06-14 | Text | ir_uspace |