CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 100 di 377
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
Mostrati risultati da 81 a 100 di 377
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