CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 162
Titolo Data di pubblicazione Autore(i) File
On the Reuse of VHDL Modules into SystemC Design 1-gen-2001 N., Agliada; Fin, Alessandro; Fummi, Franco; Martignano, Maurizio; Pravadelli, Graziano
AMLETO: A Multi-language Environment for Functional Test Generation 1-gen-2001 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
On the Use of a Fault Model to Validate the Completeness of a Set of Properties 1-gen-2002 A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
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
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
Laboratorio di Linux 1-gen-2003 Botturi, Debora; Fontana, Federico; Pravadelli, Graziano
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
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
SystemC as a Complete Design and Validation Environment 1-gen-2003 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
A SystemC-based Framework for Properties Incompleteness Evaluation 1-gen-2003 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
Redundant Functional Faults Reduction by Saboteur Synthesis 1-gen-2003 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Logic-Level Analysis of High-Level Faults 1-gen-2004 Fummi, Franco; Pravadelli, Graziano
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
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
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
Symbad: Formal Verification in System Level-based Design (Extended Version) 1-gen-2005 A., Fedeli; Fummi, Franco; Pravadelli, Graziano; U., Rossi
Mostrati risultati da 1 a 20 di 162
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