Gerry Musgrave

According to our database, Gerry Musgrave authored at least 11 papers between 1983 and 1998.

Collaborative distances:

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

1998

User Experience with High Level Formal Verification (Panel).

Randal E. Bryant, Gerry Musgrave

Proceedings of the 35th Conference on Design Automation, 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

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

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

A Steady-State Response Test Generation for Mixed-Signal Integrated Circuits.

Alaa F. Alani, Gerry Musgrave, Anthony P. Ambler

Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

Formal Methods For Design.

Gerry Musgrave

Proceedings of the Algorithms, Software, Architecture, 1992

1991

The need for a core method DIALOG - Linking formal proof to the design environment.

Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman

Microprocessing and Microprogramming, 1991

1983

An algebra for logic strength simulation.

Peter Flake, Philip Moorby, Gerry Musgrave

Proceedings of the 20th Design Automation Conference, 1983