Travelled to:
1 × USA
Collaborated with:
A.M.Procter W.L.Harrison I.Graves M.Becchi
Talks about:
implement (1) hardwar (1) semant (1) driven (1) design (1) verif (1) wire (1)
Person: Gerard Allwein
DBLP: Allwein:Gerard
Contributed to:
Wrote 1 papers:
- LCTES-2015-ProcterHGBA #design #hardware #implementation #semantics #verification
- Semantics Driven Hardware Design, Implementation, and Verification with ReWire (AMP, WLH, IG, MB, GA), p. 10.