Roger B. Hughes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1994–1997
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | CAV | Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach. | Roger B. Hughes |
| 1995 | DAC | Design-Flow and Synthesis for ASICs: A Case Study. | Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza |
| 1994 | FPL | Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. | Roger B. Hughes, Gerry Musgrave |