Skip to main content


Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

HIFSuite: Tools for HDL Code Conversion and Manipulation

  • 1666 Accesses

  • 20 Citations


HIFSuite ia a set of tools and application programming interfaces (APIs) that provide support for modeling and verification of HW/SW systems. The core of HIFSuite is the HDL Intermediate Format (HIF) language upon which a set of front-end and back-end tools have been developed to allow the conversion of HDL code into HIF code and vice versa. HIFSuite allows designers to manipulate and integrate heterogeneous components implemented by using different hardware description languages (HDLs). Moreover, HIFSuite includes tools, which rely on HIF APIs, for manipulating HIF descriptions in order to support code abstraction/refinement and postrefinement verification.

Publisher note

To access the full article, please see PDF.

Author information

Correspondence to Nicola Bombieri.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Bombieri, N., Di Guglielmo, G., Ferrari, M. et al. HIFSuite: Tools for HDL Code Conversion and Manipulation. J Embedded Systems 2010, 436328 (2010).

Download citation


  • Control Structure
  • Application Programming Interface
  • Application Programming
  • Intermediate Format
  • Electronic Circuit