Valerio Guarnieri

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