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) 

Research Projects

Contrex  (2013 - 2016)

Design of embedded mixed-criticality control
systems

 

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.