Sfoglia per Autore
Symbad: Formal Verification in System Level-based Design
2005-01-01 Pravadelli, Graziano
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing
2005-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
2005-01-01 M., Borgatti; A., Capello; Fummi, Franco; J. L., Lambert; I., Moussa; Pravadelli, Graziano; U., Rossi
On the Use of a High-Level Fault Model to Analyze Logical Consequence of Properties
2005-01-01 S., Brait; Fummi, Franco; Pravadelli, Graziano
An EFSM-based Approach for Functional ATPG
2005-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Coverage of Formal Properties based on a High-Level Fault Model and Functional ATPG
2005-01-01 Fummi, Franco; Pravadelli, Graziano; F., Toto
Test Generation: A Symbolic Approach
2005-01-01 Fummi, Franco; Pravadelli, Graziano
Functional Verification of Networked Embedded Systems
2005-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
2005-01-01 Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen
FATE: a Functional ATPG to Traverse unstabilized EFSMs
2006-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A TLM Design for Verification Methodology
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A Methodology for Abstracting RTL Designs into TL Descriptions
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
EFSM Manipulation to Increase High-Level ATPG
2006-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Hardware Design and Simulation for Verification
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Incremental ABV for TL-to-RTL Design Refinement
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Improving Gate-Level ATPG by Traversing Concurrent EFSMs
2006-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL
2006-01-01 Bombieri, Nicola; Fummi, Franco; 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
Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows
2007-01-01 Bombieri, Nicola; A., Fedeli; Fummi, Franco; Pravadelli, Graziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Symbad: Formal Verification in System Level-based Design | 1-gen-2005 | Pravadelli, Graziano | |
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing | 1-gen-2005 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems | 1-gen-2005 | M., Borgatti; A., Capello; Fummi, Franco; J. L., Lambert; I., Moussa; Pravadelli, Graziano; U., Rossi | |
On the Use of a High-Level Fault Model to Analyze Logical Consequence of Properties | 1-gen-2005 | S., Brait; Fummi, Franco; Pravadelli, Graziano | |
An EFSM-based Approach for Functional ATPG | 1-gen-2005 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
Coverage of Formal Properties based on a High-Level Fault Model and Functional ATPG | 1-gen-2005 | Fummi, Franco; Pravadelli, Graziano; F., Toto | |
Test Generation: A Symbolic Approach | 1-gen-2005 | Fummi, Franco; Pravadelli, Graziano | |
Functional Verification of Networked Embedded Systems | 1-gen-2005 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey | 1-gen-2005 | Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen | |
FATE: a Functional ATPG to Traverse unstabilized EFSMs | 1-gen-2006 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
A TLM Design for Verification Methodology | 1-gen-2006 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
A Methodology for Abstracting RTL Designs into TL Descriptions | 1-gen-2006 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
EFSM Manipulation to Increase High-Level ATPG | 1-gen-2006 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
Hardware Design and Simulation for Verification | 1-gen-2006 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
Incremental ABV for TL-to-RTL Design Refinement | 1-gen-2006 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
Improving Gate-Level ATPG by Traversing Concurrent EFSMs | 1-gen-2006 | DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL | 1-gen-2006 | Bombieri, Nicola; Fummi, Franco; 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 | |
Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows | 1-gen-2007 | Bombieri, Nicola; A., Fedeli; 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