지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2014.9
- 수록면
- 5,744 - 5,749 (6page)
이용수
초록· 키워드
오류제보하기
다출력 논리식에서 공통식을 추출하는 것은 매우 중요한 기술이다. 본 논문에서는 배타 논리합 식 산출 원리를 이용 해서 공통식을 추출하는 새로운 방법을 제안하였다. 산출된 논리식은 AND, OR, NOT 연산자만을 이용해서 전체 논리식을 표현하도록 고안하였다. 공통식 산출의 수행 시간과 리터럴 개수를 줄이기 위해서 선험 방법을 제안하였다. 실험 결과 제안한 방법이 기존의 방법들보다 리터럴 개수를 줄일 수 있음을 보였다.
목차
등록된 정보가 없습니다.
참고문헌 (9)
참고문헌 신청
1. [학술대회논문] - R. K. Brayton / 1982 / The Decomposition and Factorization of Boolean Epressions / Proc. ISCAS 49 (54) : 49 ~ 54
2. [학술지(정기간행물)] - R.K. Brayton / 1987 / MIS: A Multiple-Level Logic Optimization System / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 6 (6) : 1062 ~ 1081
3. [학술대회논문] - E. M. Sentovich / 1992 / Sequential Circuit Design Using Synthesis and Optimization / Proc. ICCD : 328 ~ 333
4. [학술지(정기간행물)] - J. Rajski / 1992 / The testability-preserving concurrent decomposition and factorization of Boolean expressions / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 11 (6) : 778 ~ 793
5. [학술대회논문] - D. Wu / 2005 / BDD-based Two Variable Sharing Extraction / Proc. of Asia and South Pacific Design Automation Conference(ASPDAC) : 1031 ~ 1034
2. [학술지(정기간행물)] - R.K. Brayton / 1987 / MIS: A Multiple-Level Logic Optimization System / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 6 (6) : 1062 ~ 1081
3. [학술대회논문] - E. M. Sentovich / 1992 / Sequential Circuit Design Using Synthesis and Optimization / Proc. ICCD : 328 ~ 333
4. [학술지(정기간행물)] - J. Rajski / 1992 / The testability-preserving concurrent decomposition and factorization of Boolean expressions / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 11 (6) : 778 ~ 793
5. [학술대회논문] - D. Wu / 2005 / BDD-based Two Variable Sharing Extraction / Proc. of Asia and South Pacific Design Automation Conference(ASPDAC) : 1031 ~ 1034
이 논문의 저자 정보
이 논문과 함께 이용한 논문
확률적 명제 논리 프로그래밍
신양규
한국데이터정보과학회지
1995
.06
명제 논리의 소고 : 형식 의미론에의 접근을 위하여
이원직
한국어학
1994
.12
순서 집합 개념을 이용한 다출력 논리함수 최소화 알고리즘 ( Multi-Output Logic Minimization Algorithm Using the Concept of Ordering Set )
백영석
,
김태헌
,
이성봉
외 1명
대한전자공학회 학술대회
1988
.07
집합 피복 공식화를 이용한 명제논리의 만족도 문제에 대한 계산실험 연구
조건
한국경영과학회지
2002
.12
아두이노를 활용한 디지털 논리회로 실습 방법
이은상
한국컴퓨터교육학회 학술발표대회논문집
2021
.01
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2018-505-001088041