지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2011.8
- 수록면
- 3,715 - 3,722 (8page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 논리합성을 위한 부울 공통식 추출 방법을 제안한다. 제안하는 방법은 주어진 각 논리식들에 서 제수/2-큐브 몫들과 2-큐브 몫 쌍들을 산출하고, 이들을 이용해서 2-큐브 몫 행렬을 만든다. 2-큐브 몫들과 행렬로 부터 후보식들을 찾고, 다음 이 후보식들의 교집합에 의해 여러 논리식에서 사용되는 공통식을 산출한다. 실험 결과 제안하는 방법은 기존의 방법들보다 전체 논리식의 리터럴 개수를 줄일 수 있었다.
목차
등록된 정보가 없습니다.
참고문헌 (12)
참고문헌 신청
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. [학술지(정기간행물)] - V. K. Singh / 1993 / Heuristic for decomposition in multilevel logic optimization / IEEE Trans. VLSI 1 (4) : 441 ~ 445
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. [학술지(정기간행물)] - V. K. Singh / 1993 / Heuristic for decomposition in multilevel logic optimization / IEEE Trans. VLSI 1 (4) : 441 ~ 445
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2018-505-001154275