CATALOGO DEI PRODOTTI DELLA RICERCA

MARCONCINI, Cristina

MARCONCINI, Cristina  

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

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.012 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 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
Redundant Functional Faults Reduction by Saboteur Synthesis 1-gen-2003 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano