CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 161 a 180 di 374
Titolo Data di pubblicazione Autore(i) File
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces 1-gen-2008 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
An Energy-Aware Co-Simulation Framework for the Design of Wireless Sensor Networks 1-gen-2008 Acquaviva, Andrea; Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide
A HW/SW co-simulation framework for the verification of multi-CPU systems 1-gen-2008 Cordibella, Stefano; Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide
An Optimized CLP-based Technique for Generating Propagation Sequences 1-gen-2008 Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano
A SystemC-based framework for modeling and simulation of networked embedded systems 1-gen-2008 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Reuse and Optimization of Testbenches and Properties in a TLM-to-RTL Design Flow 1-gen-2008 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Network fault model for dependability assessment of networked embedded systems 1-gen-2008 Fummi, Franco; Quaglia, Davide; 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
The role of parallel simulation in functional verification 1-gen-2008 DI GUGLIELMO, Giuseppe; Fummi, Franco; M., Hampton; Pravadelli, Graziano; Stefanni, Francesco
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation 1-gen-2008 Bombieri, Nicola; Deganello, Nicola Giuseppe; Fummi, Franco
Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations 1-gen-2009 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
SystemC Simulation of Networked Embedded Systems 1-gen-2009 Stefanni, Francesco; Quaglia, Davide; Fummi, Franco
A SystemC-centric Approach for Simulation and Generation of WSN Applications Targeted to ZigBee 1-gen-2009 Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Vinco, Sara
Test generation based on CLP 1-gen-2009 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
The impact of EFSM composition on functional ATPG 1-gen-2009 D., Bresolin; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; Villa, Tiziano
Time-varying network fault model for the design of dependable networked embedded systems 1-gen-2009 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform 1-gen-2009 Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Saggin, Saul; Vinco, Sara
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 1-gen-2009 Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano
Functional qualification of TLM verification 1-gen-2009 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; M., Hampton; F., Letombe
The Role of Mutation Analysis for Property Qualification 1-gen-2009 Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi
Mostrati risultati da 161 a 180 di 374
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