지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2009.11
- 수록면
- 3,227 - 3,233 (7page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 나눗셈 행렬을 이용하여 부울 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자 하는 2개의 논리식들로부터 대수 나눗셈에 의한 행렬을 만들고 부울 공리와 리터럴 추가를 통해 부울 나눗셈 행렬로 확장을 한다. 부울 나눗셈 행렬에 리터럴을 추가하여 확장된 부울 나눗셈 행렬을 만들고, 원소들을 커버링하여 부울 대입식을 산출한다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.
목차
등록된 정보가 없습니다.
참고문헌 (14)
참고문헌 신청
1. [학술대회논문] - R. K. Brayton / 1982 / The Decomposition and Factorization of Boolean Epressions / Proc. ISCAS : 49 ~ 54
2. [학술지(정기간행물)] - R. K. Brayton / 1987 / MIS: A Multiple-Level Logic Optimization System / IEEE Trans. CAD 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 Trans. CAD 11 (6) : 778 ~ 779
5. [학술지(정기간행물)] - C. Yang / 2002 / BDS: A Boolean BDD-Based Logic Optimization System / IEEE Trans. CAD 21 (7) : 866 ~ 876
2. [학술지(정기간행물)] - R. K. Brayton / 1987 / MIS: A Multiple-Level Logic Optimization System / IEEE Trans. CAD 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 Trans. CAD 11 (6) : 778 ~ 779
5. [학술지(정기간행물)] - C. Yang / 2002 / BDS: A Boolean BDD-Based Logic Optimization System / IEEE Trans. CAD 21 (7) : 866 ~ 876
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
부울 나눗셈 표 채움에 의한 논리식 인수분해
한국정보기술학회논문지
2013 .08
-
Classifications of D-classes in the semigroup Mn(F) of all n×n Boolean matrices over F={0, 1}
한국지능시스템학회 논문지
2006 .06
-
다변수 출력 함수에서 공통 논리식 추출
컴퓨터산업학회논문지
2006 .01
-
다출력 논리식에서 서포트를 이용한 공통식 추출
한국정보기술학회논문지
2011 .11
-
2개의 곱항에서 공통인수를 이용한 논리 분해식 산출
컴퓨터산업학회논문지
2006 .01
-
항추가 및 보정을 적용한 대입에 의한 논리식 간략화
한국산학기술학회 논문지
2017 .08
-
2-큐브 비커널을 이용한 부울 분해식 산출
한국산학기술학회 논문지
2010 .11
-
배타 논리합 원리를 이용한 다출력 논리회로 간략화
한국산학기술학회 논문지
2014 .09
-
Threshold Boolean Filters
대한전자공학회 학술대회
1992 .01
-
Global optimization approach to implementing an optimal Boolean logic data classifier
대한산업공학회 춘계공동학술대회 논문집
2016 .04
-
Non-Boolean 성질을 갖는 암호 알고리즘의 조합 처리 로직 설계 기법
대한전자공학회 학술대회
2006 .11
-
A Visual-Based Logic Minimization Method
한국산업정보학회논문지
2011 .12
-
Fault Detection of Digital Systems by Using Boolean Difference
(구)정보과학회논문지
1977 .07
-
부울함수의 간소화를 위한 새 방법 ( A New Algorithm for Boolean Function Minimization )
전자공학회지
1984 .07
-
The Formulation of Multiplying Boolean Function
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
-
D-클래스 계산을 위한 불리언 행렬의 효율적 곱셈 및 알고리즘
한국산업정보학회논문지
2007 .06
-
2-큐브 몫 행렬을 이용한 공통식 산출
한국산학기술학회 논문지
2011 .08
-
A Study on the Algebraic Immunity of Nonlinear Boolean Function in Cryptosystem
한국통신학회 워크샵
2007 .08
이 논문의 저자 정보
이 논문과 함께 이용한 논문
게임 개발자가 바라보는 확률의 구현
오영욱
게임제너레이션
2024
.04
랜덤함: AAA와 인디게임에서 다르게 나타나는 양날의 검에 관하여
파웰 그라바첵
,
나보라
게임제너레이션
2024
.04
알고리즘 구현을 위한 수학적 기반이론에 대한 사전 설명의 효과에 관한 연구
이덕우
한국산학기술학회 논문지
2021
.10
분수 차수를 가진 행복 모델에서의 거동 현상
황림운
,
손영우
,
황석승
외 1명
한국지능시스템학회 논문지
2018
.02
푸리에변환을 이용한 음역대 분석
Chan-Min-Sim
한국정보과학회 학술발표논문집
2015
.06
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2018-505-001138222