http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
VLSI 레이아웃 병렬배선을 위한 하드웨어 가속기 아키텍쳐 설계
정용기(Y.K.Jung),이기희(K.H.Lee),김영우(Y.O.Kim),이상운(S.Y.Lee),이윤재(Y.J.Lee),임인칠(I.C.Lim) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.1
본 논문에서는 VLSI 레이아웃설계에서 고전적 배선 알고리즘 내재하고 있는 병렬성을 효율적으로 이용하기 위한 하드웨어 배선 가속기의 아키택쳐를 설계한다. 이 배선기는 SIMD(Single instruction Stream Multple Data stream)형으로 N*N 1비트 PE(processing element) 어레이로 구성되며, 배선영역의 2차원 그리드 셀상에 매핑되어 병렬처리 배선을 행한다. 그리고 배선결과의 질과 그리드 셀의 병렬처리에서 PE가 통신겹침을 억제하고 배선 실행속도를 향상을 시킬 수 있는 병렬 배선 알고리즘을 제시한다. 배선 가속기 아키텍쳐는 C++ 언어로 모델링하고, 병렬처리를 위한 배선 알고리즘을 배선예에 적용한 실험결과를 보인다.
하드웨어 기술 언어 DASL 설계와 VLSI FSM의 자동 합성
김학림(H.R.Kim),임재윤(J.Y.Lim),이기희(K.H.Lee),홍인식(I.S.Hong),임인칠(I.C.Lim) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
본 논문에서는 FSM(Finite State Machine)을 자동 합성하기 위한 하드웨어 기술 언어 DASL(Design Automation Support Language)을 제안한다. 종래의 하드웨어 기술 언어는 조건부 분기의 경우 데이타부와 제어부 기술을 분리함으로써 효율적인 기술을 수행하지 못하였다. 이러한 문제점을 개선하기 위하여 DASL은 데이타부와 제어부를 병합하여 기술할 수 있도록 한다. 또한 DASL을 이용하여 효율적인 레이아웃을 얻을 수 있는 FSM자동 합성 시스템을 제안한다. 본 시스템은 VAX11/750(4.3BSD)상에서 구문 자동 생성기인 yacc와 C언어를 이용하여 실현하며 다양한 FSM모델에 적용하여 실효성을 입증한다.
김춘수(C.S.Kim),이기희(K.H.Lee),홍인식(I.S Hong),임재윤(J.Y.Lim),임인칠(I.C.Lim) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문에서는 계층적 및 대화형으로 설계규칙 검사가 가능한 방법을 제안한다. 설계규칙 검사에 사용하는 자료구조로 쿼드트리를 이용하여 탐색 동작을 빠르게하고, 계층적 구조를 그대로 저장하여 셀을 대해서는 한번만 자체적 검증을 하고 난후에 주변 정보사이의 상호작용을 검증하도록 한다. 또한 쿼드트리의 빠른 탐색 동작과 계층적 검증의 국부성을 이용하여 설계와 동시에 검증하므로 설계가 끝나면 설계규칙 오류가 없는 회로를 설계할 수 있는 대화형 설계규칙 방법을 제안한다. 제안한 방법은 C언어로 VAX 11/750(UNIX4,3BSD)과 Tektronix 4107 터미널 상에서 실현하여 유효성을 입증하였다.