http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
형식기술언어 ESTELLE 프리프로세서 개발에 관한 연구
곽호영(H.Y.KWAK),하수철(S.C. HA),인소란(S.R. INE),원유헌(Y.H. WON) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
본 논문은 통신 프로토콜 규격 등의 기술에 사용되는 FDT(Formal Description technique)중의 하나인 ESTELLE 언어를 S-PASCAL 언어로 전환해 주는 프리프로세서의 개발에 관한 연구이다. ESTELLE의 특성은 상태전이 처리 측면에 concurrent 개념을 지니고 있다. 가장 최적화 된 방법으로 concurrent 개념을 모두 수용해 주는 H/W 와 S/W 환경이 구비된 구조에서 concurrent 언어로 전환하는 것을 목표로, ESTELLE 언어의 출발 개념을 제공한 PASCAL 중의 Sequential-PASCAL을 target 언어로 하였다.
김충석(C.S.Kim),박성범(S.B.Park),최현주(H.J.Choi),이영식(Y.S.Lee),원유헌(Y.H.Won) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.1
본 연구는 VHDL 지원환경에 관한 연구로서 VHDL(VHSIC(Very High Speed Integrated Circuit)Hardware Description Language)로 부터 CDFG(Control and Data Flow Graph) 형태를 생성하는 시스템을 설계하였다. 본 연구에서는 다루는 CDFG는 TEXT형태로서 VHDL 지원환경에서 CDFG Editor나 High Level Synthesis 등에 의해 활용된다. 이러한 시스템을 설계하기 위해 먼저 CDFG에 대해 기술하고, CDFG를 생성하는 시스템의 구성에 대해 기술한다.