PRAVADELLI, Graziano

PRAVADELLI, Graziano  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 144 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
A 1000X Speed Up for Properties Completeness Evaluation 1-gen-2002 A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto
A CLP-based Functional ATPG for Extended FSMs 1-gen-2007 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 1-gen-2009 Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 1-gen-2005 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Smooth Refinement Flow for Co-designing HW and SW Threads 1-gen-2007 Destro, Paolo; Fummi, Franco; Pravadelli, Graziano
A SystemC-based Framework for Properties Incompleteness Evaluation 1-gen-2003 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
A testbench specification language for SystemC Verification 1-gen-2012 DI GUGLIELMO, Giuseppe; Pravadelli, Graziano
A Verification Methodology for Reconfigurable Systems 1-gen-2004 M., Borgatti; A., Fedeli; Fummi, Franco; J. L., Lambert; Marconcini, Cristina; I., Moussa; Pravadelli, Graziano; U., Rossi
A-TEAM: Automatic template-based assertion miner 1-gen-2017 Danese, Alessandro; Riva, Nicolò Dalla; Pravadelli, Graziano
Abstraction of RTL IPs into Embedded Software 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 1-gen-2012 Simone, Bronuzzi; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
AMLETO: A Multi-language Environment for Functional Test Generation 1-gen-2001 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
An EFSM-based Approach for Functional ATPG 1-gen-2005 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
An Error Simulation Based Approach to Measure Error Coverage of Formal Properties 1-gen-2002 Azzoni, Paolo; A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems 1-gen-2005 M., Borgatti; A., Capello; Fummi, Franco; J. L., Lambert; I., Moussa; Pravadelli, Graziano; U., Rossi
An Optimized CLP-based Technique for Generating Propagation Sequences 1-gen-2008 Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano
At-Speed Functional Verification of Programmable Devices 1-gen-2004 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Automatic extraction of assertions from execution traces of behavioural models 1-gen-2015 Danese, Alessandro; Ghasempouri, Tara; Pravadelli, Graziano
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 1-gen-2016 Danese, Alessandro; Filini, Francesca; Ghasempouri, Tara; Pravadelli, Graziano