Roger B. Hughes

According to our database1, Roger B. Hughes authored at least 9 papers between 1992 and 1998.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Formal Design Techniques - Theory and Engineering Reality.
Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998

1997
CheckOff-M: model checking and its role in IP.
Proceedings of the Advances in Hardware Design and Verification, 1997

Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1995
Design-Flow and Synthesis for ASICs: A Case Study.
Proceedings of the 32st Conference on Design Automation, 1995

1994
Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems.
Proceedings of the Field-Programmable Logic, 1994

1993
Formal Methods and Their Future.
Proceedings of the Computer Aided Systems Theory, 1993

1992
Automated interactive software verification and synthesis.
PhD thesis, 1992

Design-Flow Graph Partitioning.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Formal Tools in Tri-State Design in Busses.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992


  Loading...