PlumX Metrics
Embed PlumX Metrics

HIFSuite: Tools for HDL code conversion and manipulation

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT, ISSN: 1552-6674, Page: 40-41
2010
  • 10
    Citations
  • 0
    Usage
  • 9
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

  • Citations
    10
    • Citation Indexes
      10
  • Captures
    9

Conference Paper Description

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 post-refinement verification. ©2010 IEEE.

Bibliographic Details

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

Institute of Electrical and Electronics Engineers (IEEE)

Computer Science; Mathematics

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know