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

김태홍 ,  홍정현 ,  정기석

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

2014 .01

Verification of results

Jens Holge ,  Rindel

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

2009 .11

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

A hardware implement of Rate control hardware for H.264 encoder

서기범 ,  이용주

대한전자공학회 학술대회

2009 .07

A Constraint-Based Inference System for Satisfying Design Constraints

Joo Heon Cha ,  In Ho Lee ,  Jay Jung Kim

KSME International Journal

2000 .06

A Logic Verification of Hardware-Software Co-design to Develop a SoC Device

Kiyoaki Hoshino ,  Hideo A ,  aki 외 4명

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

2003 .07

Base Transceiver Station System Hardware Verification using Mixed-Signal Simulator

Yongsup Kim ,  Byunghwan Chun ,  Austin S. Kim

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

2005 .06

SVM-Based Speaker Verification System for Match-on-Card and Its Hardware Implementation

Woo-Yong Choi ,  Dosung Ahn ,  Sung Bum Pan 외 3명

[ETRI] ETRI Journal

2006 .06

다중처리기 검증 프로그램 구현

정찬근 ,  이재철 ,  신상석 외 2명

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

1992 .04

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

FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -

K. Fukue ,  H. Shimoda ,  T. Sakata

IEEE Region 10 Conference

1987 .01

Radar System에서 Real-Time을 위한 FFT Hardware block의 설계 및 하드웨어-소프트웨어 동시-검증

이상환 ,  민경원 ,  손행선

대한전자공학회 학술대회

2009 .07

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

배경민 ,  이선아

정보과학회지

2019 .04

가려진 선 제거를 위한 Hardware의 설계 및 제작 ( Design and Implementation of Hidden Line Removal hardware )

배성옥 ,  전찬호 ,  방경일 외 1명

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

1989 .01

가려진 선 제거를 위한 hardware의 설계 및 제작 ( Design and Implementation of Hidden Line Removal Hardware )

배성옥 ,  전찬호 ,  방경일 외 1명

특정연구 결과 발표회 논문집

1989 .01

Constraint - based Algorithm 를 이용한 일관공정관리 시스템 개발 ( The Development of the Integrated Control System Using Constraint - based Algorithm )

제진권 ,  김태호 ,  김종민 외 1명

한국지능정보시스템학회 학술대회논문집

1997 .06

A Conflict Detection Method Based on Constraint Satisfaction in Collaborative Design

Kangkang Yang ,  Shijing Wu ,  Wenqiang Zhao 외 1명

Journal of Computing Science and Engineering

2015 .06

결함 주입 방법을 이용한 하드웨어 검증시스템 구현

윤경섭 ,  송명규 ,  이재흥

전기전자학회논문지

2011 .12

A VLSI Geometrical Design Rule Verification Accelerated by CAM-Based Hardware Engine

Tetsu ,  o Takizawa ,  Kazuto Kubota 외 2명

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

1990 .01