VHDL을 구현하기 위한 중간코드 설계

김충석(Choung-seok Kim),김현배(Hyun-bae Kim),윤유헌(Yoo-Hun Won) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1

본 연구는 하드웨어 설계자동화 분야에서 요구되고 있는 HDL 언어 중 IEEE에서 표준화한 VHDL 언어를 사용하기 위한 지원 환경 중에서 VHDL source program을 입력으로 받아 중간코드를 생성하는 Analyzer 시스팀을 구축하기 위한 중간코드에 관한 연구이다. 각 tool들 사이에 공유되어 사용될 중간코드의 설계를 위해 VHDL 언어의 formal definition에 따라 IDL 언어로 기술하여 중간코드를 설계한다. 연구의 내용은 중간코드의 배경과 개념, 설계 방법 및 절차를 기술하고 현재 사용중인 중간코드의 종류를 분석하고 있으며, VHDL 언어를 사용하여 중간코드를 생성하여 보았다. 이러한 VHDL 중간 코드는 내부적으로는 graph 형태를 띠고 있으며 외부적으로는 사용자가 인식할 수 있는 텍스트 형태의 파일로 나타낸다.

X window를 이용한 Schematic Capture System으로 부터 VHDL 생성

김충석(Choung-Seok Kim),이준동(June-Dong Lee),표창우(Chang-Woo Pyo),원유헌(Yoo-Hun Won) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1

본 논문에서는 IEEE 표준언어인 VHDL의 사용자 환경에 관한 연구로서 VHDL User Interface를 설계한다. VHDL은 하드웨어 설계분야에서 그 사용이 설계자들 사이에서 점차로 확산되고 있다. 그러나 기존의 Schematic system에 익숙한 설계자 들은 VHDL의 사용에 어려움을 느끼게 되어 회피하는 경향이 있다. 이에 본 연구에서는 기존의 설계 시스템으로 부터 VHDL을 자동생성 함으로서 사용자에게 편리한 VHDL 인터페이스 환경을 제공하여 기존의 Schematic 설계 시스템과 VHDL 사이의 교량 역할을 하는 시스템을 설계한다. 이렇게 생성된 VHDL은 VHDL 지원환경의 각종 tool에서 유용하게 사용될 수 있다. 본 연구에서는 우선 UNIX 환경하에서 사용할 수 있게 하기 위해 X Window를 이용하여 Schematic Capture System을 구성하였으며 이 시스템 으로 부터 VHDL을 생성하는 시스템을 설계하여 보았다.

CDFG로 부터 VHDL Subset 추출

김충석(Choung-seok Kim),이영식(Young-sik Lee),표창우(Chang-woo Pyo),원유헌(Yoo-hun Won) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1

본 논문에서는 하드웨어 상위수준 합성을 위한 Control and Data Flow Graph 로 부터 VHDL Subset을 생성하는 시스템 설계 및 구현에 관한 논문으로서 지난해의 “VHDL 로부터 CDFG 생성” 연구의 계속된 연구이다. 지난해의 연구인 VHDL로 부터 생성된 CDFG는 CDFG Editor를 거쳐 상위수준 합성을 위해 사용될 수 있다. 이번 연구에서는 Editor를 거쳐 완성된 CDFG를 다시 VHDL로 변환 시켜 봄으로서 생성된 VHDL을 상용화 된 Simulation 도구에서 실행시켜 CDFG를 검증 및 활용할 수 있다. CDFG를 VHDL로 변환하기 위해 parser를 구성 하였으며 parsing된 결과로는 table 형태의 자료구조를 이용하여 VHDL을 생성하였다. 생성된 VHDL은 Structural, Bebavioral 또는 Mixed description 형태의 VHDL Subset 이다. 이러한 연구는 한국전자통신연구소의 지원하에 이루어 지고 있으며 여기서 정의된 CDFG 형태도 ETRI에서 정의된 형태를 사용한다.

C-Store 칼럼-지향 DBMS에서의 최적화 Join 기법 구현

김경호(Kyung Ho Kim),백우현(Woo Hyoun Back),손지은(Ji Eun Son),김충석(Choung Seok Kim),김경창(Kyung Chang Kim) 한국정보과학회 2014 정보과학회 컴퓨팅의 실제 논문지 Vol.20 No.2

칼럼-지향(column-oriented) DBMS란 기존 DBMS에서의 대표적 저장 방식인 row단위로 저장했던 것(로우-지향, row-oriented)과 달리 칼럼(column) 단위로 데이터를 저장하고 관리하는 DBMS를 말한다. 이러한 저장기법의 차이는 효율적인 질의 처리의 전반적인 메커니즘에 있어 로우-지향 DBMS와 다른 방식을 요구하게 된다. 이 논문에서는 칼럼-지향 데이터베이스에 대한 스타 스키마 질의의 효율적인 조인 기법을 다루었다. 본 논문은 조인 맵핑 트리를 이용한 칼럼-지향 조인 기법을 실제 오픈 소스인 C-Store 칼럼-지향 DBMS에서의 구현을 상세히 설명하였고 성능 분석을 실시하였다. A column-oriented DBMS is a DBMS that stores and manages data column-wise unlike conventional DBMS that stores data in rows or row-oriented manner. The difference in the storage structure in a columnoriented DBMS requires a query processing mechanism different from row-oriented DBMS methodology. This paper involves an efficient join technique for star schema queries in column-oriented databases. The paper explains in detail the implementation performance analysis of a column-oriented join technique using a join mapping tree structure in C-Store, an open source column-oriented DBMS.

