tailieunhanh - báo cáo hóa học:" Research Article HIFSuite: Tools for HDL Code Conversion and Manipulation"

Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article HIFSuite: Tools for HDL Code Conversion and Manipulation | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2010 Article ID 436328 20 pages doi 2010 436328 Research Article HIFSuite Tools for HDL Code Conversion and Manipulation Nicola Bombieri Giuseppe Di Guglielmo Michele Ferrari Franco Fummi Graziano Pravadelli Francesco Stefanni and Alessandro Venturelli ESD Group Dipartimento di Informatica Universita di Verona Strada Le Grazie 15 37134 Verona Italy Correspondence should be addressed to Nicola Bombieri Received 1 December 2009 Accepted 12 October 2010 Academic Editor Chun Jason Xue Copyright 2010 Nicola Bombieri et al. 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. 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. 1. Introduction The rapid development of modern embedded systems requires the use of flexible tools that allow designers and verification engineers to efficiently and automatically manipulate HDL descriptions throughout the design and verification steps. From the modeling point of view nowadays it is common practice to define new systems by reusing previously developed components that can be possibly modeled at different abstraction levels such as transaction-level modeling TLM and .