Documents and Projects
Technical Documents

In this section you can find documents and information useful to better understand how the HIFSuite tools work and what was done with them.

Research Projects

Contrex  (2013 - 2016)

Design of embedded mixed-criticality control


SMAC (2011 - 2014)

Smart components and smart systems integration


Touchmore (2011 -2014)

Correct SW generation and smart systems integration


Complex (2009 - 2012)

Codesign and power management in platform-based design


Coconut (2007 - 2010)

Embedded systems design and verification


Vertigo(2005 - 2008)

HW Formal Verification

In the past years the HIFSuite development team was involved in many EU research projects. Thanks to these contributions the team expertise and knowledge grew up and with them the Tools' power and stability.

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems

Vinco, Sara; Chen, Yukai; Fummi, Franco; Macii, Enrico; Poncino, Massimo

IEEE Transactions on CAD/ICAS, 2017, pp. 1-14


Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco

IEEE Transactions on CAD/ICAS, 2017, pp. 1-14


Code Manipulation for Virtual Platform IntegrationSara Vinco, Valerio Guarnieri, Franco Fummi

IEEE Transactions on Computers, vol. 65, n. 9, 2016, pp. 2694-2708


A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications

Nicola Bombieri, Franco Fummi, Sara Vinco

ACM Transactions on Design Automation of Electronic System, vol. 20, n. 3, 2015, pp. 1-25


Model-Driven Design of Network Aspects of Distributed Embedded Systems

E. Ebeid, F. Fummi, D. Quaglia

IEEE Transactions on CAD/ICAS, vol. 34 , n. 4 , 2015 , pp. 603-614

Testbench qualification of SystemC TLM protocols through Mutation Analysis

N. Bombieri, F. Fummi, V. Guarnieri, G. Pravadelli
IEEE Transactions on Computers, pp. 1-15 vol. 63 , n. 5 , 2014 , pp. 1248-1261


HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels

N. Bombieri, F. Fummi, V. Guarnieri, F. Stefanni, S. Vinco An International Journal on Design Automation for Embedded Systems, vol. 16, n. 2, 2012, pp. 115-135


Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions

N. Bombieri, F. Fummi, G. Pravadelli
IEEE Transactions on Computers, vol. 60, n. 12, 2011, pp. 1730-1743


HIFSuite: Tools for HDL Code conversion and Manipulation

N. Bombieri, M. Ferrari, F. Fummi, G. Di Guglielmo, G. Pravadelli, F. Stefanni, A. Venturelli
EURASIP JOURNAL ON EMBEDDED SYSTEMS (PRINT), vol. 2010, n. 10.1155/2010/436328, 2010, pp. 1-20


System/Network Design Space Exploration based on TLM for Networked Embedded Systems

N. Bombieri, F. Fummi, D. Quaglia
ACM Transactions on Embedded Computing Systems, vol. 9, n. 4, 2010, pp. 37:1-37:32

Research Papers

A number of academic papers were published by the HIFSuite team

Virtual Platform Design with HIFSuite

(Whitepaper - September 2015) 

Speeding up simulations with HIFSuite

(Whitepaper - April 2015) 

HIFSuite Flyer

Complex Workflows with HIFsuite

(Fact Sheet - November 2015) 

Virtual Platform Wrappers

(Fact Sheet - November 2015) 

Testbench Canonical Form

(Fact Sheet - November 2015) 

© 2017 by EDALab 


EDALab s.r.l.

Tel/Fax: +39 045 8027062​



P.I. (VAT) : 03706250234