SynDFG: Synthetic Dataflow Graph Generator for High-level Synthesis

被引:0
作者
Sinha, Sharad [1 ]
Zhang, Wei [1 ]
机构
[1] Hong Kong Univ Sci & Technol, Kowloon, Hong Kong, Peoples R China
来源
PROCEEDINGS OF THE SIXTH ASIA SYMPOSIUM ON QUALITY ELECTRONIC DESIGN ASQED 2015 | 2015年
关键词
High-level synthesis; FPGA; synthetic dataflow graph;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Dataflow graphs obtained from benchmark applications depend on the compiler used and its settings. This makes comparison of results in high level synthesis research using such dataflow graphs difficult. Therefore, a synthetic dataflow graph generator for generating dataflow graphs of any size from a few tens of nodes to thousands of nodes for research in high level synthesis is presented. The user has the flexibility to specify number of nodes and set node attributes like node type (operation type), in-degree and the maximum and the minimum parallelism in each control step. The generated dataflow graphs can be used for research in scheduling, allocation and hardware binding. Sharing of input parameters among researchers will allow generation of identical synthetic graphs on identical platforms thus facilitating easier and more meaningful comparison of results. The concept of "Biased Dataflow Graphs (BDFG)" is introduced where operations of certain types are large in number. These provide the required granularity in operations, exploitation of inherent parallelism and option to explore the area space in modern FPGAs consisting of LUTs, BRAMs and DSP slices. The generated graphs overcome these limitations in the two existing methods: Task Graphs for Free (TGFF) and Synchronous Dataflow Graphs for Free (SDF3).
引用
收藏
页码:50 / 55
页数:6
相关论文
共 50 条
[31]   Translation Validation of High-Level Synthesis [J].
Kundu, Sudipta ;
Lerner, Sorin ;
Gupta, Rajesh K. .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (04) :566-579
[32]   High-level test synthesis: a survey [J].
Ghosh, I ;
Jha, NK .
INTEGRATION-THE VLSI JOURNAL, 1998, 26 (1-2) :79-99
[33]   Formal Verification of High-Level Synthesis [J].
Herklotz, Yann ;
Pollard, James D. ;
Ramanathan, Nadesh ;
Wickerson, John .
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA)
[34]   A Survey of Verification for High-level Synthesis [J].
Hu J. ;
Hu Y. ;
Wang G. ;
Chen G. ;
Yang H. ;
Kang Y. ;
Wang K. ;
Li S. .
1600, Institute of Computing Technology (33) :287-297
[35]   High-level synthesis by ants on a tree [J].
Keinprasit, R ;
Chongstitvatana, P .
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2003, E86A (10) :2659-2669
[36]   High-level Synthesis Integrated Verification [J].
Dossis, Michael F. .
ENGINEERING TECHNOLOGY & APPLIED SCIENCE RESEARCH, 2015, 5 (05) :864-870
[37]   High-level Synthesizable Dataflow MapReduce Accelerator for FPGA-coupled Data Centers [J].
Diamantopoulos, Dionysios ;
Kachris, Christoforos .
PROCEEDINGS INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS - ARCHITECTURES, MODELING AND SIMULATION (SAMOS XV), 2015, :26-33
[38]   High-level dataflow programming for real-time image processing on smart cameras [J].
Serot, Jocelyn ;
Berry, Francois ;
Bourrasset, Cedric .
JOURNAL OF REAL-TIME IMAGE PROCESSING, 2016, 12 (04) :635-647
[39]   Power management in high-level synthesis [J].
Lakshminarayana, G ;
Raghunathan, A ;
Jha, NK ;
Dey, S .
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 1999, 7 (01) :7-15
[40]   Lessons and Experiences with High-Level Synthesis [J].
Sarkar, Soujanna ;
Dabral, Shashank ;
Mitra, Raj S. ;
Tiwari, Praveen K. .
IEEE DESIGN & TEST OF COMPUTERS, 2009, 26 (04) :34-45