지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1987년도 봄 학술발표논문집 제14권 제1호
- 발행연도
- 1987.4
- 수록면
- 291 - 295 (5page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 논리회로의 기능적인 동작을 검증하는 논리검증 알고리즘을 제안한다.
즉, 백트래킹 (backtracking)기능과 강력한 패턴조합 기능을 갖는 논리형 Prolog 언어를 이용하여 검증할 회로와 입력파형 및 정상 상태의 출력파형을 기술하여 검증하고 그 결과를 그래픽으로써 파일에 저장한다. 또한 기본 게이트 기술(description)에 있어서 논리값 계산률(rule)과 이벤트(event) 발생시의 시간처리 툴을 분리함으로서 다입력 논리 게이트의 논리동작에 대한 기술을 용이하게 하고 검증 수행시간과 검증에 필요한 내부 메모리 용량을 감소시킨다.
본 논문에서 제안한 논리 검증 알고리즘을 VAX11/750 (UNIX)과 PC-XT(MS-DOS) 상에서 C-Prolog 및 Prolog-I으로 각각 프로그램하여 예에 적용함으로써 본 알고리즘의 유효성을 확인한다.
즉, 백트래킹 (backtracking)기능과 강력한 패턴조합 기능을 갖는 논리형 Prolog 언어를 이용하여 검증할 회로와 입력파형 및 정상 상태의 출력파형을 기술하여 검증하고 그 결과를 그래픽으로써 파일에 저장한다. 또한 기본 게이트 기술(description)에 있어서 논리값 계산률(rule)과 이벤트(event) 발생시의 시간처리 툴을 분리함으로서 다입력 논리 게이트의 논리동작에 대한 기술을 용이하게 하고 검증 수행시간과 검증에 필요한 내부 메모리 용량을 감소시킨다.
본 논문에서 제안한 논리 검증 알고리즘을 VAX11/750 (UNIX)과 PC-XT(MS-DOS) 상에서 C-Prolog 및 Prolog-I으로 각각 프로그램하여 예에 적용함으로써 본 알고리즘의 유효성을 확인한다.
목차
요약
Ⅰ. 결론
Ⅱ. 논리값과 논리회로 표현
Ⅲ. 검증기
Ⅳ. 검증의 예
Ⅴ. 결론
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Prolog를 이용한 논리회로의 기능적 시뮬레이션 ( Functional Simulation of Logic Circuits by Prolog )
대한전자공학회 학술대회
1987 .07
-
Prolog 를 이용한 논리회로의 기능적 시뮬레이션
대한전기학회 학술대회 논문집
1987 .07
-
Prolog를 이용한 논리회로 합성
대한전기학회 학술대회 논문집
1985 .07
-
Prolog에 의한 순서논리회로의 시뮬레이션 ( Sequential Logic Circuits Simulation by Prolog )
대한전자공학회 학술대회
1986 .01
-
Prolog에 의한 순서논리회로의 시뮬레이션
대한전자공학회 학술대회
1986 .06
-
Prolog 에 의한 논리회로 Description Techniques ( Techniques of Logic-Circuit Description using Prolog )
대한전자공학회 학술대회
1985 .01
-
Prolog의 기초와 Prolog 프로그램의 병렬 실행
한국정보과학회 학술발표논문집
1984 .04
-
Prolog / C 언어를 이용한 기능 레벨 시뮬레이션 ( Functional Level Simulation using Prolog / C Languages )
대한전자공학회 학술대회
1989 .07
-
PROLOG로 부터 C 언어로의 코드변환 기법
정보과학회논문지(B)
1998 .11
-
PROLOG를 이용한 항공기 설계기법 연구
한국항공우주학회 학술발표회 초록집
2007 .11
-
PROLOG에 의한 통신망의 신뢰도 해석 ( Reliability Analysis of Communication Network using PROLOG )
한국통신학회 학술대회논문집
1990 .01
-
한글처리 PROLOG의 개발 ( A Study on the K-Prolog for Hangul processing )
대한전자공학회 학술대회
1986 .01
-
한글 처리 PROLOG의 개발
대한전자공학회 학술대회
1986 .12
-
Prolog를 이용한 관계 데이타베이스 시스템의 설계 및 구현
한국정보과학회 학술발표논문집
1992 .04
-
PROLOG를 이용한 Logic database 구현에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
-
Prolog 를 이용한 게이트 레벨 시뮬레이션
한국정보과학회 학술발표논문집
1987 .10
-
PROLOG에 의한 D-algorithm의 具現에 관한 研究
전기학회논문지
1986 .03
-
인터넷 상에서 논리 언어 Prolog 프로그램 수행을 위한 도구 개발
한국정보과학회 학술발표논문집
1999 .04
-
PROLOG에 의한 통신망의 단순경로 결정 ( Simple Paths Search of Communication Networks Using by PROLOG )
한국통신학회 학술대회논문집
1990 .01
-
PROLOG에 의한 통신망의 단순경로 결정
한국통신학회 학술대회논문집
1990 .08
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017910311