Access the full text.
Sign up today, get DeepDyve free for 14 days.
Pramod Chandraiah, R. Dömer (2008)
Code and Data Structure Partitioning for Parallel and Flexible MPSoC Specification Using Designer-Controlled RecodingIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27
Pramod Chandraiah, R. Dömer (2007)
Pointer re-coding for creating definitive MPSoC models2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
M. Hind (2001)
Pointer analysis: haven't we solved this problem yet?
F. Schirrmeister, A. Sangiovanni-Vincentelli (2001)
Virtual component co-design-applying function architecture co-design to automotive applicationsIVEC2001. Proceedings of the IEEE International Vehicle Electronics Conference 2001. IVEC 2001 (Cat. No.01EX522)
A. Pimentel, L. Hertzberger, P. Lieverse, P. Wolf, E. Deprettere (2001)
Exploring Embedded-Systems Architectures with ArtemisComputer, 34
F. Ghenassia (2005)
Transaction Level Modeling with SystemC
S. Gupta, Rajesh Gupta, N. Dutt, A. Nicolau (2004)
Coordinated parallelizing compiler optimizations and high-level synthesisACM Trans. Design Autom. Electr. Syst., 9
Johnnie Birch, Robert Engelen, K. Gallivan, Yixin Shou (2006)
An empirical evaluation of chains of recurrences for array dependence testing2006 International Conference on Parallel Architectures and Compilation Techniques (PACT)
A. Jerraya, H. Tenhunen, W. Wolf (2005)
Guest Editors' Introduction: Multiprocessor Systems-on-ChipsComputer, 38
R. Dömer, D. Gajski, Jianwen Zhu (1998)
Specification and Design of Embedded Systems, 40
F. Ghenassia (2010)
Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems
Cadence Design Systems, Inc. 2008. C-to-silicon compiler
Matthew Guthaus, J. Ringenberg, Dan Ernst, T. Austin, T. Mudge, Richard Brown (2001)
MiBench: A free, commercially representative embedded benchmark suiteProceedings of the Fourth Annual IEEE International Workshop on Workload Characterization. WWC-4 (Cat. No.01EX538)
Ganesan Ramalingam (1994)
The undecidability of aliasingACM Trans. Program. Lang. Syst., 16
R. Dömer, A. Gerstlauer, J. Peng, Dongwan Shin, Lukai Cai, Haobo Yu, S. Abdi, D. Gajski (2008)
System-on-Chip Environment: A SpecC-Based Framework for Heterogeneous MPSoC DesignEURASIP Journal on Embedded Systems, 2008
L. Semeria, G. Micheli (1998)
SpC: synthesis of pointers in C application of pointer analysis to the behavioral synthesis from C1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)
J. Cockx, K. Denolf, B. Vanhoof, Richard Stahl (2007)
SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential CodeEURASIP Journal on Advances in Signal Processing, 2007
W. Cesário, D. Lyonnard, G. Nicolescu, Y. Paviot, S. Yoo, A. Jerraya, L. Gauthier, M. Diaz-Nava (2002)
Multiprocessor SoC platforms: a component-based design approachIEEE Design & Test of Computers, 19
C. Haubelt, T. Schlichter, J. Keinert, M. Meredith (2008)
SystemCoDesigner: Automatic design space exploration and rapid prototyping from behavioral models2008 45th ACM/IEEE Design Automation Conference
MAD (MPEG Audio Decoder) fix point mp3 algorithm implementation. http://sourceforge.net/projects/mad
Pramod Chandraiah, R. Dömer (2007)
An Interactive Model Re-Coder for Efficient SoC Specification
Robert Wilson, M. Lam (1995)
Efficient context-sensitive pointer analysis for C programs
(2000)
SpecC: Specification Language and Design Methodology
Pramod Chandraiah, R. Dömer (2008)
Assessment of Productivity Gains Achieved through Automated Source ReCoding
International Telecommunication Union (ITU) 1999. Specification and Description Language (SDL). International Telecommunication Union (ITU). ITU-T Recommendation Z
A. Gerstlauer, J. Peng, Dongwan Shin, D. Gajski, Atsushi Nakamura, Dai Araki, Yuuji Nishihara (2008)
Specify-Explore-Refine (SER): From specification to implementation2008 45th ACM/IEEE Design Automation Conference
L. Andersen, Peter Lee (2005)
Program Analysis and Specialization for the C Programming Language
Mentor Graphics Corp. 2008. Catapult C synthesis
Jong-Deok Choi, M. Burke, P. Carini (1993)
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
Robert Engelen, Johnnie Birch, K. Gallivan (2004)
Array Data Dependence Testing with the Chains of Recurrences AlgebraInnovative Architecture for Future Generation High-Performance Processors and Systems (IWIA'04)
Björn Franke, M. O’Boyle (2003)
Array recovery and high-level transformations for DSP applicationsACM Trans. Embed. Comput. Syst., 2
Pramod Chandraiah, J. Peng, R. Dömer (2007)
Creating Explicit Communication in SoC Models Using Interactive Re-Coding2007 Asia and South Pacific Design Automation Conference
M. Buss, Stephen Edwards, Bin Yao, D. Waddington (2005)
Pointer analysis for source-to-source transformationsFifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05)
(2007)
System-on-Chip description and modeling. Lecture Notes for graduate course EECS222A
G. Marchioro, J. Daveau, A. Jerraya (1997)
Transformational partitioning for co-design of multiprocessor systems1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)
Sean Zhang, B. Ryder, W. Landi (1996)
Program decomposition for pointer aliasing: a step toward practical analyses
W. Landi (1992)
Undecidability of static analysisLOPLAS, 1
Pramod Chandraiah, R. Dömer (2008)
Automatic re-coding of reference code into structured and analyzable SoC models2008 Asia and South Pacific Design Automation Conference
(2009)
accepted TBD ACM Transactions on Computational Logic
Itu-T (1999)
Specification and Description Language (SDL)
B. Steensgaard (1996)
Points-to analysis in almost linear time
Manuel Fähndrich, J. Rehof, Manuvir Das (2000)
Scalable context-sensitive flow analysis using instantiation constraints
Computer-Aided Recoding to Create Structured and Analyzable System Models PRAMOD CHANDRAIAH and RAINER DOMER, University of California, Irvine In embedded system design, the quality of the input model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-written system model, tools today are effective in generating working implementations. However, readily available C reference code is not conducive for immediate system synthesis as it lacks needed features for automatic analysis and synthesis. Among others, the lack of proper structure and the presence of intractable pointers in the reference code are factors that seriously hamper the effectiveness of system design tools. To overcome these de ciencies, we aim to automate the conversion of at C code into a well-structured system model by applying automated source code transformations. We present a set of computer-aided recoding operations that enable the system designer to mitigate pointer problems and quickly create the necessary structural hierarchy so that the design model becomes easily analyzable and synthesizable. Utilizing the designer s knowledge, our interactive recoding transformations aid the designer in ef ciently creating well-structured system models for rapid design space exploration and successful synthesis. Our estimated and measured experimental
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Jun 1, 2012
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.