GUARNIERI, Valerio

GUARNIERI, Valerio  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
Code Manipulation for Virtual Platform Integration 1-gen-2016 Vinco, Sara; Guarnieri, Valerio; Fummi, Franco
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
On the Reuse of TLM Mutation Analysis at RTL 1-gen-2012 Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R.
Reusing RTL assertion checkers for verification of SystemC TLM models 1-gen-2015 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 1-gen-2015 He, Diwei; Morgan, Stephen P; Trachanis, Dimitrios; van Hese, Jan; Drogoudis, Dimitris; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; Hayes Gill, Barrie R.
Testbench qualification of SystemC TLM protocols through Mutation Analysis 1-gen-2014 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano