MARCONCINI, Cristina

MARCONCINI, Cristina  

DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.02 secondi).
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