FUMMI, Franco

FUMMI, Franco  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A Co-Simulation Methodology for HW/SW Validation and Performance Estimation 1-gen-2009 Fummi, Franco; Loghi, M.; Poncino, M.; Pravadelli, Graziano
A Complete Testing Strategy Based on Interacting and Hierarchical FSMs 1-gen-1997 Fummi, Franco; D., Sciuto
A Hierarchical Approach to Test Generation for Large Controllers 1-gen-2000 Fummi, Franco; Sciuto, D.
A Remote Methodology for Embedded Systems Design and Validation 1-gen-2003 Fin, Alessandro; Fummi, Franco
An Extended UIO-Based Method for Protocol Conformance Testing 1-gen-2000 G., Buonanno; Fummi, Franco; D., Sciuto
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms 1-gen-2018 Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems 1-gen-2020 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco
Automatic Generation of Error Control Codes for Computer Applications 1-gen-1998 Fummi, Franco; Sciuto, D.; Silvano, C.
Behavioral Test Generation for the Selection of BIST Logic 1-gen-2002 G., Biasoli; F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto
Code Manipulation for Virtual Platform Integration 1-gen-2016 Vinco, Sara; Guarnieri, Valerio; Fummi, Franco
Compositional Design of Multi-Robot Systems Control Software on ROS 1-gen-2019 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
Conference Reports: Recap of DATE 2019 in Florence, Italy 1-gen-2019 Teich, Jurgen; Fummi, Franco
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 1-gen-2019 Vinco, Sara; Bombieri, Nicola; Pagliari, Daniele Jahier; Fummi, Franco; Macii, Enrico; Poncino, Massimo
eEPC: an EPCglobal-compliant Embedded Architecture for RFID-based Solutions 1-gen-2007 Fummi, Franco; Perbellini, Giovanni
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 1-gen-2011 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
FsmTest: Functional Test Generator for Sequential Circuits 1-gen-1996 G., Buonanno; Fummi, Franco; D., Sciuto; F., Lombardi
Functional Design for Testability of Control-Dominated Architectures 1-gen-1997 Fummi, Franco; U., Rovati; D., Sciuto
Functional Fault Models and Gate Level Coverage for Sequential Architectures 1-gen-1996 G., Buonanno; Fummi, Franco; D., Sciuto