Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2007.11a
- /
- Pages.763-765
- /
- 2007
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
A syntax-directed debugger for Esterel interpreter
Esterel 인터프리터를 위한 문맥지시적 디버거
- Hao, Sun (Dept. of Automation, Chongqing University of Posts and Telecommunication) ;
-
Rim, Kee-Wook
(Dept. of Computer Science, Sun Moon University) ;
-
Nam, Ji Yeun
(Dept. of Computer Science, Sun Moon University) ;
- Lee, Jaeho (Dept. of Computer Science, Korea Advanced Institute of Science and Technology) ;
- Han, Taisook (Dept. of Computer Science, Korea Advanced Institute of Science and Technology)
- 하오 선 (중경우전대학 자동화학과) ;
-
임기욱
(선문대학교 전자계산학과) ;
-
남지은
(선문대학교 전자계산학과) ;
- 이재호 (한국과학기술원 전산학과) ;
- 한태숙 (한국과학기술원 전산학과)
- Published : 2007.11.09
Abstract
As a useful tool for embedded system codesign approach, it's necessary to make a custom-built interpreter for the system description verification. Usually, designers need to write their program to simulate the environment their system works in. Sometimes making the simulation environment consumes designers more time and energy than describing their embedded system. The interpreter saves the cost that is spent on making such an environment. In this paper, the necessity and motivation of the interpreter will be introduced first, and then the details about each part of it will be illuminated.
Keywords