Sfoglia per Autore
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing
2005-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
EFSM Manipulation to Increase High-Level ATPG
2006-01-01 DI GUGLIELMO, Giuseppe; 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
On the Combined Use of HLDDs and EFSMs for Functional ATPG
2007-01-01 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
2007-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the validation of embedded systems through functional ATPG
2008-01-01 DI GUGLIELMO, Giuseppe
The role of parallel simulation in functional verification
2008-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; M., Hampton; Pravadelli, Graziano; Stefanni, Francesco
Automatic generation of EFSMs and HLDDs for functional ATPG
2008-01-01 A., Chepurov; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; J., Raik; R., Ubar; T., Viilukas
Test generation based on CLP
2009-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the validation of embedded systems through functional ATPG
2009-01-01 DI GUGLIELMO, Giuseppe
The impact of EFSM composition on functional ATPG
2009-01-01 D., Bresolin; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; Villa, Tiziano
HIFSuite: Tools for HDL Code Conversion and Manipulation
2010-01-01 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
2010-01-01 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
2010-01-01 Hantson, H.; Raik, J.; Jenihhin, M.; Chepurov, A.; Ubar, R.; DI GUGLIELMO, Giuseppe; Fummi, Franco
Effective EFSM generation for HW/SW-design verification
2010-01-01 Bertasi, M.; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
Semi-Formal Functional Verification by EFSM traversing via NuSMV
2010-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; Soffia, S.; Roveri, M.
RTOS-aware refinement for TLM2.0-based HW/SW designs
2010-01-01 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
2011-01-01 DI GUGLIELMO, Giuseppe; Fujita, Masahiro; Fummi, Franco; Pravadelli, Graziano; Soffia, Stefano
IPA: Assertion-based verification in embedded-software design
2011-01-01 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
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 |
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