Sfoglia per Autore
A Fault Tolerant Incremental Design Methodology
2002-01-01 Cailotto, Stefano; Fin, Alessandro; Fummi, Franco
Modeling Network Embedded Systems with NS-2 and SystemC
2002-01-01 Drago, Nicola; Fummi, Franco; Poncino, Massimo
A 1000X Speed Up for Properties Completeness Evaluation
2002-01-01 A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto
A Genetic Testing Framework for Digital Integrated Circuits
2002-01-01 X., Yu; Fin, Alessandro; Fummi, Franco; E. M., Rudnick
Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip
2002-01-01 L., Benini; D., Bertozzi; Drago, Nicola; Fummi, Franco; Poncino, Massimo
A Combined Approach to Validate the Design of Embedded Network Devices
2002-01-01 Drago, Nicola; Fummi, Franco; Martignano, Maurizio; Martini, Stefano
Emulation-based Design Errors Identification
2002-01-01 A., Castelnuovo; Fin, Alessandro; Fummi, Franco; F., Sforza
Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications
2002-01-01 F., Ferrandi; Fummi, Franco; D., Sciuto
An Error Simulation Based Approach to Measure Error Coverage of Formal Properties
2002-01-01 Azzoni, Paolo; A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
Virtual in-circuit emulation for timing accurate system prototyping
2002-01-01 L., Benini; D., Bertozzi; Drago, Nicola; Fummi, Franco; Poncino, Massimo
On SAT-applicability to High-Level Testing
2003-01-01 E., Coltro; Fin, Alessandro; Fummi, Franco
SystemC as a Complete Design and Validation Environment
2003-01-01 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
SystemC Co-Simulation and Emulation of Multi-Processor Systems-on-Chip
2003-01-01 L., Benini; D., Bertozzi; D., Bruni; Drago, Nicola; Fummi, Franco; M., Poncino
Identification of Design Erros through Functional Testing
2003-01-01 F., Ferrandi; Fummi, Franco; Pravadelli, Graziano; D., Sciuto
Mixing ATPG and Property Checking for Testing HW/SW Interfaces
2003-01-01 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
The Confluence of Manufacturing Test and Design Validation
2003-01-01 Fummi, Franco
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture
2003-01-01 Drago, Nicola; Fummi, Franco; Poncino, Massimo; M., Monguzzi; Perbellini, Giovanni
Laerte++: an Object Oriented High-Level TPG for SystemC Designs
2003-01-01 Fin, Alessandro; Fummi, Franco
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
Redundant Functional Faults Reduction by Saboteur Synthesis
2003-01-01 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Fault Tolerant Incremental Design Methodology | 1-gen-2002 | Cailotto, Stefano; Fin, Alessandro; Fummi, Franco | |
Modeling Network Embedded Systems with NS-2 and SystemC | 1-gen-2002 | Drago, Nicola; Fummi, Franco; Poncino, Massimo | |
A 1000X Speed Up for Properties Completeness Evaluation | 1-gen-2002 | A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto | |
A Genetic Testing Framework for Digital Integrated Circuits | 1-gen-2002 | X., Yu; Fin, Alessandro; Fummi, Franco; E. M., Rudnick | |
Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip | 1-gen-2002 | L., Benini; D., Bertozzi; Drago, Nicola; Fummi, Franco; Poncino, Massimo | |
A Combined Approach to Validate the Design of Embedded Network Devices | 1-gen-2002 | Drago, Nicola; Fummi, Franco; Martignano, Maurizio; Martini, Stefano | |
Emulation-based Design Errors Identification | 1-gen-2002 | A., Castelnuovo; Fin, Alessandro; Fummi, Franco; F., Sforza | |
Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications | 1-gen-2002 | F., Ferrandi; Fummi, Franco; D., Sciuto | |
An Error Simulation Based Approach to Measure Error Coverage of Formal Properties | 1-gen-2002 | Azzoni, Paolo; A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto | |
Virtual in-circuit emulation for timing accurate system prototyping | 1-gen-2002 | L., Benini; D., Bertozzi; Drago, Nicola; Fummi, Franco; Poncino, Massimo | |
On SAT-applicability to High-Level Testing | 1-gen-2003 | E., Coltro; Fin, Alessandro; Fummi, Franco | |
SystemC as a Complete Design and Validation Environment | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano | |
SystemC Co-Simulation and Emulation of Multi-Processor Systems-on-Chip | 1-gen-2003 | L., Benini; D., Bertozzi; D., Bruni; Drago, Nicola; Fummi, Franco; M., Poncino | |
Identification of Design Erros through Functional Testing | 1-gen-2003 | F., Ferrandi; Fummi, Franco; Pravadelli, Graziano; D., Sciuto | |
Mixing ATPG and Property Checking for Testing HW/SW Interfaces | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto | |
The Confluence of Manufacturing Test and Design Validation | 1-gen-2003 | Fummi, Franco | |
Estimation of BUS Performance for a Tuplespace in an Embedded Architecture | 1-gen-2003 | Drago, Nicola; Fummi, Franco; Poncino, Massimo; M., Monguzzi; Perbellini, Giovanni | |
Laerte++: an Object Oriented High-Level TPG for SystemC Designs | 1-gen-2003 | Fin, Alessandro; Fummi, Franco | |
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 | |
Redundant Functional Faults Reduction by Saboteur Synthesis | 1-gen-2003 | Fummi, Franco; Marconcini, Cristina; 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