Open Access

HIFSuite: Tools for HDL Code Conversion and Manipulation

  • Nicola Bombieri1Email author,
  • Giuseppe Di Guglielmo1,
  • Michele Ferrari1,
  • Franco Fummi1,
  • Graziano Pravadelli1,
  • Francesco Stefanni1 and
  • Alessandro Venturelli1
EURASIP Journal on Embedded Systems20102010:436328

DOI: 10.1155/2010/436328

Received: 1 December 2009

Accepted: 12 October 2010

Published: 17 October 2010

Abstract

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.

Authors’ Affiliations

(1)
ESD Group, Dipartimento di Informatica, Università di Verona

Copyright

© Nicola Bombieri et al. 2010

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.