Giuseppe Di Guglielmo
Giuseppe Di Guglielmo
Associate Research Scientist - Columbia University
Email verificata su cs.columbia.edu - Home page
TitoloCitata daAnno
HIFSuite: Tools for HDL code conversion and manipulation
N Bombieri, G Di Guglielmo, M Ferrari, F Fummi, G Pravadelli, F Stefanni, ...
EURASIP Journal on Embedded Systems 2010 (1), 436328, 2010
502010
An analysis of accelerator coupling in heterogeneous architectures
EG Cota, P Mantovani, G Di Guglielmo, LP Carloni
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2015
362015
Efficient generation of stimuli for functional verification by backjumping across extended FSMs
G Di Guglielmo, L Di Guglielmo, F Fummi, G Pravadelli
Journal of Electronic Testing 27 (2), 137, 2011
292011
Semi-formal functional verification by EFSM traversing via NuSMV
G Di Guglielmo, F Fummi, G Pravadelli, S Soffia, M Roveri
2010 IEEE international High level design validation and test workshop …, 2010
242010
EFSM manipulation to increase high-level ATPG effectiveness
G Di Guglielmo, F Fummi, C Marconcini, G Pravadelli
7th International Symposium on Quality Electronic Design (ISQED'06), 6 pp.-62, 2006
232006
RTOS-aware refinement for TLM2. 0-based HW/SW designs
M Becker, G Di Guglielmo, F Fummi, W Mueller, G Pravadelli, T Xie
Proceedings of the Conference on Design, Automation and Test in Europe, 1053 …, 2010
202010
On the integration of model-driven design and dynamic assertion-based verification for embedded software
G Di Guglielmo, L Di Guglielmo, A Foltinek, M Fujita, F Fummi, ...
Journal of Systems and Software 86 (8), 2013
182013
An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems
P Mantovani, EG Cota, K Tien, C Pilato, G Di Guglielmo, K Shepard, ...
Proceedings of the 53rd Annual Design Automation Conference, 157, 2016
172016
High-level synthesis of accelerators in embedded scalable platforms
P Mantovani, G Di Guglielmo, LP Carloni
2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), 204-211, 2016
152016
System-level memory optimization for high-level synthesis of component-based SoCs
C Pilato, P Mantovani, G Di Guglielmo, LP Carloni
Proceedings of the 2014 International Conference on Hardware/Software …, 2014
152014
Automatic generation of compact formal properties for effective error detection
M Bertasi, G Di Guglielmo, G Pravadelli
2013 International Conference on Hardware/Software Codesign and System …, 2013
152013
Dynamic property mining for embedded software
M Bonato, G Di Guglielmo, M Fujita, F Fummi, G Pravadelli
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2012
152012
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM
G Di Guglielmo, F Fummi, C Marconcini, G Pravadelli
IET Computers & Digital Techniques 1 (3), 187-196, 2007
142007
System-level optimization of accelerator local memory for heterogeneous systems-on-chip
C Pilato, P Mantovani, G Di Guglielmo, LP Carloni
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016
132016
Cosmos: Coordination of high-level synthesis and memory optimization for hardware accelerators
L Piccolboni, P Mantovani, GD Guglielmo, LP Carloni
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 150, 2017
122017
Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip
P Mantovani, EG Cota, C Pilato, G Di Guglielmo, LP Carloni
Proceedings of the International Conference on Compilers, Architectures and …, 2016
122016
Improving gate-level ATPG by traversing concurrent EFSMs
G Di Guglielmo, F Fummi, C Marconcini, G Pravadelli
24th IEEE VLSI Test Symposium, 6 pp.-179, 2006
112006
A design methodology for compositional high-level synthesis of communication-centric SoCs
G Di Guglielmo, C Pilato, LP Carloni
Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014
102014
Model-driven design and validation of embedded software
G Di Guglielmo, M Fujita, L Di Guglielmo, F Fummi, G Pravadelli, ...
Proceedings of the 6th International Workshop on Automation of Software Test …, 2011
102011
Enabling dynamic assertion-based verification of embedded software through model-driven design
G Di Guglielmo, L Di Guglielmo, F Fummi, G Pravadelli
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 212-217, 2012
92012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20