FUMMI, Franco

FUMMI, Franco  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 1-gen-2018 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 1-gen-2014 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
Controller and Data-Path Separation by VHDL Restructuring 1-gen-2000 D., Corvino; I., Epicoco; F., Ferrandi; Fummi, Franco; D., Sciuto
Design Domains and Abstraction Levels for Effective Smart System Simulation 1-gen-2016 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco
Functional Test Generation: Overview and Proposal of a Hybrid Genetic Approach 1-gen-2002 Ferrandi, F.; Fin, Alessandro; Fummi, Franco; Sciuto, D.
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms 1-gen-2020 Centomo, Stefano; Lora, Michele; Fummi, Franco
Hardware Design and Simulation for Verification 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs 1-gen-2004 Fin, Alessandro; Fummi, Franco
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework 1-gen-2017 Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco
Smart System Case Studies 1-gen-2016 Blanco, Ignazio; Cenni, Fabio; Carminati, Roberto; Ciccazzo, Angelo; Dalle Feste, Sandro; Fummi, Franco; Gangemi, Giuliana; Grilli, Fabio; Grosso, Michelangelo; Guarnera, Mirko; Lora, Michele; Pomarico, Anna A.; Rasconà, Gaetano; Rinaudo, Salvatore; Roselli, Giuditta
Smart Systems Design Methodologies and Tools 1-gen-2016 Bombieri, Nicola; Fummi, Franco; Gangemi, Giuliana; Grosso, Michelangelo; Macii, Enrico; Poncino, Massimo; Rinaudo, Salvatore
SystemC as a Complete Design and Validation Environment 1-gen-2003 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
SystemC Simulation of Networked Embedded Systems 1-gen-2009 Stefanni, Francesco; Quaglia, Davide; Fummi, Franco
Test generation based on CLP 1-gen-2009 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Test Generation: A Symbolic Approach 1-gen-2005 Fummi, Franco; Pravadelli, Graziano