Graziano Pravadelli

2009
36	EE	Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli: A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Design Autom. Electr. Syst. 14(2): (2009)
2008
35	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE 2008: 396-401
34	EE	Luidi Di Guglielmo, Franco Fummi, Graziano Pravadelli: Vacuity Analysis by Fault Simulation. MEMOCODE 2008: 27-36
33	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. 13(3): (2008)
2007
32	EE	Paolo Destro, Franco Fummi, Graziano Pravadelli: A smooth refinement flow for co-designing HW and SW threads. DATE 2007: 105-110
31	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Incremental ABV for functional validation of TL-to-RTL design refinement. DATE 2007: 882-887
30	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva: Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE 2007: 113-122
29	EE	Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris: A CLP-Based Functional ATPG for Extended FSMs. MTV 2007: 98-105
28	EE	Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems CoRR abs/0710.4846: (2007)
27	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli: Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Design & Test of Computers 24(2): 140-152 (2007)
26	EE	Andrea Fedeli, Franco Fummi, Graziano Pravadelli: Properties Incompleteness Evaluation by Functional Verification. IEEE Trans. Computers 56(4): 528-544 (2007)
25	EE	Franco Fummi, Graziano Pravadelli: Too Few or Too Many Properties? Measure it by ATPG! J. Electronic Testing 23(5): 373-388 (2007)
2006
24	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE 2006: 1007-1012
23	EE	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: FATE: a Functional ATPG to Traverse Unstabilized EFSMs. European Test Symposium 2006: 179-184
22	EE	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62
21	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A methodology for abstracting RTL designs into TL descriptions. MEMOCODE 2006: 103-112
20	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Hardware Design and Simulation for Verification. SFM 2006: 1-29
19	EE	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179
2005
18	EE	Franco Fummi, Cristina Marconcini, Graziano Pravadelli: An EFSM-based approach for functional ATPG. ACM Great Lakes Symposium on VLSI 2005: 197-200
17	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Functional Verification of Networked Embedded Systems. ISQED 2005: 321-326
16	EE	Stefano Brait, Franco Fummi, Graziano Pravadelli: On the use of a high-level fault model to analyze logical consequence of properties. MEMOCODE 2005: 221-230
15	EE	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75
14	EE	Franco Fummi, Cristina Marconcini, Graziano Pravadelli: Logic-level mapping of high-level faults. Integration 38(3): 467-490 (2005)
13	EE	Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen: Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. International Journal of Parallel Programming 33(6): 585-611 (2005)
2004
12	EE	Franco Fummi, Graziano Pravadelli: Logic-level analysis of high-level faults. ACM Great Lakes Symposium on VLSI 2004: 100-103
11	EE	Luca Formaggio, Franco Fummi, Graziano Pravadelli: A timing-accurate HW/SW co-simulation of an ISS with SystemC. CODES+ISSS 2004: 152-157
10	EE	Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271
9	EE	Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271
8	EE	Nicola Bombieri, Franco Fummi, Graziano Pravadelli: At-Speed Functional Verification of Programmable Devices. DFT 2004: 386-394
7	EE	Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Verification Methodology for Reconfigurable Systems. MTV 2004: 85-90
2003
6	EE	Alessandro Fin, Franco Fummi, Graziano Pravadelli: Mixing ATPG and property checking for testing HW/SW interfaces. ACM Great Lakes Symposium on VLSI 2003: 303-306
5	EE	Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto: On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE 2003: 145-152
4	EE	Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli: A SystemC-based Framework for Properties Incompleteness Evaluation. MTV 2003: 89-94
3	EE	Fabrizio Ferrandi, Franco Fummi, Graziano Pravadelli, Donatella Sciuto: Identification of design errors through functional testing. IEEE Transactions on Reliability 52(4): 400-412 (2003)
2002
2	EE	Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto: An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI 2002: 53-58
2001
1		Alessandro Fin, Franco Fummi, Graziano Pravadelli: AMLETO: a multi-language environment for functional test generation. ITC 2001: 821-829

Coauthor Index

1	Paolo Azzoni	[2]
2	Nicola Bombieri	[8] [17] [20] [21] [24] [27] [30] [31] [33] [35]
3	Michele Borgatti	[7] [9] [10] [28]
4	Stefano Brait	[16]
5	Andrea Capello	[9] [10] [28]
6	Paolo Destro	[32]
7	Andrea Fedeli	[2] [5] [7] [26] [27]
8	Fabrizio Ferrandi	[3]
9	Alessandro Fin	[1] [4] [6]
10	Luca Formaggio	[11]
11	Franco Fummi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36]
12	Giuseppe Di Guglielmo	[15] [19] [22] [23]
13	Luidi Di Guglielmo	[34]
14	Ian G. Harris	[29]
15	Jean-Luc Lambert	[7] [9] [10] [28]
16	Mirko Loghi	[13] [36]
17	Cristina Marconcini	[7] [14] [15] [18] [19] [22] [23] [29]
18	Tiziana Margaria (Tiziana Margaria-Steffen)	[13]
19	Imed Moussa	[7] [9] [10] [28]
20	Massimo Poncino	[4] [36]
21	Umberto Rossi	[2] [5] [7] [9] [10] [28]
22	Donatella Sciuto	[3]
23	João P. Marques Silva (João Marques-Silva)	[30]
24	Bernhard Steffen	[13]
25	Franco Toto	[2] [5]