Travelled to:1 × Israel
1 × USA
Collaborated with:∅ M.Bombana P.Cavalloro S.Conigliaro G.Musgrave G.Zaza
Talks about:asic (2) synthesi (1) codesign (1) approach (1) pragmat (1) system (1) formal (1) design (1) verif (1) studi (1)
Person: Roger B. Hughes
DBLP: Hughes:Roger_B=
Contributed to:
1997
1995Wrote 2 papers:
- CAV-1997-Hughes #approach #verification
- Formal Verification of Digital Systems, from ASICs to HW/SW Codesign — a Pragmatic Approach (RBH), pp. 3–6.
- DAC-1995-BombanaCCHMZ #case study #synthesis
- Design-Flow and Synthesis for ASICs: A Case Study (MB, PC, SC, RBH, GM, GZ), pp. 292–297.