Verilog Code Generation Scheme from Signal Language

被引:0
作者
Amjad, Hafiz Muhammad [1 ]
Niu, Jianwei [1 ]
Hu, Kai [1 ]
Akram, Naveed [1 ]
Besnard, Loic [2 ]
机构
[1] Beihang Univ, Sch Comp Sci & Engn, Beijing, Peoples R China
[2] Univ Rennes, CNRS, IRISA, Campus Beaulieu, Rennes, France
来源
PROCEEDINGS OF 2019 16TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST) | 2019年
关键词
Embedded systems; safety-critical; Verilog; HDL; Signal language; code generation; PROGRAMMING LANGUAGE; DESIGN;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Signal is a high-level declarative data flow language and has been successfully used for the design and implementation of reactive safety-critical embedded systems. The verified automatic code can be generated for various languages (C, C++, and Java) from the open source Signal framework (Polychrony Toolset). However, open source tool for automatic code generation from Signal language to Hardware Description Languages (HDLs) is not available. In this paper, we present a methodology of code generation from Signal language to Verilog. Verilog code is generated from the transformed Signal program based on guard's hierarchy and their associated sub-graph. Hardware structure is by default concurrent in nature; therefore, it is well-suited to generate code from Signal to HDL. It will provide more options for the designer when some part or complete application is required to be implemented in hardware.
引用
收藏
页码:457 / 462
页数:6
相关论文
共 17 条
[1]  
AMAGBEGNON P, 1995, SIGPLAN NOTICES, V30, P163, DOI 10.1145/223428.207134
[2]  
BELHADJ M, 1994, INTERNATIONAL CONFERENCE ON SIMULATION AND HARDWARE DESCRIPTION LANGUAGES (ICSHDL), P76
[3]  
Belhadj M., 1994, 3 ANN ATL TEST WORKS
[4]   THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS [J].
BENVENISTE, A ;
BERRY, G .
PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1270-1282
[5]  
Benveniste A., 1987, 685 INR
[6]   THE ESTEREL SYNCHRONOUS PROGRAMMING LANGUAGE - DESIGN, SEMANTICS, IMPLEMENTATION [J].
BERRY, G ;
GONTHIER, G .
SCIENCE OF COMPUTER PROGRAMMING, 1992, 19 (02) :87-152
[7]  
Besnard L., 2015, SIGNAL V4 INRIA VERS
[8]   THE SYNCHRONOUS DATA FLOW PROGRAMMING LANGUAGE LUSTER [J].
HALBWACHS, N ;
CASPI, P ;
RAYMOND, P ;
PILAUD, D .
PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1305-1320
[9]   Multi-threaded code generation from Signal program to OpenMP [J].
Hu, Kai ;
Zhang, Teng ;
Yang, Zhibin .
FRONTIERS OF COMPUTER SCIENCE, 2013, 7 (05) :617-626
[10]   Hierarchical conditional dependency graphs as a unifying design representation in the CODESIS high-level synthesis system [J].
Kountouris, AA ;
Wolinski, C .
13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, :66-71