Resources
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
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.
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)