서지주요정보
Synthesis and verification of state machine description using automatic test vector generation = 테스트 벡터 자동 생성을 이용한 스테이트 머신 기술의 합성 및 검증
서명 / 저자 Synthesis and verification of state machine description using automatic test vector generation = 테스트 벡터 자동 생성을 이용한 스테이트 머신 기술의 합성 및 검증 / Ki-Yong Ahn.
발행사항 [대전 : 한국과학기술원, 2002].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8013034

소장위치/청구기호

학술문화관(문화관) 보존서고

MEE 02057

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

This thesis presents an interface library manager of a behavioral emulator. The behavioral emulator is a kind of rapid pre-prototyping system that has both hardware and software part interacting with each other to emulate a specific model. This is much more speed efficient than lower level of abstraction with HDL in a simulation point of view. The interface library is a database of protocols that are used to interface between the target hardware and the behavioral part of the target chip model. In the HDL based design flow, if the designer wants to make new interface library, he has to describe it with Hardware Description Language (HDL) like verilog. It is very difficult job to study HDL. After design complete, he has to make test vector and another code for simulation. So, we set up the FSM based design flow for interface library. The designer who doesn't know HDL can make new interface library easily. He just describes the FSM and interface specification constraints. The FSM synthesizer makes verilog code from FSM file. And the test bench generator makes simulation code with test vector from interface specification constraints. FSM based design flow is successfully applied to PCI read protocol design.

행위 모델 에뮬레이터는 사용자가 기술한 C 모델로부터 실제 보드에 직접 칩을 에뮬레이션하여 검증할 수 있도록 하는 시스템이다. 이는 디자인 초기 단계에 개발하려는 칩, 보드, 소프트웨어의 검증을 동시에 가능하게 함으로써 개발 기간을 획기적으로 단축할 수 있다. 행위 모델 에뮬레이터에서 알고리즘이 타겟 시스템과 상호작용하기 위해서는 인터페이스 라이브러리가 필요하다. 인터페이스 라이브러리란 타겟 시스템과 행위 모델 에뮬레이터 간의 여러 가지 프로토콜들을 데이터베이스화 해 놓은 것을 말한다. 본 논문에서는 이러한 인터페이스 라이브러리를 생성, 검증, 관리 하기 위한 소프트웨어를 구현하였다. 인터페이스 라이브러리를 생성할 때에는 HDL에 익숙치 않은 디자이너들을 위하여 FSM 기술방법을 이용하도록 하여 자동으로 HDL 코드를 생성해 주고, 이를 위해 기존의 FSM 기술방법보다 개선된 인터페이스 라이브러리에 맞는 FSM 기술 방법을 제안하였다. 생성된 라이브러리를 검증하기 위해서는 입력 받은 인터페이스 스펙으로부터 자동으로 테스트 벡터와 시뮬레이션을 위한 HDL 코드를 생성하도록 하였다. 또한 시뮬레이션 속도를 위해 테스트 벡터의 크기를 제한해야 할 경우에는 생성된 테스트 벡터의 커버리지를 보고해 주도록 하였다. 본 논문에서는 이러한 FSM기술을 이용한 디자인 방법을 구축하고, PCI read 프로토콜 디자인에 적용하여 그 효용성을 검증하였다.

서지기타정보

서지기타정보
청구기호 {MEE 02057
형태사항 iv, 50 p. : 삽화 ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 안기용
지도교수의 영문표기 : Chong-Min Kyung
지도교수의 한글표기 : 경종민
학위논문 학위논문(석사) - 한국과학기술원 : 전기및전자공학전공,
서지주기 Reference : p. 47-49
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서