Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 31
Titolo Data di pubblicazione Autore(i) File
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 1-gen-2005 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
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
On the Combined Use of HLDDs and EFSMs for Functional ATPG 1-gen-2007 DI GUGLIELMO, Giuseppe; Fummi, Franco; M., Jenihhin; Pravadelli, Graziano; J., Raik; R., Ubar
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
On the validation of embedded systems through functional ATPG 1-gen-2008 DI GUGLIELMO, Giuseppe
The role of parallel simulation in functional verification 1-gen-2008 DI GUGLIELMO, Giuseppe; Fummi, Franco; M., Hampton; Pravadelli, Graziano; Stefanni, Francesco
Automatic generation of EFSMs and HLDDs for functional ATPG 1-gen-2008 A., Chepurov; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; J., Raik; R., Ubar; T., Viilukas
Test generation based on CLP 1-gen-2009 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the validation of embedded systems through functional ATPG 1-gen-2009 DI GUGLIELMO, Giuseppe
The impact of EFSM composition on functional ATPG 1-gen-2009 D., Bresolin; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; Villa, Tiziano
HIFSuite: Tools for HDL Code Conversion and Manipulation 1-gen-2010 Bombieri, Nicola; DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; M., Ferrari; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; A., Venturelli
HIFSuite: Tools for HDL Code Conversion and Manipulation 1-gen-2010 Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A.
Mutation analysis with high-level decision diagrams 1-gen-2010 Hantson, H.; Raik, J.; Jenihhin, M.; Chepurov, A.; Ubar, R.; DI GUGLIELMO, Giuseppe; Fummi, Franco
Effective EFSM generation for HW/SW-design verification 1-gen-2010 Bertasi, M.; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
Semi-Formal Functional Verification by EFSM traversing via NuSMV 1-gen-2010 DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; Soffia, S.; Roveri, M.
RTOS-aware refinement for TLM2.0-based HW/SW designs 1-gen-2010 Becker, M.; DI GUGLIELMO, Giuseppe; Fummi, Franco; Mueller, W.; Pravadelli, Graziano; Xie, T.
EFSM-based model-driven approach to concolic testing of system-level design 1-gen-2011 DI GUGLIELMO, Giuseppe; Fujita, Masahiro; Fummi, Franco; Pravadelli, Graziano; Soffia, Stefano
IPA: Assertion-based verification in embedded-software design 1-gen-2011 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Mostrati risultati da 1 a 20 di 31
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