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

An Adaptive Utterance Verification Framework Using Minimum Verification Error Training

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

[ETRI] ETRI Journal

2011 .06

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

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

대한전자공학회 학술대회

1985 .01

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

이영수 ,  양세양

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

2002 .06

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

김태홍 ,  홍정현 ,  정기석

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

2014 .01

AN ON-LINE SIGNATURE VERIFICATION SYSTEM

Dinesh P. Mital ,  Choo Pee Hin ,  Wee Kee Long

IEEE Region 10 Conference

1987 .01

검증매트릭스(Verification Matrix)를 활용한 요구사항 검증방안 연구

정경렬 ,  최준호 ,  박찬영 외 1명

한국철도학회 학술발표대회논문집

2010 .07

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

Constraint-Based hardware Verification

Pie ,  e Gabou ,  y

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

1993 .01

다중모드 통합시험환경을 이용한 계층구조 항공전자시스템의 검증

장우혁 ,  박재성 ,  조영우 외 1명

한국항공우주학회지

2017 .11

Formal Verification in Commercial Environments

Hyunwoo Cho

대한전자공학회 학술대회

1996 .07

Formal Verification in Commercial Environments

Hyun Woo Cho

대한전자공학회 토론회

1996 .01

Property/Assertion Based Verification

Juinn-Da ,  Huang

대한전자공학회 ISOCC

2004 .10

Auto Test Bench 구현을 통한 CAN 자동 검증 알고리즘

김기민

대한전자공학회 학술대회

2013 .07