게이트와 트랜지스터 레벨에서의 논리 시뮬레이션

강민섭 ,  이철동 ,  유영욱

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

1987 .10

Prolog를 이용한 논리회로의 기능적 시뮬레이션 ( Functional Simulation of Logic Circuits by Prolog )

김종성 ,  조순복 ,  박홍준 외 1명

대한전자공학회 학술대회

1987 .07

Prolog 를 이용한 논리회로의 기능적 시뮬레이션

김종성 ,  조순복 ,  박흥준 외 1명

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

1987 .07

「시뮬레이션」 특집을 내면서

백두권 ,  이경상 ,  허문행

정보과학회지

1990 .02

Prolog에 의한 순서논리회로의 시뮬레이션

함승재 ,  김창성 ,  임인칠

대한전자공학회 학술대회

1986 .06

Prolog에 의한 순서논리회로의 시뮬레이션 ( Sequential Logic Circuits Simulation by Prolog )

함승재 ,  김창성 ,  임인철

대한전자공학회 학술대회

1986 .01

게이트 · 레벨 논리 시뮬레이션 ( Gate Level Logic Simulation )

고성원 ,  박성범 ,  정정화

대한전자공학회 학술대회

1984 .01

Prolog를 이용한 논리회로의 기능적인 검증

조순복 ,  김종성 ,  박홍준 외 1명

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

1987 .04

Prolog / C 언어를 이용한 기능 레벨 시뮬레이션 ( Functional Level Simulation using Prolog / C Languages )

윤찬수 ,  박찬규 ,  박홍준 외 3명

대한전자공학회 학술대회

1989 .07

Prolog를 이용한 논리회로 합성

공기석 ,  조동섭 ,  황희융

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

1985 .07

경로 활성화 방법을 이용한 고장 시뮬레이션

허용민 ,  박동규 ,  이홍주 외 2명

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

1988 .10

Map - factoring방법을 이용한 논리 회로 설계

최현진 ,  김종 ,  홍성제

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

1994 .10

[特輯]시뮬레이션을 위한 큐잉 모델

조국현

정보과학회지

1990 .02

Knowledge-Based 논리 시뮬레이션 알고리즘 및 게이트 모델링 ( A Knowledge-Based Logic Simulation Algorithm and Gate Modeling )

홍광희 ,  이철원 ,  임인칠

대한전자공학회 학술대회

1990 .07

계층적 논리 회로의 시뮬레이션 ( Simulation for Hierarchical Logic Network )

이홍주 ,  허용민 ,  이주희 외 3명

대한전자공학회 학술대회

1988 .07

계층적 논리 회로의 시뮬레이션

이홍주 ,  허용민 ,  이주희 외 3명

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

1988 .07

Analog 회로 설계를 위한 시뮬레이션 Tool

전영현 ,  김춘경

전자공학회지

1992 .01

Prolog 에 의한 논리회로 Description Techniques ( Techniques of Logic-Circuit Description using Prolog )

김창성 ,  함승재 ,  김한우 외 1명

대한전자공학회 학술대회

1985 .01

회로 레벨의 신뢰성 시뮬레이션 및 그 응용 ( Circuit-Level Reliability Simulation and Its Applications )

천병식 ,  최창훈 ,  김경호

전자공학회논문지-A

1994 .01

분산 시뮬레이션을 위한 DEVS 특성 기반 시뮬레이션 모델 분배 방법

강원석 ,  김기형

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

2007 .06