Follow
Francesco Stefanni
Francesco Stefanni
Gizero Energie s.r.l.
Verified email at gizeroenergie.it
Title
Cited by
Cited by
Year
A SystemC-based framework for modeling and simulation of networked embedded systems
F Fummi, D Quaglia, F Stefanni
2008 Forum on Specification, Verification and Design Languages, 49-54, 2008
892008
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-20, 2010
702010
Moving from co-simulation to simulation for effective smart systems design
F Fummi, M Lora, F Stefanni, D Trachanis, J Vanhese, S Vinco
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-4, 2014
302014
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous system integration
L Di Guglielmo, F Fummi, G Pravadelli, F Stefanni, S Vinco
IEEE Transactions on Computers 62 (2), 225-241, 2012
272012
A single-chip CMOS pulse oximeter with on-chip lock-in detection
D He, SP Morgan, D Trachanis, J Van Hese, D Drogoudis, F Fummi, ...
Sensors 15 (7), 17076-17088, 2015
262015
Modeling of communication infrastructure for design-space exploration
F Fummi, G Lovato, D Quaglia, F Stefanni
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
182010
Reusing RTL assertion checkers for verification of SystemC TLM models
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
Journal of Electronic Testing 31, 167-180, 2015
152015
Network synthesis for distributed embedded systems
E Fraccaroli, F Stefanni, R Rizzi, D Quaglia, F Fummi
IEEE Transactions on Computers 67 (9), 1315-1330, 2018
112018
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
N Bombieri, F Fummi, V Guarnieri, F Stefanni, S Vinco
Design Automation for Embedded Systems 16, 115-135, 2012
112012
Refinement of UML/MARTE models for the design of networked embedded systems
E Ebeid, F Fummi, D Quaglia, F Stefanni
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2012
112012
Network fault model for dependability assessment of networked embedded systems
F Fummi, D Quaglia, F Stefanni
2008 IEEE International Symposium on Defect and Fault Tolerance of VLSI …, 2008
112008
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design
L Di Guglielm, F Fummi, G Pravadelli, F Stefanni, S Vinco
2011 IEEE International High Level Design Validation and Test Workshop, 33-40, 2011
102011
On the reuse of RTL assertions in SystemC TLM verification
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
2014 15th Latin American Test Workshop-LATW, 1-6, 2014
92014
Systemc simulation of networked embedded systems
F Stefanni, D Quaglia, F Fummi
Languages for Embedded Systems and their Applications: Selected …, 2009
92009
SMAC: smart systems co-design
N Bombieri, D Drogoudis, G Gangemi, R Gillon, E Macii, M Poncino, ...
2013 Euromicro Conference on Digital System Design, 253-259, 2013
72013
Automatic generation of cycle-accurate simulink blocks from hdl ips
S Centomo, M Lora, A Portaluri, F Stefanni, F Fummi
2017 Forum on Specification and Design Languages (FDL), 1-8, 2017
62017
SystemC Network Simulation Library–version 2
D Quaglia, F Stefanni
URL: http://sourceforge. net/projects/scnsl, 2013
62013
Efficient implementation and abstraction of systemc data types for fast simulation
N Bombieri, F Fummi, V Guarnieri, F Stefanni, S Vinco
FDL 2011 Proceedings, 1-7, 2011
62011
RTL property abstraction for TLM assertion-based verification
N Bombieri, R Filippozzi, G Pravadelli, F Stefanni
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 85-90, 2015
52015
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity
F Fummi, M Lora, F Stefanni, S Vinco
Languages, Design Methods, and Tools for Electronic System Design: Selected …, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20