CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 141 a 160 di 374
Titolo Data di pubblicazione Autore(i) File
Automatic Transactor Generation in TLM by Exploiting EFSMs 1-gen-2007 Bombieri, Nicola; Fummi, Franco
Progettazione Digitale 1-gen-2007 Fummi, Franco; M., Sami; C., Silvano
Incremental ABV for Functional Validation of TL-to-RTL Design Refinement 1-gen-2007 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications 1-gen-2007 Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Vinco, Sara
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
eEPC: an EPCglobal-compliant Embedded Architecture for RFID-based Solutions 1-gen-2007 Fummi, Franco; Perbellini, Giovanni
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
Towards Equivalence Checking Between TLM and RTL Models 1-gen-2007 Bombieri, Nicola; Fummi, Franco; J. P., Marques Silva; Pravadelli, Graziano
A Smooth Refinement Flow for Co-designing HW and SW Threads 1-gen-2007 Destro, Paolo; Fummi, Franco; Pravadelli, Graziano
Properties Incompleteness Evaluation by Functional Verification 1-gen-2007 A., Fedeli; Fummi, Franco; 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
Modeling and Simulation Alternatives for the Design of Networked Embedded Systems 1-gen-2007 E., Alessio; Fummi, Franco; Quaglia, Davide; M., Turolla
A Middleware-Centric Design Flow for Networked Embedded Systems 1-gen-2007 Fummi, Franco; Perbellini, Giovanni; Pietrangeli, Roberto; Quaglia, Davide
A CLP-based Functional ATPG for Extended FSMs 1-gen-2007 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
Too Few or too Many Properties? Measure it by ATPG! 1-gen-2007 Fummi, Franco; Pravadelli, Graziano
Embedded Design Exploration of EPCglobal Architecture 1-gen-2007 Fummi, Franco; Perbellini, Giovanni
Co-Simulation Framework for the ANGEL Platform 1-gen-2007 A., Bragagnini; Fummi, Franco; A., Huebner; Perbellini, Giovanni; Quaglia, Davide
SystemC co-simulation for core-based embedded systems 1-gen-2007 Fummi, Franco; M., Loghi; Perbellini, Giovanni; M., Poncino
RTL-TLM Equivalence Checking Based on Simulation 1-gen-2008 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Vacuity Analysis by Fault Simulation 1-gen-2008 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Mostrati risultati da 141 a 160 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