Gerry Musgrave

12 papers A* 3A 2B 1Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
1998 A ed.
1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France
DATE
Patrick M. Dewilde, Franz J. Rammig, Gerry Musgrave
1998 — conf
Formal Design Techniques - Theory and Engineering Reality.
Asian Test Symposium
Chryssa Dislis, Gerry Musgrave, Roger B. Hughes
1998 A* conf
User Experience with High Level Formal Verification (Panel).
DAC
Randal E. Bryant, Gerry Musgrave
1995 A* conf
Design-Flow and Synthesis for ASICs: A Case Study.
DAC
Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza
1994 B conf
Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems.
FPL
Roger B. Hughes, Gerry Musgrave
1993 — conf
Formal Methods and Their Future.
EUROCAST
Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes
1992 A conf
A Steady-State Response Test Generation for Mixed-Signal Integrated Circuits.
ITC
Alaa F. Alani, Gerry Musgrave, Anthony P. Ambler
1992 — conf
Design-Flow Graph Partitioning.
TPHOLs
Roger B. Hughes, Gerry Musgrave
1992 — conf
Formal Methods For Design.
IFIP Congress (1)
Gerry Musgrave
1992 — conf
Formal Tools in Tri-State Design in Busses.
TPHOLs
Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave
1991 J jnl
The need for a core method DIALOG - Linking formal proof to the design environment.
Microprocessing and Microprogramming
Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman
1983 A* conf
An algebra for logic strength simulation.
DAC
Peter Flake, Philip Moorby, Gerry Musgrave