HIFSuite: Tools for HDL code conversion and manipulation

Author

Bombieri, Nicola ; Di Guglielmo, Giuseppe ; Di Guglielmo, Luigi ; Ferrari, Michele ; Fummi, Franco ; Pravadelli, Graziano ; Stefanni, Francesco ; Venturelli, Alessandro

Author_Institution

Dept. of Comput. Sci., Univ. of Verona, Verona, Italy

fYear

2010

fDate

10-12 June 2010

Firstpage

40

Lastpage

41

Abstract

HIFSuite is 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 post-refinement verification.

Keywords

application program interfaces; formal verification; hardware description languages; hardware-software codesign; software tools; HDL code conversion; HDL intermediate format; HIF API; HIF descriptions; HIF language; HIFSuite; HW/SW systems; application programming interfaces; back-end tools; code abstraction; code manipulation; code refinement; front-end tools; hardware description languages; heterogeneous components; post-refinement verification; Application software; Computer science; Design engineering; Design methodology; Electrostatic discharge; Embedded system; Genetic mutations; Hardware design languages; Manuals; Pattern analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

High Level Design Validation and Test Workshop (HLDVT), 2010 IEEE International

Conference_Location

Anaheim, FL

ISSN

1552-6674

Print_ISBN

978-1-4244-7805-7

Type

conf

DOI

10.1109/HLDVT.2010.5496665

Filename

5496665