CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 101 a 120 di 374
Titolo Data di pubblicazione Autore(i) File
On the Use of a High-level Fault Model to Check Properties Incompleteness 1-gen-2003 A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
Redundant Functional Faults Reduction by Saboteur Synthesis 1-gen-2003 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
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
A SystemC-based Framework for Properties Incompleteness Evaluation 1-gen-2003 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures 1-gen-2004 Fummi, Franco; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo
A Verification Methodology for Reconfigurable Systems 1-gen-2004 M., Borgatti; A., Fedeli; Fummi, Franco; J. L., Lambert; Marconcini, Cristina; I., Moussa; Pravadelli, Graziano; U., Rossi
Functional Verification based on the EFSM Model 1-gen-2004 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Functional Fault Coverage: the Chamber of Secrets or an Accurate Estimation of Gate-Level Coverage? 1-gen-2004 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Logic-Level Analysis of High-Level Faults 1-gen-2004 Fummi, Franco; Pravadelli, Graziano
At-Speed Functional Verification of Programmable Devices 1-gen-2004 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Logic-Level Mapping of High-Level Faults 1-gen-2004 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC 1-gen-2004 L., Formaggio; Fummi, Franco; Pravadelli, Graziano
Modeling and Analysis of Heterogeneous Industrial Networks Architectures 1-gen-2004 Fummi, Franco; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs 1-gen-2004 Fin, Alessandro; Fummi, Franco
Heterogeneous Co-Simulation of Networked Embedded Systems 1-gen-2004 Fummi, Franco; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo; F., Ricciato; M., Turolla
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC 1-gen-2004 Fummi, Franco; Martini, Stefano; Perbellini, Giovanni; Poncino, Massimo
Symbad: Formal Verification in System Level-based Design (Extended Version) 1-gen-2005 A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi
An EFSM-based Approach for Functional ATPG 1-gen-2005 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the Property-based Verification in SoC Design Flow Founded on Transaction Level Modeling 1-gen-2005 Bombieri, Nicola; A., Fedeli; Fummi, Franco
Functional Verification of Networked Embedded Systems 1-gen-2005 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Mostrati risultati da 101 a 120 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