Sfoglia per Autore
On the Use of a High-level Fault Model to Check Properties Incompleteness
2003-01-01 A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
Redundant Functional Faults Reduction by Saboteur Synthesis
2003-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems
2003-01-01 Fummi, Franco; P., Gallo; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo; F., Ricciato
A SystemC-based Framework for Properties Incompleteness Evaluation
2003-01-01 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures
2004-01-01 Fummi, Franco; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo
A Verification Methodology for Reconfigurable Systems
2004-01-01 M., Borgatti; A., Fedeli; Fummi, Franco; J. L., Lambert; Marconcini, Cristina; I., Moussa; Pravadelli, Graziano; U., Rossi
Functional Verification based on the EFSM Model
2004-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage?
2004-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Logic-Level Analysis of High-Level Faults
2004-01-01 Fummi, Franco; Pravadelli, Graziano
At-Speed Functional Verification of Programmable Devices
2004-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Logic-Level Mapping of High-Level Faults
2004-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC
2004-01-01 L., Formaggio; Fummi, Franco; Pravadelli, Graziano
Modeling and Analysis of Heterogeneous Industrial Networks Architectures
2004-01-01 Fummi, Franco; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs
2004-01-01 Fin, Alessandro; Fummi, Franco
Heterogeneous Co-Simulation of Networked Embedded Systems
2004-01-01 Fummi, Franco; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo; F., Ricciato; M., Turolla
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC
2004-01-01 Fummi, Franco; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo
Symbad: Formal Verification in System Level-based Design (Extended Version)
2005-01-01 A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi
An EFSM-based Approach for Functional ATPG
2005-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the Property-based Verification in SoC Design Flow Founded on Transaction Level Modeling
2005-01-01 Bombieri, Nicola; A., Fedeli; Fummi, Franco
Functional Verification of Networked Embedded Systems
2005-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the Use of a High-level Fault Model to Check Properties Incompleteness | 1-gen-2003 | A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto | |
Redundant Functional Faults Reduction by Saboteur Synthesis | 1-gen-2003 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
A Timing-Accurate Modeling and Simulation Environment for Networked Embedded Systems | 1-gen-2003 | Fummi, Franco; P., Gallo; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo; F., Ricciato | |
A SystemC-based Framework for Properties Incompleteness Evaluation | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano | |
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures | 1-gen-2004 | Fummi, Franco; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo | |
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 | |
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? | 1-gen-2004 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
Logic-Level Analysis of High-Level Faults | 1-gen-2004 | Fummi, Franco; Pravadelli, Graziano | |
At-Speed Functional Verification of Programmable Devices | 1-gen-2004 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano | |
Logic-Level Mapping of High-Level Faults | 1-gen-2004 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC | 1-gen-2004 | L., Formaggio; Fummi, Franco; Pravadelli, Graziano | |
Modeling and Analysis of Heterogeneous Industrial Networks Architectures | 1-gen-2004 | Fummi, Franco; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo | |
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs | 1-gen-2004 | Fin, Alessandro; Fummi, Franco | |
Heterogeneous Co-Simulation of Networked Embedded Systems | 1-gen-2004 | Fummi, Franco; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo; F., Ricciato; M., Turolla | |
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC | 1-gen-2004 | Fummi, Franco; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo | |
Symbad: Formal Verification in System Level-based Design (Extended Version) | 1-gen-2005 | A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi | |
An EFSM-based Approach for Functional ATPG | 1-gen-2005 | Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano | |
On the Property-based Verification in SoC Design Flow Founded on Transaction Level Modeling | 1-gen-2005 | Bombieri, Nicola; A., Fedeli; Fummi, Franco | |
Functional Verification of Networked Embedded Systems | 1-gen-2005 | Bombieri, Nicola; 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