BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hughes:Roger_B=

Contributed to:

CAV 19971997
DAC 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.