• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.6 s.360
• /
• pp.83-88
• /
• 2007

In this paper, we propose the function verification method of the OLED(Organic Light Emitting Diode) drive IC using PLI verification method. This method uses the HDL(Hardware Description Language) simulator, PLI(Programing Language Interface), and GUI (Graphic User Interface) image viewer. This method improves the execute efficiency 40 times than conventional function verification methods. The proposed method can be used efficiently for function verification of DDI(display driver IC) design step.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.186-190
• /
• 2015

국내에서 개발중인 항공기 지상이동유도 및 통제시스템(A-SMGCS)의 핵심 기능인 경로, 감시, 안내, 통제기능 중 통제기능은 충돌상황을 예측하고 관제사에게 이를 알려주어 충돌상황을 해결하는 매우 중요한 핵심기능이다. 본 연구에서는 A-SMGCS 충돌기능에 대해 소개하고 해외 검증사례를 분석하여 현재 개발중인 시스템에 적용할 수 있는 검증방안에 대하여 연구하였다. 항공기의 안전한 지상이동을 위하여 본 연구에서는 통제기능의 실제 운용시험평가를 하는 방안에 대하여 연구하였다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.10
• /
• pp.735-745
• /
• 2001

Processors require both intensive and extensive functional verification in their design phase due to their general purpose. The proposed random vector verification method for embedded control RISC cores meets this goal by contributing assistance for conventional methods. The proposed method proved its effectiveness during the design of CalmRISCTM-32 developed by Yonsei Univ. and Samsung. It adopts a cycle-accurate instruction level simulator as a reference model, runs simulation in both the reference and the target HDL and reports errors if any difference is found between them. Consequently, it successfully covers errors designers easily pass over and establishes other new error check points.

• The Journal of Korean Association of Computer Education
• /
• v.9 no.4
• /
• pp.43-54
• /
• 2006

In general, user requirements in web-based learning systems are divided into functional and non-functional requirements. Developers are responsible for the verification of quality related requirements, which is known to be difficult to perform. This paper suggests a verification method that can be applied in the area where the conformance of implementation for non-functional requirements is required. The paper performs tests for non-functional requirements by using the information extracted from quality related features that have imposed constraints on design activities.

• Journal of the Institute of Convergence Signal Processing
• /
• v.12 no.2
• /
• pp.145-149
• /
• 2011

Recently, as the design of a system gets larger and more complex, functional verification method based on system-level becomes more important. The verification of a functional block mainly uses BFM(bus functional model). The larger the burden on functional verification is, the more the importance of configuring a proper verification environment increases rapidly. SystemVerilog unifies hardware design languages and verification languages in the form of extensions to the Veri log HDL. The processing of design description, function simulation and verification using same language has many advantages in system development. In this paper, we design DUT that is composed of AMBA bus and function blocks using SystemVerilog and verify the function of DUT in verification environment using layered testbench. Adaptive FIR filter and Booth's multiplier are chosen as function blocks. We confirm that verification environment can be reused through a minor adaptation of interface to verify functions of other DUT.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.7
• /
• pp.43-52
• /
• 2004

This paper proposes an efficient functional verification environment of microprocessor. This verification environment consists of test vector generator part, simulator part, and comparator part. To enhance efficiency of verification, it use a bias random test vector generator. In a part of simulation, retargetable instruction level simulator is used for reference model. This verification environment is excellent to find error which is not detected by general test vector and will become a good guide to find new error type

• Bulletin of the Korean Space Science Society
• /
• 2009.10a
• /
• pp.47.1-47.1
• /
• 2009

관제시스템 중 임무계획시스템은 위성시스템을 이용한 일련의 임무를 수행하는데 있어, 위성의 상태를 고려하여 임무간 상호 충돌이 없도록 최적의 임무계획을 수립하는 시스템이다. 상용화 촬영임무의 증가로 인해 1일 촬영요청수가 증가한다면 임무간 시간충돌 및 자원에 의한 제한 사항을 검증하는데 많은 시간이 소요되고, 임무계획 작성의 오류 가능성이 증가하게 된다. 이러한 어려움을 해결하기 위해서 임무계획검증시스템이 제안되고 개발되었다. 임무계획검증시스템은 임무계획시스템과 연동되어 운영되도록 설계되었으며, 검증기능 외에도 교신 스케줄 자동생성 기능을 포함하고 있다. 임무계획검증시스템의 주요기능은 임무계획검증, 명령계획검증, 교신스케줄생성 기능을 가지고 있으며, 각 모듈에서 생성된 내용은 공통 데이터베이스로 운영된다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.398-402
• /
• 1999

