 | 1998 |
|---|
| 9 |       | Chryssa Dislis,
Gerry Musgrave,
Roger B. Hughes:
Formal Design Techniques - Theory and Engineering Reality.
Asian Test Symposium 1998: 394-398 |
| 8 | | Randal E. Bryant,
Gerry Musgrave:
User Experience with High Level Formal Verification (Panel).
DAC 1998: 327 |
| 1995 |
|---|
| 7 | | Massimo Bombana,
Patrizia Cavalloro,
Salvatore Conigliaro,
Roger B. Hughes,
Gerry Musgrave,
Giuseppe Zaza:
Design-Flow and Synthesis for ASICs: A Case Study.
DAC 1995: 292-297 |
| 1994 |
|---|
| 6 |  | Roger B. Hughes,
Gerry Musgrave:
Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems.
FPL 1994: 135-137 |
| 1993 |
|---|
| 5 | | Gerry Musgrave,
Simon Finn,
M. D. Francis,
R. Harris,
Roger B. Hughes:
Formal Methods and Their Future.
EUROCAST 1993: 180-189 |
| 1992 |
|---|
| 4 | | Gerry Musgrave:
Formal Methods For Design.
IFIP Congress (1) 1992: 710 |
| 3 | | Alaa F. Alani,
Gerry Musgrave,
Anthony P. Ambler:
A Steady-State Response Test Generation for Mixed-Signal Integrated Circuits.
ITC 1992: 415-421 |
| 2 | | Roger B. Hughes,
Gerry Musgrave:
Design-Flow Graph Partitioning.
TPHOLs 1992: 395-404 |
| 1 | | Roger B. Hughes,
M. D. Francis,
Simon Finn,
Gerry Musgrave:
Formal Tools in Tri-State Design in Busses.
TPHOLs 1992: 459-475 |
