| 1998 |
|---|
| 8 | EE | Chryssa Dislis,
Gerry Musgrave,
Roger B. Hughes:
Formal Design Techniques - Theory and Engineering Reality.
Asian Test Symposium 1998: 394-398 |
| 1997 |
|---|
| 7 | | Roger B. Hughes:
Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach.
CAV 1997: 3-6 |
| 6 | | Roger B. Hughes:
CheckOff-M: model checking and its role in IP.
CHARME 1997: 217 |
| 1995 |
|---|
| 5 | EE | 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 |
|---|
| 4 | | Roger B. Hughes,
Gerry Musgrave:
Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems.
FPL 1994: 135-137 |
| 1993 |
|---|
| 3 | | Gerry Musgrave,
Simon Finn,
M. D. Francis,
R. Harris,
Roger B. Hughes:
Formal Methods and Their Future.
EUROCAST 1993: 180-189 |
| 1992 |
|---|
| 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 |
