HIFSuite: Tools for HDL Code Conversion and Manipulation

Nicola Bombieri,Giuseppe Di Guglielmo,Michele Ferrari,Franco Fummi,Graziano Pravadelli,Francesco Stefanni,Alessandro Venturelli
DOI: https://doi.org/10.1155/2010/436328
2010-01-01
EURASIP Journal on Embedded Systems
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.
What problem does this paper attempt to address?