Valerio Guarnieri

20 papers A 2B 1C 2Misc 1Journal 7Unranked 7

Year	Rank	Type	Title / 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