| 2007 |
|---|
| 8 | EE | Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli,
Ian G. Harris:
A CLP-Based Functional ATPG for Extended FSMs.
MTV 2007: 98-105 |
| 2006 |
|---|
| 7 | EE | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
FATE: a Functional ATPG to Traverse Unstabilized EFSMs.
European Test Symposium 2006: 179-184 |
| 6 | EE | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
EFSM Manipulation to Increase High-Level ATPG Effectiveness.
ISQED 2006: 57-62 |
| 5 | EE | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
Improving Gate-Level ATPG by Traversing Concurrent EFSMs.
VTS 2006: 172-179 |
| 2005 |
|---|
| 4 | EE | Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
An EFSM-based approach for functional ATPG.
ACM Great Lakes Symposium on VLSI 2005: 197-200 |
| 3 | EE | Giuseppe Di Guglielmo,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing.
MTV 2005: 70-75 |
| 2 | EE | Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
Logic-level mapping of high-level faults.
Integration 38(3): 467-490 (2005) |
| 2004 |
|---|
| 1 | 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 |
