GUARNIERI, Valerio
GUARNIERI, Valerio
DIPARTIMENTO DI INFORMATICA
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection
2015-01-01 He, Diwei; Morgan, Stephen P; Trachanis, Dimitrios; van Hese, Jan; Drogoudis, Dimitris; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; Hayes Gill, Barrie R.
Code Manipulation for Virtual Platform Integration
2016-01-01 Vinco, Sara; Guarnieri, Valerio; Fummi, Franco
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
On the Reuse of TLM Mutation Analysis at RTL
2012-01-01 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
2015-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia
Testbench qualification of SystemC TLM protocols through Mutation Analysis
2014-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| 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 | |
| Testbench qualification of SystemC TLM protocols through Mutation Analysis | 1-gen-2014 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano |