Jason T. Higgins

According to our database, Jason T. Higgins authored at least 3 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Simplifying the design and automating the verification of pipelines with structural hazards.

Jason T. Higgins, Mark D. Aagaard

ACM Trans. Design Autom. Electr. Syst., 2005

2004

Simplifying design and verification for structural hazards and datapaths in pipelined circuits.

Jason T. Higgins, Mark D. Aagaard

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Combining Equivalence Verification and Completion Functions.

Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004