• 대한전자공학회논문지SD
• /
• 제44권6호
• /
• pp.83-88
• /
• 2007

본 논문에서는 유기발광다이오드 구동 IC의 기능을 검증하기 위하여 PLI(Programing Language Interface)를 이용한 검증방법을 제안한다. 기능 검증을 하기 위하여 HDL(Hardware Description Language) 시뮬레이터와 PLI, GUI(Graphic User Interface) 환경의 이미지 뷰어를 이용한다. 본 논문에서 제안하는 유기발광다이오드 구동 IC의 기능 검증 방법을 이용 할 경우 종래의 기능 검증 방법을 이용 할 때 보다 40배의 실행 시간 이득을 얻을 수 있다. 제안한 방법을 이용할 경우 디스플레이 구동 IC의 설계 단계에서 기능 검증을 효율적으로 할 수 있을 것이다.

• 한국항공운항학회:학술대회논문집
• /
• 한국항공운항학회 2015년도 추계학술대회
• /
• pp.186-190
• /
• 2015

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

• 대한전자공학회논문지SD
• /
• 제38권10호
• /
• pp.735-745
• /
• 2001

범용성이란 측면은 프로세서의 설계 과정 중 기능 검증의 중요도를 크게 부각시킨다. 따라서 본 논문은 기존 시뮬레이션 방법과 병행하여 기능 검증의 효율성을 높일 수 있는 효율적인 랜덤 벡터 기능 검증 방법을 제시한다. 본 기능 검증 방법은 내장형 제어 RISC 코어에 적합하며 실제 연세대학교와 삼성전자가 공동 개발한 32비트 프로세서인 CalmRISCTM-32의 코어 기능 검증에 적용하여 효율성을 확인한 바 있다. 본 기능 검증 방법은 클락 기반의 명령어 수준 시뮬레이터를 개발하여 이를 참조 모델로 삼고 랜덤 벡터로 이루어진 워크로드에 대해 HDL 시뮬레이션 결과와 비교함으로써 오류 검출을 수행하며 일반적인 테스트 벡터로써 발견하기 어려운 오류 유형을 보완하는 동시에 설계자에게 새로운 오류 유형의 기준을 제시하는 효과를 지닌다.

• 컴퓨터교육학회논문지
• /
• 제9권4호
• /
• pp.43-54
• /
• 2006

웹 기반 학습 시스템의 사용자 요구는 일반적으로 기능 요구와 비기능 요구로 구분된다. 그 중 사용자가 원하는 품질 관련 비기능 요구는 개발자가 반드시 검증해야 할 주요 사항이지만 기능 요구와는 달리 확인 과정에 많은 어려움이 있었다. 본 논문은 웹 기반 학습 시스템의 개발에 적용할 수 있는 검증 기법으로서 품질 관련 비기능 요구사항이 적절히 구현되었는지를 검증하는 방법을 제안한다. 특히 효율성, 사용용이성과 같은 품질 요구가 설계에 영향을 주는 과정을 추적해 얻은 정보를 검증에 이용함으로써 이를 비기능 요구가 적절히 구현되었는지 확인할 수 있게 한다.

• 융합신호처리학회논문지
• /
• 제12권2호
• /
• pp.145-149
• /
• 2011

최근 시스템의 규모가 커지고 복잡해지면서, 시스템 수준에서의 기능 검증방법론이 중요해지고 있다. 기능블록의 검증을 위해서는 주로 BFM(bus functional model)이 사용되며, 기능 검증에 대한 부담이 증가할수록 올바른 검증환경 구성의 중요성은 더욱 증가한다. SystemVerilog는 Verilog HDL의 확장으로 하드웨어 설계언어의 특징과 검증언어의 특징을 동시에 갖는다. 동일한 언어로 설계기술, 기능 시뮬레이션 그리고 검증을 진행할 수 있다는 것은 시스템개발에서 큰 이점을 갖는다. 본 논문에서는 SystemVerilog를 이용하여 AMBA 버스와 기능블록으로 구성된 DUT를 설계하고, 계층적 테스트벤치를 이용한 검증환경에서 DUT의 가능을 검증한다. 기능 블록은 Adaptive FIR 필터와 Booth's 곱셈기를 사용한다. 이를 통하여 검증환경이 DUT와 연결되는 인터페이스의 부분적인 변경을 통하여 다른 하드웨어의 기능을 검증하는데 재사용되는 이점을 가지고 있음을 확인한다.

• 대한전자공학회논문지SD
• /
• 제41권7호
• /
• pp.43-52
• /
• 2004

본 논문은 마이크로프로세서의 설계과정 중, 중요도가 크게 부각되고 있는 기능 검증을 좀더 효율적으로 할 수 있는 검증환경을 제안한다. 본 검증 환경은 테스트 벡터 생성부분, 시뮬레이션 부분, 결과 비교 부분으로 구성되어 있다. 기존에 사용되던 검증 방법보다 좀더 효율적인 기능 검증이 가능하도록 하기 위해 바이어스 랜덤 테스트 벡터 생성기를 사용하였고, 참조모델로 재정의 가능 명령어 수준 시뮬레이터를 사용하였다. 본 검증 환경에서 수행된 결과를 비교함으로써 일반적인 테스트벡터에서 발견하기 어려운 오류 유형을 발견하고 새로운 오류 유형의 기준을 제시하는 효과를 지닌다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2009년도 한국우주과학회보 제18권2호
• /
• pp.47.1-47.1
• /
• 2009

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

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 춘계종합학술대회
• /
• pp.398-402
• /
• 1999

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

• 천문학회보
• /
• 제37권2호
• /
• pp.231.2-231.2
• /
• 2012

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.1557-1558
• /
• 2008

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