지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of Electrical Engineering and Information Science Journal of Electrical Engineering and Information Science Vol.2 No.5
- 발행연도
- 1997.10
- 수록면
- 1 - 8 (8page)
이용수
초록· 키워드
오류제보하기
The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.
목차
Abstract
Ⅰ. Introduction
Ⅱ. The Derivational Method
Ⅲ. Simplifications during the Merge-Loop
Ⅳ. Heuristics for the Merge-Loop
Ⅴ. Algorithm Cover-Merge
Ⅵ. Experimental Results
Ⅶ. Conclusion
References
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A Boolean Equivalence Testing Algorithm based on a Derivational Method
Journal of Electrical Engineering and information Science
1997 .10
-
부울함수의 간소화를 위한 새 방법 ( A New Algorithm for Boolean Function Minimization )
전자공학회지
1984 .07
-
Classifications of D-classes in the semigroup Mn(F) of all n×n Boolean matrices over F={0, 1}
한국지능시스템학회 논문지
2006 .06
-
Threshold Boolean Filters
대한전자공학회 학술대회
1992 .01
-
다변수 출력 함수에서 공통 논리식 추출
컴퓨터산업학회논문지
2006 .01
-
ON THE EQUIVALENCE OF NF2 RELATIONS
IEEE Region 10 Conference
1987 .01
-
Reliability Equivalence Factors of a Bridge Network System
International Journal of Reliability and Applications
2004 .06
-
Non-Boolean 성질을 갖는 암호 알고리즘의 조합 처리 로직 설계 기법
대한전자공학회 학술대회
2006 .11
-
Notes on Fuzzy Equivalence Relations
한국지능시스템학회 논문지
1997 .06
-
Fault Detection of Digital Systems by Using Boolean Difference
(구)정보과학회논문지
1977 .07
-
The Formulation of Multiplying Boolean Function
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
-
가솔린 엔진의 흡기밸브 리프트 변화에 따른 개별실린더 당량비 추정 및 제어 알고리즘에 관한 연구
한국자동차공학회논문집
2011 .09
-
Semi-Tensor Product 연산을 이용한 불리언 네트워크의 정적 제어
전기학회논문지
2017 .01
-
Fast Algorithm of Checking the Equivalence of Hadamard Matrices
한국통신학회 학술대회논문집
1999 .07
-
양방향 점진적 시프팅에 기반을 둔 BDD 최적화 기법
정보과학회논문지(A)
1998 .09
-
Discriminative Models for Automatic Acquisition of Translation Equivalences
International Journal of Control Automation and Systems
2007 .02
-
Reliability Equivalence of Two Non - identical Components
International Journal of Reliability and Applications
2008 .06
-
Boolean Factorization Technique Using Two-Cube Terms
ICEIC : International Conference on Electronics, Informations and Communications
2006 .06
-
Observability Analysis of Boolean Networks with Biological Applications
제어로봇시스템학회 국제학술대회 논문집
2009 .08
-
FAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION
Nuclear Engineering and Technology
2008 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017764760