Browse > Article

Design and Verification of the Class-based Architecture Description Language  

Ko, Kwang-Man (상지대학교 컴퓨터정보공학부)
Publication Information
Journal of Korea Multimedia Society / v.13, no.7, 2010 , pp. 1076-1087 More about this Journal
Abstract
Together with a new advent of embedded processor developed to support specific application area and it evolution, a new research of software development to support the embedded processor and its commercial challenge has been revitalized. Retargetability is typically achieved by providing target machine information, ADL, as input. The ADLs are used to specify processor and memory architectures and generate software toolkit including compiler, simulator, assembler, profiler, and debugger. The EXPRESSION ADL follows a mixed level approach-it can capture both the structure and behavior supporting a natural specification of the programmable architectures consisting of processor cores, coprocessors, and memories. And it was originally designed to capture processor/memory architectures and generate software toolkit to enable compiler-in-the-loop exploration of SoC architecture. In this paper, we designed the class-based ADL based on the EXPRESSION ADL to promote the write-ability, extensibility and verified the validation of grammar. For this works, we defined 6 core classes and generated the EXPRESSION's compiler and simulator through the MIPS R4000 description.
Keywords
Architecture Description Language; Retargetability; Software Development Toolkit;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 J. Ceng, M. Hohenauer, R. Leupers, G. Ascheid, H. Meyer, and G. Braun, "C Compiler Retargeting Based on Instruction Semantics Models," DATE'05: In Proceedings of the Conference on Design, Automation and Test in Europe, pages 1150-1155, 2005.
2 Minwook Ahn, Yunheung Paek, "A New ADL-based compiler for Embedded Processor Design," International SoC Design Conference, 2005.
3 Minwook Ahn, SoarGen: A User Retargetable Compiler in the Design of Embedded Systems, Ph. D. Thesis, Seoul National University, 2009.
4 S. Y. Hwang, and S. R. Lee, "Construction of a Retargetable Compiler Generation System from Machine Behavioral Description," Journal of Korean Institute of Communication Sciences, Vol.32, No.5, 2007.   과학기술학회마을
5 Peter Marwedel, MIMOLA-A Fully synthesizable Language in Processor Description Languages (Editor: Prabhat Mishra, Nikil Dutt), Morgan Kaufmann, pp. 35-63, 2008.
6 Eric C. Schnarr, Mark D. Hill, and James R. Larus, "Facile: A Language and Compiler for High-Performance Processor Simulators," PLDI'99: Proceedings of the ACM SIGPLAN 1999 conference on Programming Language Design and Implementation, pp.1-11, 1999.
7 G. Hadjiyiannis, S. Hanano, and S. Devadas, "ISDL: An Instruction Set Description Language for Retargetability," DAC'99: In Proceedings of Design Automation Conference, pages 299-302, 1997.
8 nML Description of the TCT Core Processor: http://www.retarget.com/nml, March, 2008.
9 O. Wahlen, M. Hohenauer, R. Leupers, and H. Meyr, "Instruction Scheduler Generation for Retargetable Compilation," IEEE Design & Test of Computers, pp. 34-41, 2003.
10 R. Leupers, J. Elste, and B. Landwehr, "Generation of Interpretive and Compiled Instruction Set Simulators," ASP-DAC'99: Proceeding of the Asia South Pacific Design Automation Conference, 1999.
11 Prabhat Mishra, Aviral Shrivastava, and NiKill Dutt, "Architecture Description Language-driven Software Toolkit Generation for Architectural Exploration of Programmable SOCs," ACM Transactions on Design Automation of Electronics Systems, Vol.11, No.2, pp. 626-658, 2006.   DOI
12 Florian Brander, Dietmar Ebner, and Andreas Krall, "Compiler Generation from Structural Architecture Descriptions," CASES '07: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, pp. 13-22, 2007.
13 Flex, http://dinosaur.compilertools.net/flex/index.html
14 Bison, http://www.gnu.org/software/bison/manual/
15 Joe Heinrich, MIPS R4000 Microprocessor User's Manual 2nd Edition, MIPS Technologies, Inc., 1994.
16 Anupam Chattopadhyay, Heinrich Meyr, and Rainer Leupers, "LISA: A Uniform for Embedded Processor Modeling, Implementation, and Software Toolsuite Generation," Processor Description Languages: Chap. 5, Morgan Kauffman, 2008.
17 Nikill Dutt et. al., "EXPRESSION: A Language for Architectural Exploration through Compiler/Simulator Retargetability," DATE'99: Proceedings of the 1999 Design, Automation and Test in Europe Conference, 1999.
18 M. Hohenauer, et. al., "A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models," Design and Automation & Test in Eupore(DATE), 2004.
19 J. C. Gyllenhaal et. al., The Mdes User Manual, Technical Report, Trimaran Release: http://www.trimaran.org, 1999.
20 Peter Grun, Ashok Halambi, Vijay Ganesh, Nikil Dutt, and Alex Nicolau, "EXPRESSION: An ADL for System Level Design Exploration," Technical Report TR98-29, University of California Irvine, 1998.
21 Jianwen Zhu, and Darnel D. Gajski, "A Retargetable, Ultra-fast Instruction Set Simulator," DATE'99: Proceedings of the Design Automation and Test conference in Europe, 1999.
22 C. W. Fraser, and D. R. Hanson, A Retargetable C Compiler: Design and Implementation, Addison-Wesley, 1995.
23 Rainer Leupers, "Code Generation for Embedded Processor," ISSS;00: 13th International System Synthesis Symposium, pp.173-178, 2000.
24 A. Hoffman, H. Meyr, and R. Leupers, Architecture Exploration for Embedded Processors with LISA, Kluwer Academic Publishers(ISBN: 1-4020-7338-0), 2002.
25 Prabhat Mishra, and Nikil Dutt, Processor Description Languages, Morgan Kaufmann, 2008.
26 LCC, A Retargetable Compiler for ANSI C: http://www.cs.princeton.edu/software/lcc/