DSpace at KOASAS
Browsing DSpace

Browse "School of Electrical Engineering(전기및전자공학부)" by Subject 검증

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 14 of 14

1
(A) design of generic memory model for verification system = 검증 시스템을 위한 통합 메모리 모델의 설계link

Hwangbo, Woong; 황보웅; et al, 한국과학기술원, 2004

2
DEVS-based framework for logical and performance analysis of discrete event systems = DEVS 형식론에 근거한 이산 사건 시스템의 성능 분석 및 논리적 분석을 위한 틀link

Hong, Gyung-Pyo; 홍경표; et al, 한국과학기술원, 1997

3
Formal verification of memory interface in network processors = 네트워크 프로세서의 메모리 인터페이스의 형식 검증link

Kim, Sang-Ho; 김상호; et al, 한국과학기술원, 2003

4
Hierarchical bisimulation based on DEVS formalism = DEVS 형식론에 기반한 계층적 bisimulation 기법link

Kim, Dae-Hyun; 김대현; et al, 한국과학기술원, 1999

5
Implementation of hardware for behavioral model emulator = 행위 모델 에뮬레이터를 위한 하드웨어 구현link

Kim, Young-Il; 김영일; et al, 한국과학기술원, 2000

6
Implementing the flexible development platform to verify IP for SoC with multi-core = 다중코어 SoC 상의 IP 검증을 위한 개발환경 구축link

Kim, Seon-Pil; 김선필; et al, 한국과학기술원, 2004

7
Model checking using interface abstraction = 인터페이스 추상화를 이용한 모델 체킹link

Jung, Hee-Jae; 정희재; et al, 한국과학기술원, 2003

8
Performance-optimized synthesis of finite temporal property for functional coverage in co-emulation system = 에뮬레이션 시스템에서 기능검증 보장을 위해 유한한 길이의 속성을 최적화된 성능을 갖도록 합성하는 방법의 제안link

Kim, Hyung-Ock; 김형옥; et al, 한국과학기술원, 2004

9
Real-traffic based simulation environment for gigabit switch chipset = 기가비트 스위치 칩셋 검증을 위한 실제 트래픽 기반의 시뮬레이션 환경link

Chun, Jung-Bum; 전정범; et al, 한국과학기술원, 2000

10
RTL design verification with target H/W = 대상 하드웨어를 이용한 레지스터 전달 수준 디자인의 검증link

Lee, Jae-Gon; 이재곤; et al, 한국과학기술원, 2000

11
Stack aided verification tool for software defined network and network function virtualization = SDN과 NFV를 위한 스택 기반 검증 방법link

Kim, Changjun; 김창준; et al, 한국과학기술원, 2015

12
Synthesis and verification of state machine description using automatic test vector generation = 테스트 벡터 자동 생성을 이용한 스테이트 머신 기술의 합성 및 검증link

Ahn, Ki-Yong; 안기용; et al, 한국과학기술원, 2002

13
실시간 무선 RF 대역 송수신 MODEM 개발 시스템 구현 및 성능 분석 = Implementation and performance analysis for real time wireless RF transceiver and MODEM test bedslink

박형철; Park, Hyung-Chul; et al, 한국과학기술원, 1998

14
향상된 시뮬레이션 환경을 위한 계층적 애니메이션 시스템의 개발 = Development of a hierarchical animation system for the improvement of the simulation environmentlink

오상영; Oh, Sang-Young; et al, 한국과학기술원, 2000

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0