Roger B. Hughes

Publication Activity (10 Years)

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

Brunel University London, UK (PHD)

Education History

Brunel University London, UK

PHD

Publications

Chryssa Dislis, Gerry Musgrave, Roger B. Hughes
Formal Design Techniques - Theory and Engineering Reality. Asian Test Symposium (1998)
Roger B. Hughes
CheckOff-M: model checking and its role in IP. CHARME (1997)
Roger B. Hughes
Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach. CAV (1997)
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)
Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave
Formal Tools in Tri-State Design in Busses. TPHOLs (1992)
Roger B. Hughes, Gerry Musgrave
Design-Flow Graph Partitioning. TPHOLs (1992)