Jason T. Higgins

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Jason T. Higgins, Mark D. Aagaard
Simplifying the design and automating the verification of pipelines with structural hazards. ACM Trans. Design Autom. Electr. Syst. 10 (4) (2005)
Jason T. Higgins, Mark D. Aagaard
Simplifying design and verification for structural hazards and datapaths in pipelined circuits. HLDVT (2004)
Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati
Combining Equivalence Verification and Completion Functions. FMCAD (2004)