CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 15 di 15
Titolo Data di pubblicazione Autore(i) File
Redundant Functional Faults Reduction by Saboteur Synthesis 1-gen-2003 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Logic-Level Mapping of High-Level Faults 1-gen-2004 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
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
Functional Verification based on the EFSM Model 1-gen-2004 Fummi, Franco; 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
An EFSM-based Approach for Functional ATPG 1-gen-2005 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
EFSM Manipulation to Increase High-Level ATPG 1-gen-2006 DI GUGLIELMO, Giuseppe; 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
FATE: a Functional ATPG to Traverse unstabilized 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
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
An Optimized CLP-based Technique for Generating Propagation Sequences 1-gen-2008 Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano
Test generation based on CLP 1-gen-2009 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Mostrati risultati da 1 a 15 di 15
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile