Valerio Guarnieri

According to our database, Valerio Guarnieri authored at least 20 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Code Manipulation for Virtual Platform Integration.

Sara Vinco, Valerio Guarnieri, Franco Fummi

IEEE Trans. Computers, 2016

2015

A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection.

Diwei He, Stephen P. Morgan, Dimitrios Trachanis, Jan van Hese, Dimitris Drogoudis, Franco Fummi, Francesco Stefanni, Valerio Guarnieri, Barrie Hayes-Gill

Sensors, 2015

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia

J. Electron. Test., 2015

2014

Testbench Qualification of SystemC TLM Protocols through Mutation Analysis.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli

IEEE Trans. Computers, 2014

On the reuse of RTL assertions in SystemC TLM verification.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia

Proceedings of the 15th Latin American Test Workshop, 2014

A cross-level verification methodology for digital IPs augmented with embedded timing monitors.

Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012

On the Reuse of TLM Mutation Analysis at RTL.

Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar

J. Electron. Test., 2012

FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri

J. Electron. Test., 2012

HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco

Des. Autom. Embed. Syst., 2012

Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

Energy aware TLM platform simulation via RTL abstraction.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

From RTL IP to functional system-level models with extra-functional properties.

Daniel Lorenz, Kim Grüttner, Nicola Bombieri, Valerio Guarnieri, Sara Bocchio

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

Reduced-Complexity Transition-Fault Test Generation for Non-scan Circuits through High-Level Mutant Injection.

Valerio Guarnieri, Franco Fummi, Krishnendu Chakrabarty

Proceedings of the 21st IEEE Asian Test Symposium, 2012

2011

Mutation analysis for SystemC designs at TLM.

Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar

Proceedings of the 12th Latin American Test Workshop, 2011

Efficient implementation and abstraction of systemc data types for fast simulation.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri

Proceedings of the 16th European Test Symposium, 2011

2010

Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri

Proceedings of the 18th IEEE/IFIP VLSI-SoC 2010, 2010

Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs.

Nicola Bombieri, Franco Fummi, Valerio Guarnieri

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2008

An optimized CLP-based technique for generating propagation sequences.

Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli

Proceedings of the 2008 East-West Design & Test Symposium, 2008