Roger B. Hughes

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

Collaborative distances:

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

1998

Formal Design Techniques - Theory and Engineering Reality.

Chryssa Dislis, Gerry Musgrave, Roger B. Hughes

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.

Roger B. Hughes

Proceedings of the Advances in Hardware Design and Verification, 1997

Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach.

Roger B. Hughes

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1995

Design-Flow and Synthesis for ASICs: A Case Study.

Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza

Proceedings of the 32st Conference on Design Automation, 1995

1994

Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems.

Roger B. Hughes, Gerry Musgrave

Proceedings of the Field-Programmable Logic, 1994

1993

Formal Methods and Their Future.

Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes

Proceedings of the Computer Aided Systems Theory, 1993

1992

Automated interactive software verification and synthesis.

Roger B. Hughes

PhD thesis, 1992

Design-Flow Graph Partitioning.

Roger B. Hughes, Gerry Musgrave

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Formal Tools in Tri-State Design in Busses.

Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992