FUMMI, Franco

FUMMI, Franco  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 246 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
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
A CLP-based Functional ATPG for Extended FSMs 1-gen-2007 Fummi, Franco; I. G., Harris; Marconcini, Cristina; Pravadelli, Graziano
A Combined Approach to Validate the Design of Embedded Network Devices 1-gen-2002 Drago, Nicola; Fummi, Franco; Martignano, Maurizio; Martini, Stefano
A Fault Tolerant Incremental Design Methodology 1-gen-2002 Cailotto, Stefano; Fin, Alessandro; Fummi, Franco
A Genetic Testing Framework for Digital Integrated Circuits 1-gen-2002 X., Yu; Fin, Alessandro; Fummi, Franco; E. M., Rudnick
A Protected IP-Core Test Generation 1-gen-2002 Fin, Alessandro; Fummi, Franco
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 1-gen-2005 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
A Smooth Refinement Flow for Co-designing HW and SW Threads 1-gen-2007 Destro, Paolo; Fummi, Franco; Pravadelli, Graziano
A SystemC-based Framework for Properties Incompleteness Evaluation 1-gen-2003 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; 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 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
A VHDL Error Simulator for Functional Test Generation 1-gen-2000 Fin, Alessandro; Fummi, Franco
A WEB-CAD Methodology for IP-Core Analysis and Simulation 1-gen-2000 Fin, Alessandro; Fummi, Franco
Abstraction of RTL IPs into Embedded Software 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software 1-gen-2012 Simone, Bronuzzi; DI GUGLIELMO, Giuseppe; 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
AMLETO: A Multi-language Environment for Functional Test Generation 1-gen-2001 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
An Application of Genetic Algorithms and BDDs to Functional Testing 1-gen-2000 F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto
An EFSM-based Approach for Functional ATPG 1-gen-2005 Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano