GUARNIERI, Valerio

GUARNIERI, Valerio  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
An Optimized CLP-based Technique for Generating Propagation Sequences 1-gen-2008 Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano
Automatic HDL Conversion and Abstraction Methodologies 1-gen-2013 Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Code Manipulation for Virtual Platform Integration 1-gen-2016 Vinco, Sara; Guarnieri, Valerio; Fummi, Franco
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 1-gen-2014 Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino
Design and simulation of an integrated optical CMOS heart rate sensor 1-gen-2014 D., He; C., Liu; D., Trachanis; J. V., Hese; D., Drogoudis; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; S. P., Morgan; B. R., Hayes Gill
Design and Verification Techniques for TLM-based Design Flows 1-gen-2013 Guarnieri, Valerio
Design Domains and Abstraction Levels for Effective Smart System Simulation 1-gen-2016 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Energy Aware TLM Platform Simulation via RTL Abstraction 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; A., Acquaviva
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
From RTL IP to functional system-level models with extra-functional properties 1-gen-2012 D., Lorenz; K., Grüttner; Bombieri, Nicola; Guarnieri, Valerio; S., Bocchio
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
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Mutation Analysis for SystemC Designs at TLM 1-gen-2011 Guarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; H., Hantson; J., Raik; M., Jenihhin; R., Ubar
On the Reuse of RTL assertions in Systemc TLM Verification 1-gen-2014 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
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.
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Vinco, Sara