서지주요정보
DEVS 형식론에 의한 하드웨어 모델링 및 합성가능한 VHDL Code의 자동 생성 = Hardware modeling based on DEVS formalism and automatic generation of synthesizable VHDL code
서명 / 저자 DEVS 형식론에 의한 하드웨어 모델링 및 합성가능한 VHDL Code의 자동 생성 = Hardware modeling based on DEVS formalism and automatic generation of synthesizable VHDL code / 이영무.
저자명 이영무 ; Lee, Young-Moo
발행사항 [대전 : 한국과학기술원, 1996].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

8006996

소장위치/청구기호

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

MEE 96093

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

초록정보

The top-down design methodology using a hardware description language like VHDL has gained popularity because of its higher productivity than the previous one. However, as the size of a target system becomes larger and its complexity increases continuously, it is widely recognized that a new design methodology is required. In this thesis, we propose a hardware modeling formalism called HDEVS which is based on DEVS formalism. The DEVS formalism is a set-theoretic formalism which describes discrete event systems in a hierarchical and modular manner. Explicit use of the formalism precludes any ambiguity and enables the formal verification of a target system. In addition, using the HDEVS formalism provides fast simulation speed, independent module testing, intelligent and systematic model management using a model base and a system entity base, integrated modeling of inhomogeneous environments and graphical modeling. Thus we can develop a complex system rapidly with less errors in the integration. Also, the translation method of HDEVS model to synthesizable VHDL code is proposed and implemented. This translated VHDL code can be used in the stable synthesis environment which is standardized in the industry.

서지기타정보

서지기타정보
청구기호 {MEE 96093
형태사항 vii, 91 p. : 삽도 ; 26 cm
언어 한국어
일반주기 저자명의 영문표기 : Young-Moo Lee
지도교수의 한글표기 : 박규호
지도교수의 영문표기 : Kyu-Ho Park
학위논문 학위논문(석사) - 한국과학기술원 : 전기및전자공학과,
서지주기 참고문헌 : p. 89-91
주제 DEVS 형식론
하드웨어 모델링
HDEVS 형식론
합성가능한 VHDL
VHDL Code 자동 생성
DEVS formalism
Hardware modeling
HDEVS formalism
Synthesizable VHDL
VHDL code Generation
QR CODE qr code