Assertion 기법의 소프트웨어 요구 분석 과정에의 응용 연구

차신 ,  신윤식 ,  권용래

한국정보과학회 학술발표논문집

1987 .04

Verification of results

Jens Holge ,  Rindel

한국소음진동공학회 세미나자료집

2009 .11

FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -

K. Fukue ,  H. Shimoda ,  T. Sakata

IEEE Region 10 Conference

1987 .01

“소프트웨어 검증” 특집을 내면서

배경민 ,  이선아

정보과학회지

2019 .04

A Framework for Integrated Hardware-Software Co-verification of Multiprocessor SoC

Muhammad Faisal ,  Jong Won Kim

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2005 .07

C 프로그램의 품질보증을 위한 DYNAMIC ASSERTION PROCESSOR 의 설계 및 구현

이경환 ,  황선명 ,  전준철

한국정보과학회 학술발표논문집

1985 .10

An Adaptive Utterance Verification Framework Using Minimum Verification Error Training

Sung-Hwan Shin ,  Ho-Young Jung ,  Biing-Hwang Juang

[ETRI] ETRI Journal

2011 .06

Constraint-Based hardware Verification

Pie ,  e Gabou ,  y

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1993 .01

Assertion Based Verification을 이용한 Statechart 모델의 검증

황대연 ,  방기석 ,  최진영

한국정보과학회 학술발표논문집

2004 .10

A Logic Verification ＆ Synthesis System ( I ) ( A Logic Verification and Synthesis System ( 1 ) )

조중휘 ,  이성봉 ,  박성범 외 1명

대한전자공학회 학술대회

1985 .01

하드웨어/소프트웨어 Co-Verification 환경기반 고효율 하드웨어 IP 검증 기법

김태홍 ,  홍정현 ,  정기석

한국통신학회 학술대회논문집

2014 .01

집적검증 기법을 채용한 하드웨어 / 소프트웨어 동시검증

이영수 ,  양세양

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2002 .06

Implementation of a High-Level Hardware Verification System using Truss

Myoung-Keun You ,  Joo-Hong Kim ,  Gi-Yong Song

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2008 .07

Advanced Static Verification for SoC Designs

Ping Yeung Ph.D. ,  Sea Choi

대한전자공학회 ISOCC

2009 .11

Simulation-based Design Verification for High-performance Computing System

Taikyeong T. Jeong

멀티미디어학회논문지

2005 .12

In - System Verification of C - based SOC Design at early design stage

Dynalith Systems

대한전자공학회 기타 간행물

2001 .11