Valerio Guarnieri

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Embedded Processors

Content Management

Fully Integrated

Top Venues

IEEE Trans. Computers

J. Electron. Test.

Publications

Sara Vinco, Valerio Guarnieri, Franco Fummi
Code Manipulation for Virtual Platform Integration. IEEE Trans. Computers 65 (9) (2016)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31 (2) (2015)
Diwei He, Stephen P. Morgan, Dimitrios Trachanis, Jan van Hese, Dimitris Drogoudis, Franco Fummi, Francesco Stefanni, Valerio Guarnieri, Barrie Hayes-Gill
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. Sensors 15 (7) (2015)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
On the reuse of RTL assertions in SystemC TLM verification. LATW (2014)
Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino
A cross-level verification methodology for digital IPs augmented with embedded timing monitors. DATE (2014)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers 63 (5) (2014)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16 (2) (2012)
Valerio Guarnieri, Franco Fummi, Krishnendu Chakrabarty
Reduced-Complexity Transition-Fault Test Generation for Non-scan Circuits through High-Level Mutant Injection. Asian Test Symposium (2012)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva
Energy aware TLM platform simulation via RTL abstraction. HLDVT (2012)
Daniel Lorenz, Kim Grüttner, Nicola Bombieri, Valerio Guarnieri, Sara Bocchio
From RTL IP to functional system-level models with extra-functional properties. CODES+ISSS (2012)
Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. 28 (4) (2012)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri
FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. DATE (2012)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction. J. Electron. Test. 28 (4) (2012)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV (2012)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. ETS (2011)
Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
Mutation analysis for SystemC designs at TLM. LATW (2011)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
Efficient implementation and abstraction of systemc data types for fast simulation. FDL (2011)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri
Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. HLDVT (2010)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri
Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. VLSI-SoC (2010)
Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli
An optimized CLP-based technique for generating propagation sequences. EWDTS (2008)