A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection
He, Diwei, Morgan, Stephen P, Trachanis, Dimitrios, van Hese, Jan, Drogoudis, Dimitris, Fummi, Franco, Stefanni, Francesco, Guarnieri, Valerio, Hayes-Gill, Barrie R
Published in Sensors (Basel, Switzerland) (14.07.2015)
Published in Sensors (Basel, Switzerland) (14.07.2015)
Get full text
Journal Article
Network Synthesis for Distributed Embedded Systems
Fraccaroli, Enrico, Stefanni, Francesco, Rizzi, Romeo, Quaglia, Davide, Fummi, Franco
Published in IEEE transactions on computers (01.09.2018)
Published in IEEE transactions on computers (01.09.2018)
Get full text
Journal Article
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration
Di Guglielmo, L., Fummi, F., Pravadelli, G., Stefanni, F., Vinco, S.
Published in IEEE transactions on computers (01.02.2013)
Published in IEEE transactions on computers (01.02.2013)
Get full text
Journal Article
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
Bombieri, Nicola, Fummi, Franco, Guarnieri, Valerio, Pravadelli, Graziano, Stefanni, Francesco, Ghasempouri, Tara, Lora, Michele, Auditore, Giovanni, Marcigaglia, Mirella Negro
Published in Journal of electronic testing (01.04.2015)
Published in Journal of electronic testing (01.04.2015)
Get full text
Journal Article
RTL property abstraction for TLM assertion-based verification
Bombieri, Nicola, Filippozzi, Riccardo, Pravadelli, Graziano, Stefanni, Francesco
Published in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2015)
Published in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2015)
Get full text
Conference Proceeding
Moving from co-simulation to simulation for effective smart systems design
Fummi, Franco, Lora, Michele, Stefanni, Francesco, Trachanis, Dimitrios, Vanhese, Jahn, Vinco, Sara
Published in 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2014)
Published in 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2014)
Get full text
Conference Proceeding
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design
Di Guglielm, L., Fummi, F., Pravadelli, G., Stefanni, F., Vinco, S.
Published in 2011 IEEE International High Level Design Validation and Test Workshop (01.11.2011)
Published in 2011 IEEE International High Level Design Validation and Test Workshop (01.11.2011)
Get full text
Conference Proceeding
Automatic generation of cycle-accurate Simulink blocks from hdl ips
Centomo, Stefano, Lora, Michele, Portaluri, Antonio, Stefanni, Francesco, Fummi, Franco
Published in 2017 Forum on Specification and Design Languages (FDL) (01.09.2017)
Published in 2017 Forum on Specification and Design Languages (FDL) (01.09.2017)
Get full text
Conference Proceeding
Automatic generation of self-adaptive transactors from PSL assertions
Demrozi, Florenc, Pravadelli, Graziano, Stefanni, Francesco
Published in 2016 Forum on Specification and Design Languages (FDL) (01.09.2016)
Published in 2016 Forum on Specification and Design Languages (FDL) (01.09.2016)
Get full text
Conference Proceeding
HIFSuite: Tools for HDL code conversion and manipulation
Bombieri, Nicola, Di Guglielmo, Giuseppe, Di Guglielmo, Luigi, Ferrari, Michele, Fummi, Franco, Pravadelli, Graziano, Stefanni, Francesco, Venturelli, Alessandro
Published in 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) (01.06.2010)
Published in 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) (01.06.2010)
Get full text
Conference Proceeding
Fault analysis in analog circuits through language manipulation and abstraction
Fraccaroli, Enrico, Stefanni, Francesco, Fummi, Franco, Zwolinski, Mark
Published in 2017 Forum on Specification and Design Languages (FDL) (01.09.2017)
Published in 2017 Forum on Specification and Design Languages (FDL) (01.09.2017)
Get full text
Conference Proceeding
Scalable open source smart grid simulator (SGSim)
Ebeid, Emad, Jacobsen, Rune Hylsberg, Stefanni, Francesco, Quaglia, Davide
Published in 2017 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT) (01.04.2017)
Published in 2017 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT) (01.04.2017)
Get full text
Conference Proceeding
The role of parallel simulation in functional verification
Di Guglielmo, Giuseppe, Fummi, Franco, Hampton, Mark, Pravadelli, Graziano, Stefanni, Francesco
Published in 2008 IEEE International High Level Design Validation and Test Workshop (01.11.2008)
Published in 2008 IEEE International High Level Design Validation and Test Workshop (01.11.2008)
Get full text
Conference Proceeding
On the reuse of RTL assertions in SystemC TLM verification
Bombieri, Nicola, Fummi, Franco, Guarnieri, Valerio, Pravadelli, Graziano, Stefanni, Francesco, Ghasempouri, Tara, Lora, Michele, Auditore, Giovanni, Marcigaglia, Mirella Negro
Published in 2014 15th Latin American Test Workshop - LATW (01.03.2014)
Published in 2014 15th Latin American Test Workshop - LATW (01.03.2014)
Get full text
Conference Proceeding
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems
Lazarescu, M., Sayyah, P., Quaglia, D., Stefanni, F.
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Get full text
Conference Proceeding