Gerry Musgrave

Publication Activity (10 Years)

Years Active: 1983-1998
Publications (10 Years): 0

Publications

Chryssa Dislis, Gerry Musgrave, Roger B. Hughes
Formal Design Techniques - Theory and Engineering Reality. Asian Test Symposium (1998)
Randal E. Bryant, Gerry Musgrave
User Experience with High Level Formal Verification (Panel). DAC (1998)
Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza
Design-Flow and Synthesis for ASICs: A Case Study. DAC (1995)
Roger B. Hughes, Gerry Musgrave
Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. FPL (1994)
Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes
Formal Methods and Their Future. EUROCAST (1993)
Gerry Musgrave
Formal Methods For Design. IFIP Congress (1) (1992)
Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave
Formal Tools in Tri-State Design in Busses. TPHOLs (1992)
Alaa F. Alani, Gerry Musgrave, Anthony P. Ambler
A Steady-State Response Test Generation for Mixed-Signal Integrated Circuits. ITC (1992)
Roger B. Hughes, Gerry Musgrave
Design-Flow Graph Partitioning. TPHOLs (1992)
Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman
The need for a core method DIALOG - Linking formal proof to the design environment. Microprocessing and Microprogramming 32 (1-5) (1991)
Peter Flake, Philip Moorby, Gerry Musgrave
An algebra for logic strength simulation. DAC (1983)