CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 121 a 140 di 374
Titolo Data di pubblicazione Autore(i) File
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 1-gen-2005 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Coverage of Formal Properties based on a High-Level Fault Model and Functional ATPG 1-gen-2005 Fummi, Franco; Pravadelli, Graziano; F., Toto
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems 1-gen-2005 M., Borgatti; A., Capello; Fummi, Franco; J. L., Lambert; I., Moussa; Pravadelli, Graziano; U., Rossi
On the Use of a High-Level Fault Model to Analyze Logical Consequence of Properties 1-gen-2005 S., Brait; Fummi, Franco; Pravadelli, Graziano
Functional Verification of Networked Embedded Systems 1-gen-2005 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Embedded SW Design Issues for Distributed Applications on Mobile Terminals 1-gen-2005 Fummi, Franco; S., Martini; Perbellini, Giovanni; F., Ricciato; M., Turolla
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation 1-gen-2005 Fummi, Franco; Loghi, Mirko; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo
TLM/Network Design Space Exploration for Networked Embedded Systems 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide
A Methodology for Abstracting RTL Designs into TL Descriptions 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Modeling and Simulation of Mobile Gateways Interacting with Wireless Sensor Networks 1-gen-2006 Fummi, Franco; Quaglia, Davide; F., Ricciato; M., Turolla
FATE: a Functional ATPG to Traverse unstabilized EFSMs 1-gen-2006 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling 1-gen-2006 Bombieri, Nicola; A., Fedeli; Fummi, Franco
A TLM Design for Verification Methodology 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
On the Automatic Transactor Generation in TLM-based Design Flows 1-gen-2006 Bombieri, Nicola; Fummi, Franco
Improving Gate-Level ATPG by Traversing Concurrent EFSMs 1-gen-2006 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
ISS-Centric Modular HW/SW Co-Simulation 1-gen-2006 Fummi, Franco; M., Loghi; Perbellini, Giovanni; M., Poncino
EFSM Manipulation to Increase High-Level ATPG 1-gen-2006 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Incremental ABV for TL-to-RTL Design Refinement 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Hardware Design and Simulation for Verification 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Mostrati risultati da 121 a 140 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