Travelled to:1 × USA
2 × Germany
Collaborated with:F.Fummi G.Pravadelli C.Pilato L.P.Carloni L.D.Guglielmo M.Becker W.Müller T.Xie
Talks about:design (3) base (2) methodolog (1) synthesi (1) composit (1) communic (1) softwar (1) centric (1) driven (1) assert (1)
Person: Giuseppe Di Guglielmo
DBLP: Guglielmo:Giuseppe_Di
Contributed to:
2014
20122010Wrote 3 papers:
- DAC-2014-GuglielmoPC #composition #design #synthesis
- A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs (GDG, CP, LPC), p. 6.
- DATE-2012-GuglielmoGFP #design #embedded #modelling #verification
- Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
- DATE-2010-BeckerGF0PX #design #refinement
- RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.