Abstract
Source-to-source weaving is a key mechanism in the REFLECT design-flow since it allows the inclusion of application-specific information in the transformed program. In particular, LARA [1, 2] aspects are used to control the design-flow, and to trigger source-to-source code transformations and compilation/synthesis optimizations on a given application. Hence, user knowledge about an application and/or target architecture can be codified as aspects, allowing the original application code to be automatically extended to satisfy non-functional concerns, such as arithmetic precision and performance.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
J.M.P. Cardoso, J.G.F. Coutinho, T. Carvalho, LARA Programming Language Specification, v2.0, REFLECT Internal Technical Report, 2012
J.M.P. Cardoso, T. Carvalho, J.G.F. Coutinho, W. Luk, R. Nobre, P.C. Diniz, Z. Petrov, LARA: An Aspect-Oriented Programming Language for Embedded Systems. in Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD’12) (Germany, 2012), pp. 179–190, 25–30 Mar 2012
J.A. Clarke, G.A. Constantinides, P.Y.K. Cheung, Word-length selection for power minimization via nonlinear optimization. ACM Transactions on Design Automation of Electronic Systems (TODAES), p. 39, 14 Mar 2009
J.G.F. Coutinho, T. Carvalho, S. Durand, J.M.P. Cardoso, The LARA Aspect-IR, REFLECT Internal Technical Report, 2012
Xilinx ML510 Evaluation Platform Documentation, http://www.xilinx.com/products/boards/ml510/docs.htm [Online]. Accessed 18 Nov 2012
K. Bertels, V. Sima, Y. Yankova, G. Kuzmanov, W. Luk, J. Coutinho, F. Ferrandi, C. Pilato, M. Lattuada, D. Sciuto, A. Michelotti, HArtes: Hardware-software codesign for heterogeneous multicore platforms. IEEE Micro 30(5), 88–97 (2010)
D.J. Quinlan, ROSE Source-to-Source Compiler Infrastructure, Lawrence Livermore National Laboratory (LLNL), www.rosecompiler.org [online]
Google v8 JavaScript API, https://developers.google.com/v8 [Online]. Accessed 19 Dec 2012
JavaScript—MDN, https://developer.mozilla.org/en/JavaScript
J.G.F. Coutinho, QROSE Manual, Lawrence Livermore National Laboratory (LLNL), http://rosecompiler.org/QROSE.pdf [online]
Meld tool, http://http://meldmerge.org/ [Online]. Accessed 10 Dec 2012
W. Luk, J. Coutinho, T. Todman, Y. Lam, W. Osborne, K. Susanto, Q. Liu, W. Wong, A High-Level Compilation Toolchain for Heterogeneous Systems. in Proceedings of IEEE International SOC Conference (SOCC’09), 2009, pp. 9–18
Virtex FPGA, http://www.xilinx.com/support/documentation/data_sheets/ds100.pdf[Online]. Accessed 25 Nov 2012
CORE Generator Overview, http://www.xilinx.com/itp/xilinx10/isehelp/cgn_c_overview.htm [Online]. Accessed 18 Nov 2012
M. Daumas, G. Melquiond, Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. 37(1), 1–20 (2010)
M.D. Linderman, M. Ho, D.L. Dill, T.H. Meng, G.P. Nolan, Towards program optimization through automated analysis of numerical precision. in Proceedings 8th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO’10), 2010, p. 230
Calypto Design Systems Inc., Catapult-C® High-Level Synthesis—Blue Book, 2011
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media New York
About this chapter
Cite this chapter
de F. Coutinho, J.G. et al. (2013). Aspect-Based Source to Source Transformations. In: Cardoso, J., Diniz, P., de Figueiredo Coutinho, J., Petrov, Z. (eds) Compilation and Synthesis for Embedded Reconfigurable Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-4894-5_4
Download citation
DOI: https://doi.org/10.1007/978-1-4614-4894-5_4
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-4893-8
Online ISBN: 978-1-4614-4894-5
eBook Packages: EngineeringEngineering (R0)