VHDL의 파서 구현

元裕憲,金忠錫 弘益大學校 1989 弘大論叢 Vol.21 No.2

In this study, we designed and implemented an analyzer for IEEE standard VHDL. It is one of the five tools in the VHDL support environment. The VHDL analyzer generated from LALR(1) accepts VHDL text to check syntactic and semantic validities. It generates error messages for the source text and an intermediate expression for other VHDL tools. This intermediate expression is made from symbol table and AST. The symbol table contains the information about attributes of identifiers and AST represents the entire structure of the source text. The implementation of symbol table and AST was done by adding C programs to the input of syntactic analysis. The analyzer was implemented in C language with Lex and Yacc in the UNIX system.

하드웨어 設計環境에서의 CDFG 形態에 관한 硏究

金賢培,金忠錫,朴淳東,高炳吾 新羅大學校 1991 論文集 Vol.32 No.1

In this study, design CDFG format in hardware design environment. It is used for high level synthesis in hardware design environment and supported in VHDL(VHSIC(Very High Speed Integrated Circuit) Hardware Description Language) Design Environment. This CDFG supports most of characteristic in hardware description language, concurrency, sequence, hierarchy etc. It is designed in consideration of VHDL, C, PASCAL, HardwareC. First, design CDFG and describe description rule then represent example of translation and grammar for CDFG paser.

검색형 정보시스템의 클라이언트-서버 개발에 관한 연구

김충석 신라대학교 자연과학연구소 1997 自然科學論文集 Vol.3 No.-

In recently, many organ's LAN(Local Area Network) that connected Internet are about to receive a new lease on life and become the invaluable tool it was always meant to be. For many years the payoff for installing and maintaining an internal network has often been elusive. Propretary software and systems often got in the way of those tring to create a powerful communication system for organ's constituent family members. That is Intranet. Intranets are rapidly becoming accepted and used by all organs because they offer the opportunity to use all the advances in telecommunication and presentation being developed for the Internet, and because they prepare constituents to use the Internet. In this study, present new client-server model for develop Intranet application software. The presented model is going down the effort of Intranet software developers.

인터네트 보안 게이트웨이 구현

김충석,임채호 新羅大學校 1994 論文集 Vol.37 No.1

Since Internet has been started with the connection to US Internet and NSFNET, Korea R&D newworks such as KREON et, HANA, KREN have been suffered in security breaches by dimestic hackers. They intrude another Internet hosts using "telnet", TCP/IP terminal access protocol. So in this paper, the method to protect their unauthorized acess is introduced and implemented in gateway system between public Internet and a certain Internet domain. Through this paper, designed "AacServ" system provides : -User Authentication : Check accessed user is vaild or not -Access Control : Check user'd source host & destination host id. is the pre-registered one or not -Functions for Manager : Resistration, edition, view, deletion of User MIB, logging AacServ activities, report of AacServ event... This system can be easily be installed at any site of Internet because its configuration is very simple, and the test result was successful. To expand this system's functions, it will be studied how to apply security services into another TCP/IP applications, like SMTP electronic mail, FTP, and etc.

표준네트워크보안과 수송계층보안의 구현

김충석,임채호 新羅大學校 1992 論文集 Vol.34 No.1

Since the OSI Security Architecture has been introduced by ISO, it gas been one of the most hot issue among the OSI security standard, Secured Data Network System(SDNS). And since it seems the most reseasonable candidate of International Standard, in this paper, SDNS composed of SP2, SP3, SP4, message security protocol and key management protocol, is surveyed and studied. Epecially this paper shows how to implement Security Protocol at layer 4 (SP4) and suggests implementation model. And by this suggested model, several SP4 components like as data confidentiality, integrity checking, pad parameter and direction indicatior are implemented in order to implement SP4 into ISO TPO provided by ISODE-6.0.

TUP 중간언어를 위한 반복적인 자료흐름 분석기 구현에 관한 연구

김충석,박순동,이강우 新羅大學校 1993 論文集 Vol.36 No.1

In this study, we designs and implements the iterative data flow analyzer. that operates TUP intermediate programming language. Which produces some informations those are used a number of applications including code optimizations and parallelizations. instruction schedulings. testings, debuggings, certifications. Also we surveys many problems about data flow analysis and applies iterative techniques to solve the problems. Therefore the structure and concept of developed analyzer are very clear and easy. The analyzer computes some static informations about each variable including live range. loop depth. number of def/use, and needness of load/store at entry or exit of basic blocks, etc. The informations are used many optimization phase. especially, register allocation phase, common subexpression elimination phase and loop optimazation. We implements the data flow analyzer as two modules. live range analysis module and variable analysis module. The live range analysis module finds use/def point of each variable to generate live range. And variable analysis module computes loop depth. number of use/def. needness of load/store about each variable. Therefore the optimizating comiler using above informations can translate source program to more improved code. so execution times of improved code are saved than unimproved code. But complie times are increased because the compiler calls the data flow module and optimization module. Unfortunately. we skip the aliasing analyzer which is very important to data flow analysis because that analysis the aliasing relation between variables. And the results can change the many computed information. So, in recent, we are developing the alias processes. And we wish to expand the analyzer which operates on programs with many files. Besides we want to introduce incremental techniques and apply the techniques to the analyzer.