Graziano Pravadelli
Graziano Pravadelli
Full professor, University of Verona, Italy
Email verificata su univr.it - Home page
TitoloCitata daAnno
A mutation model for the SystemC TLM 2.0 communication interfaces
N Bombieri, F Fummi, G Pravadelli
Proceedings of the conference on Design, automation and test in Europe, 396-401, 2008
552008
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL
N Bombieri, F Fummi, G Pravadelli
Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006
502006
A timing-accurate HW/SW co-simulation of an ISS with SystemC
L Formaggio, F Fummi, G Pravadelli
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware …, 2004
502004
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2011
492011
HIFSuite: Tools for HDL code conversion and manipulation
N Bombieri, G Di Guglielmo, M Ferrari, F Fummi, G Pravadelli, F Stefanni, ...
EURASIP Journal on Embedded Systems 2010 (1), 436328, 2010
472010
Amleto: A multi-language environment for functional test generation
A Fin, F Fummi, G Pravadelli
Proceedings International Test Conference 2001 (Cat. No. 01CH37260), 821-829, 2001
472001
Properties incompleteness evaluation by functional verification
A Fedeli, F Fummi, G Pravadelli
IEEE Transactions on Computers 56 (4), 528-544, 2007
372007
Functional qualification of TLM verification
N Bombieri, F Fummi, G Pravadelli, M Hampton, F Letombe
2009 Design, Automation & Test in Europe Conference & Exhibition, 190-195, 2009
362009
Towards equivalence checking between TLM and RTL models
N Bombieri, F Fummi, G Pravadelli, J Marques-Silva
Proceedings of the 5th IEEE/ACM International Conference on Formal Methods …, 2007
362007
The EU’s institutions
E Bomberg, L Cram, D Martin
The European Union: how does it work, 43-68, 2003
342003
Incremental ABV for functional validation of TL-to-RTL design refinement
N Bombieri, F Fummi, G Pravadelli
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
332007
Automatic extraction of assertions from execution traces of behavioural models
A Danese, T Ghasempouri, G Pravadelli
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 67-72, 2015
282015
Efficient generation of stimuli for functional verification by backjumping across extended FSMs
G Di Guglielmo, L Di Guglielmo, F Fummi, G Pravadelli
Journal of Electronic Testing 27 (2), 137, 2011
282011
Semi-formal functional verification by EFSM traversing via NuSMV
G Di Guglielmo, F Fummi, G Pravadelli, S Soffia, M Roveri
2010 IEEE international High level design validation and test workshop …, 2010
252010
On the use of a high-level fault model to check properties incompleteness
F Fummi, G Pravadelli, A Fedeli, U Rossi, F Toto
First ACM and IEEE International Conference on Formal Methods and Models for …, 2003
252003
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous system integration
L Di Guglielmo, F Fummi, G Pravadelli, F Stefanni, S Vinco
IEEE Transactions on Computers 62 (2), 225-241, 2013
232013
Hybrid, incremental assertion-based verification for TLM design flows
N Bombieri, F Fummi, G Pravadelli, A Fedeli
IEEE Design & Test of Computers 24 (2), 140-152, 2007
232007
EFSM manipulation to increase high-level ATPG effectiveness
G Di Guglielmo, F Fummi, C Marconcini, G Pravadelli
7th International Symposium on Quality Electronic Design (ISQED'06), 6 pp.-62, 2006
232006
A smooth refinement flow for co-designing HW and SW threads
P Destro, F Fummi, G Pravadelli
Proceedings of the conference on Design, automation and test in Europe, 105-110, 2007
222007
An integrated design and verification methodology for reconfigurable multimedia systems
M Borgatti, A Capello, U Rossi, JL Lambert, I Moussa, F Fummi, ...
Design, Automation and Test in Europe, 266-271, 2005
222005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20