FUMMI, Franco
FUMMI, Franco
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces
2018-01-01 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2014-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
Controller and Data-Path Separation by VHDL Restructuring
2000-01-01 D., Corvino; I., Epicoco; F., Ferrandi; Fummi, Franco; D., Sciuto
Design Domains and Abstraction Levels for Effective Smart System Simulation
2016-01-01 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco
Functional Test Generation: Overview and Proposal of a Hybrid Genetic Approach
2002-01-01 Ferrandi, F.; Fin, Alessandro; Fummi, Franco; Sciuto, D.
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms
2020-01-01 Centomo, Stefano; Lora, Michele; Fummi, Franco
Hardware Design and Simulation for Verification
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs
2004-01-01 Fin, Alessandro; Fummi, Franco
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework
2017-01-01 Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco
Smart System Case Studies
2016-01-01 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
2016-01-01 Bombieri, Nicola; Fummi, Franco; Gangemi, Giuliana; Grosso, Michelangelo; Macii, Enrico; Poncino, Massimo; Rinaudo, Salvatore
SystemC as a Complete Design and Validation Environment
2003-01-01 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
SystemC Simulation of Networked Embedded Systems
2009-01-01 Stefanni, Francesco; Quaglia, Davide; Fummi, Franco
Test generation based on CLP
2009-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
Test Generation: A Symbolic Approach
2005-01-01 Fummi, Franco; Pravadelli, Graziano
| 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 |