MARCONCINI, Cristina
MARCONCINI, Cristina
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
A CLP-based Functional ATPG for Extended FSMs
2007-01-01 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
A functional ATPG as a bridge between functional verification and testing
2008-01-01 Marconcini, Cristina
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing
2005-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Verification Methodology for Reconfigurable Systems
2004-01-01 M., Borgatti; A., Fedeli; Fummi, Franco; J. L., Lambert; Marconcini, Cristina; I., Moussa; Pravadelli, Graziano; U., Rossi
An EFSM-based Approach for Functional ATPG
2005-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
An Optimized CLP-based Technique for Generating Propagation Sequences
2008-01-01 Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano
EFSM Manipulation to Increase High-Level ATPG
2006-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
FATE: a Functional ATPG to Traverse unstabilized EFSMs
2006-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage?
2004-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Functional Verification based on the EFSM Model
2004-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Improving Gate-Level ATPG by Traversing Concurrent EFSMs
2006-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs
2007-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Logic-Level Mapping of High-Level Faults
2004-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Redundant Functional Faults Reduction by Saboteur Synthesis
2003-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Test generation based on CLP
2009-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A CLP-based Functional ATPG for Extended FSMs | 1-gen-2007 | Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano | |
| A functional ATPG as a bridge between functional verification and testing | 1-gen-2008 | Marconcini, Cristina | |
| A Pseudo-Deterministic Functional ATPG based on EFSM Traversing | 1-gen-2005 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; 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 | |
| An EFSM-based Approach for Functional ATPG | 1-gen-2005 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| An Optimized CLP-based Technique for Generating Propagation Sequences | 1-gen-2008 | Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano | |
| EFSM Manipulation to Increase High-Level ATPG | 1-gen-2006 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| FATE: a Functional ATPG to Traverse unstabilized EFSMs | 1-gen-2006 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? | 1-gen-2004 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Functional Verification based on the EFSM Model | 1-gen-2004 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Improving Gate-Level ATPG by Traversing Concurrent EFSMs | 1-gen-2006 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs | 1-gen-2007 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Logic-Level Mapping of High-Level Faults | 1-gen-2004 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Redundant Functional Faults Reduction by Saboteur Synthesis | 1-gen-2003 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
| Test generation based on CLP | 1-gen-2009 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano |