| |
| 2005 | ||
|---|---|---|
| 2 | EE | Jason T. Higgins, Mark Aagaard: Simplifying the design and automating the verification of pipelines with structural hazards. ACM Trans. Design Autom. Electr. Syst. 10(4): 651-672 (2005) |
| 2004 | ||
| 1 | EE | Mark Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati: Combining Equivalence Verification and Completion Functions. FMCAD 2004: 98-112 |
| 1 | Mark Aagaard | [1] [2] |
| 2 | Vlad C. Ciubotariu | [1] |
| 3 | Farzad Khalvati | [1] |