김학림

설계 검증을 위한 계층적 및 대화형 설계 규칙 검사 알고리즘 ( A Hierarchical and Interactive Design-Rule Checking Algorithm for Design Verification )

임인칠, 임재윤, 김춘수, 1988 .

마이크로 명령어의 코드 할당 알고리즘 ( A Code Assignment Algorithm for Microinstructions )

임인칠, 임재윤, 홍인식, 1988 .

하드웨어 기술 언어 DASL 설계와 VLSI FSM의 자동 합성

이기희, 임인칠, 임재윤, 1988 .

마이크로 명령어의 코드 할당 알고리즘

임인칠, 임재윤, 김춘수, 1988 .