 | 2008 |
| 10 |  | Franco Fummi,
Valerio Guarnieri,
Cristina Marconcini,
Graziano Pravadelli:
An optimized CLP-based technique for generating propagation sequences.
EWDTS 2008: 25-29 |
| 2007 |
| 9 |  | Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli,
Ian G. Harris:
A CLP-Based Functional ATPG for Extended FSMs.
MTV 2007: 98-105 |
| 8 |  | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM.
IET Computers & Digital Techniques 1(3): 187-196 (2007) |
| 2006 |
| 7 |  | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
FATE: a Functional ATPG to Traverse Unstabilized EFSMs.
European Test Symposium 2006: 179-184 |
| 6 |  | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
EFSM Manipulation to Increase High-Level ATPG Effectiveness.
ISQED 2006: 57-62 |
| 5 |  | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
Improving Gate-Level ATPG by Traversing Concurrent EFSMs.
VTS 2006: 172-179 |
| 2005 |
| 4 |  | Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
An EFSM-based approach for functional ATPG.
ACM Great Lakes Symposium on VLSI 2005: 197-200 |
| 3 |  | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing.
MTV 2005: 70-75 |
| 2 |  | Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
Logic-level mapping of high-level faults.
Integration 38(3): 467-490 (2005) |
| 2004 |
| 1 |  | 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 |