Search the dblp DataBase

Publications of Author

1. Chryssa Dislis, Gerry Musgrave, Roger B. Hughes
   Formal Design Techniques - Theory and Engineering Reality. [Citation Graph (0, 0)][DBLP]
   Asian Test Symposium, 1998, pp:394-398 [Conf]
   
2. Roger B. Hughes
   Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach. [Citation Graph (0, 0)][DBLP]
   CAV, 1997, pp:3-6 [Conf]
   
3. Roger B. Hughes
   CheckOff-M: model checking and its role in IP. [Citation Graph (0, 0)][DBLP]
   CHARME, 1997, pp:217- [Conf]
   
4. Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Roger B. Hughes, Gerry Musgrave, Giuseppe Zaza
   Design-Flow and Synthesis for ASICs: A Case Study. [Citation Graph (0, 0)][DBLP]
   DAC, 1995, pp:292-297 [Conf]
   
5. Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes
   Formal Methods and Their Future. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 1993, pp:180-189 [Conf]
   
6. Roger B. Hughes, Gerry Musgrave
   Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems. [Citation Graph (0, 0)][DBLP]
   FPL, 1994, pp:135-137 [Conf]
   
7. Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave
   Formal Tools in Tri-State Design in Busses. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1992, pp:459-475 [Conf]
   
8. Roger B. Hughes, Gerry Musgrave
   Design-Flow Graph Partitioning. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1992, pp:395-404 [Conf]