본 논문에서는 MCM기술을 사용한 ATM용 Switching칩을 구현하고, 그 기능을 검증하였다. Switching칩의 MCM구현을 위해 기능 검증 및 상용화가 이루어진 기존 칩들의 VHDL코드를 이용하여 패키지 모델을 생성하였고, 칩의 검증은 VHDL 테스트벡터를 생성하고, 입ㆍ출력 값을 얻었다. 얻은 입력 데이터를 칩 테스트장비에 입력하여 구현된 칩에 넣고 나오는 출력을 벡터 시뮬레이션을 통해 얻은 결과 값과 비교하였다. 다양한 기능의 검증을 위하여 3가지 패턴의 벡터를 생성, 그 성능을 검증하였다. 본 연구에서 생성된 테스트 벡터는 썬 웍스테이션 상에서 Synopsys사의 툴인 vhdl analyzer와 vhdl debugger를 이용하여 simulation하였고, 각 벡터들의 입출력을 텍스트로 얻었다. 그리고 칩의 기능 시험을 위하여 일반적으로 사용되는 Trillium 장비를 사용하였다. 본 연구를 통하여 MCM후에 생성된 벡터의 입ㆍ출력 값과 테스트장비로부터 얻은 출력이 여러 기능들에 대하여 일치됨을 알았다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.231.2-231.2
• /
• 2012

원격탐사를 위한 지구관측용 전자광학 카메라는 높은 해상도, 넓은 관측 폭 및 높은 선명도를 제공하기 위하여 부피가 크고 무거우며, 큰 전력을 소모하여, 위성본체의 대부분을 차지하도록 개발된다. 그러나, 달 탐사를 위해 달 궤도선이나 달 착륙선에 장착되는 전자광학 카메라는, 고해상도의 고성능을 가지도록 개발되기 보다는, 다기능의 집적도 높은 소형카메라로 개발되는 것이 일반적이다. 이에 따라, 달 탐사용 다기능 전자광학 카메라 개발을 위한 기술검증을 위하여 지상모델이 개발되었다. 본 카메라는 CMOS 센서를 사용하여 컴팩트하게 설계하였고, 스테레오 영상생성을 위해 두 개의 카메라가 동시에 운영되며, 줌 기능을 구현하여 다양한 조건에서도 영상획득이 가능하도록 설계 되었다. 또한 달 궤도선과 착륙선에서 1D 관측 및 2D 관측이 선택적으로 가능하도록 설계되었다. 개발된 지상모델은 실험실에서 수행하는 통상적인 기능 및 성능시험을 수행하였고, 스테레오 영상의 생성기능 등의 검증을 위하여 야외에서 카메라를 정속으로 회전하며 push broom 방식의 1D 촬영모드에 대한 시험을 수행한다. 또한, 항공촬영을 통해 1D 및 2D 촬영을 수행하여, 영상데이터의 처리 및 스테레오 영상데이터 생성 등의 검증 단계를 거친다. 본 논문 발표에서는 다기능의 전자광학 카메라를 지상에서 동작시켜 실제영상을 뽑아내고, 생성된 데이터를 처리하여, 설계된 카메라의 여러 가지 기능들에 대해 검증하는 방법들에 대해 정리 및 발표한다. 즉, 달 궤도에 맞게 설계된 카메라의 노출시간 등을 조절하고, push broom 방식을 모사하기 위하여 카메라를 정속으로 회전시켜 영상을 획득하여 다양한 카메라의 기능을 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1557-1558
• /
• 2008

전력설비에서의 제어시스템의 중요성 증대하여 제어시스템 연구 및 시험설비의 인프라 구축이 필요하게 되었고, 그 가운데 터빈제어시스템의 기능 검증을 위해 필요한 터빈 시뮬레이터의 기능 요건에 대해서 소개하고자 한다.