Franco Fummi

Available identifiers

zbMath Open fummi.francoMaRDI QIDQ2985281

List of research outcomes

Publication	Date of Publication	Type
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems	2020-10-02	Paper
Translation, Abstraction and Integration for Effective Smart System Design	2020-01-28	Paper
Network Synthesis for Distributed Embedded Systems	2018-09-20	Paper
A hierarchical test generation approach for large controllers	2018-07-09	Paper
Properties Incompleteness Evaluation by Functional Verification	2018-06-12	Paper
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions	2017-07-27	Paper
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration	2017-07-12	Paper
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis	2017-06-20	Paper
Code Manipulation for Virtual Platform Integration	2017-05-16	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
A complete testing strategy based on interacting and hierarchical FSMs	1998-08-13	Paper
FsmTest: Functional test generation for sequential circuits	1997-02-27	Paper

Research outcomes over time

This page was built for person: Franco Fummi