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 |