Automatic software synthesis of dataflow program: An MPEG-4 simple profile decoder case study
作者： Ghislain Roquier , Matthieu Wipliez , Mickael Raulet , Jorn W. Janneck , Ian D. Miller
DOI: 10.1109/SIPS.2008.4671776
关键词: Hardware description language 、 MPEG-4 、 Code generation 、 Programming language 、 SystemC 、 CAL Actor Language 、 Software 、 Data-flow analysis 、 Computer science 、 Dataflow
摘要: The MPEG reconfigurable video coding (RVC) framework is a new standard under development by that aims at providing unified high-level specification of current technologies. In this framework, decoder built as configuration modules taken from the ldquoMPEG toolbox libraryrdquo. elements library are specified textual description expresses I/O behavior each module and reference software written using CAL Actor Language. A in an XML dialect connecting set modules. Code generators fundamental supports enable direct transformation high level to efficient hardware implementations. This paper presents synthesis tool dataflow program generates C code associated SystemC model. Experimental results RVC Expertpsilas MPEG-4 simple profile reported. generated model validated against original which simulated open environment.
archives-ouvertes.fr
sci-hub.se 参考文章(8)
George C. Necula, Scott McPeak, Shree P. Rahul, Westley Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs compiler construction. pp. 213- 228 ,(2002) , 10.1007/3-540-45937-5_16
E.A. Lee, T.M. Parks, Dataflow process networks Proceedings of the IEEE. ,vol. 83, pp. 59- 85 ,(1995) , 10.1109/5.381846
Mickael Raulet, Jorn W. Janneck, Ian D. Miller, David B. Parlour, Ghislain Roquier, Matthieu Wipliez, Synthesizing hardware from dataflow programs: An MPEG-4 simple profile decoder case study signal processing systems. ,vol. 63, pp. 287- 292 ,(2008) , 10.1109/SIPS.2008.4671777
Christophe Lucarz, Marco Mattavelli, Joseph Thomas-Kerr, Jorn Janneck, Reconfigurable Media Coding: A New Specification Model for Multimedia Coders signal processing systems. pp. 481- 486 ,(2007) , 10.1109/SIPS.2007.4387595
C. Loeffler, A. Ligtenberg, G.S. Moschytz, Practical fast 1-D DCT algorithms with 11 multiplications international conference on acoustics, speech, and signal processing. pp. 988- 991 ,(1989) , 10.1109/ICASSP.1989.266596
Luis Damas, Robin Milner, Principal type-schemes for functional programs Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. pp. 207- 212 ,(1982) , 10.1145/582153.582176
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee, Synthesis of Embedded Software from Synchronous Dataflow Specifications signal processing systems. ,vol. 21, pp. 151- 166 ,(1999) , 10.1023/A:1008052406396
D. G. Messerschmitt, E. A. Lee, Static scheduling of synchronous data flow programs for digital signal processing Tutorial: hard real-time systems. pp. 237- 248 ,(1989)