상위 단계에서의 설계 검증을 위한 회로 추출 시스템

이용재 ,  문인호 ,  황선영

대한전자공학회 학술대회

1990 .11

게이트 레벨 논리 검증 시스템 ( A Gate Level Logic Verification System )

최훈규 ,  김성수 ,  권용준 외 1명

대한전자공학회 학술대회

1987 .05

소프트웨어 비용 산정 모델과 그 Metric에 관한 연구

고재승 ,  권기태 ,  김태균 외 1명

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

1988 .04

하드웨어 고장 검출을 위한 행위레벨 설계에서의 테스트패턴 생성 ( High Level Test Generation in Behavioral Level Design for Hardware Faults Detection )

김종현 ,  윤성욱 ,  박승규 외 1명

대한전자공학회 학술대회

1998 .07

하드웨어 고장 검출을 위한 행위레벨 설계에서의 테스트패턴 생성

김종현 ,  윤성욱 ,  박승규 외 1명

대한전자공학회 학술대회

1998 .06

기가 스케일 SoC를 위한 통합 설계 방법론 및 검증 플랫폼

김정훈

전자공학회논문지-SD

2010 .02

이산사건 시스템의 계층적 검증방법론

송해상 ,  이완복

한국정보통신학회논문지

2007 .05

Coverage-Directed Stimulus Generation Using a Genetic Algorithm

Wang Jiawen ,  Liu Zhigui ,  Wang Suliang 외 3명

대한전자공학회 ISOCC

2013 .11

VHDL 행위 레벨 설계 검증 ( VHDL Behavioral-level Design Verification from Behavioral VHDL )

윤성욱 ,  김종현 ,  박승규 외 1명

대한전자공학회 학술대회

1998 .07

명시적 시간 사건을 처리하는 시간사건 관리자의 설계 및 구현

옥수호 ,  박기완 ,  우용태 외 1명

정보과학회논문지(B)

1998 .01

VHDL 행위 레벨 설계 검증

윤성욱 ,  김종현 ,  박승규 외 1명

대한전자공학회 학술대회

1998 .06

텍스트 마이닝 기법을 적용한 뉴스 데이터에서의 사건 네트워크 구축

이민철 ,  김혜진

지능정보연구

2018 .03

2-레벨 및 3레벨 동작의 조합을 통한 3-레벨 NPC 인버터의 중성점 전류 저감 기법

송민근 ,  이교범

대한전기학회 학술대회 논문집

2020 .07

A New Metric for Measuring the Distance Between Two Linear Systems

SeyedMeh ,  dad Hosseini ,  Ali 외 2명

제어로봇시스템학회 국제학술대회 논문집

2011 .10

C 언어를 이용한 PCI Express 동작 모델 설계 및 검증

예상영 ,  현유진 ,  성광수

대한전자공학회 학술대회

2003 .07

Verification of results

Jens Holge ,  Rindel

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

2009 .11

2-레벨과 3-레벨 T-type 인버터의 손실 비교 분석

조승현 ,  홍석진 ,  현승욱 외 1명

한국조명·전기설비학회 학술대회논문집

2015 .11

배회 에이전트에 의한 동적 레벨 디자인

김종호 ,  조형제 ,  한성호

한국게임학회 논문지

2005 .09

7-레벨과 27-레벨의 선택적 출력전압 생성이 가능한 멀티레벨인버터

최진성 ,  현석환 ,  강필순

전력전자학회 학술대회 논문집

2015 .07