[논문 리뷰] Programing implementation of the Quine-McCluskey method for minimization of Boolean expression

Jiangbo Huang|arXiv (Cornell University)|2014. 10. 04.

Formal Methods in Verification참고 문헌 2인용 수 4

한 줄 요약

이 논문은 불린 표현식을 최소화하기 위한 Quine-McCluskey (QM) 방법의 C 기반 프로그래밍 구현을 제시한다. 이는 변수 수에 제한이 없고, '다음에 고려하지 않음(don't-care)' 조건을 명시적으로 다룰 수 있다. 이 방법은 미터텀을 그룹화하고, 이웃한 그룹 간의 쌍별 비교를 통해 소수 임피카트를 생성하며, 최소 커버 집합을 찾기 위한 선택 알고리즘을 사용한다. 이는 회로 설계 및 알고리즘 최적화 분야에서 자동화된 논리 최소화를 위한 강력하고 확장 가능하며 스케일러블한 솔루션을 제공한다.

ABSTRACT

A Boolean function is a function that produces a Boolean value output by logical calculation of Boolean inputs. It plays key roles in programing algorithms and design of circuits. Minimization of Boolean function is able to optimize the algorithms and circuits. Quine-McCluskey (QM) method is one of the most powerful techniques to simplify Boolean expressions. Compared to other techniques, QM method is more executable and can handle more variables. In addition, QM method is easier to be implemented in computer programs, which makes it an efficient technique. There are several versions of QM simulation codes online, whereas some of them appear to have limitations of variables numbers or lack the consideration of Dont-Care conditions. Here a QM simulation code based on C programing is introduced. Theoretically it is able to handle any number of variables and has taken the Dont-Care conditions into account.

연구 동기 및 목표

• 불린 표현식 최소화를 위한 확장 가능하고 프로그래밍 가능한 Quine-McCluskey 방법의 구현을 개발하기 위해.
• 기존 QM 시뮬레이션 코드의 한계, 즉 변수 수 제한 및 don't-care 조건 처리 부족을 해결하기 위해.
• 더 큰 설계 및 검증 도구에 통합하기에 적합한 신뢰성 있고 확장 가능하며 효율적인 C 기반 솔루션을 제공하기 위해.
• 모든 입력 구성에서 소수 임피카트 생성 및 최소 커버 선택의 정확성과 완전성을 보장하기 위해.

제안 방법

• 방법은 불린 표현식의 이진 표현에서 1의 개수에 따라 미터텀을 그룹화함으로써 시작된다.
• 이웃한 그룹의 미터텀 간에 쌍별 비교를 수행하여 단 한 비트만 다를 경우를 식별하고 병합함으로써 소수 임피카트를 생성한다.
• 더 이상 병합이 불가능할 때까지 반복적으로 과정을 수행하여 완전한 소수 임피카트 집합을 도출한다.
• 다음에 고려하지 않음 조건은 초기 그룹화 및 병합 단계에서 통합되어 최소화 효율을 향상시킨다.
• 모든 미터텀을 커버하는 최소 수의 소수 임피카트를 식별하기 위해 선택 알고리즘을 적용한다.
• 최종 출력은 최적의 항 수를 가진 최소화된 합의 곱 형태 불린 표현식이다.

실험 결과

연구 질문

• RQ1 하드코딩된 제한 없이 임의의 수의 입력 변수를 처리할 수 있도록 C 기반 QM 방법의 구현을 설계할 수 있는가?
• RQ2 다음에 고려하지 않음 조건을 QM 알고리즘에 효과적으로 통합하여 최소화 결과를 향상시킬 수 있는가?
• RQ3 소수 임피카트 생성 및 선택 과정에서 정확성과 완전성을 보장하기 위한 주요 구현 과제는 무엇인가?
• RQ4 기존의 온라인 QM 시뮬레이터와 비교해 본다면, 제안된 구현의 성능 및 신뢰성은 어떠한가?

주요 결과

• 이 구현은 기존 QM 시뮬레이터에서 흔히 볼 수 있는 제한을 넘어선 임의의 수의 입력 변수를 성공적으로 지원한다.
• 병합 과정 중에 다음에 고려하지 않음 조건을 통합함으로써 더 컴act하고 최적화된 불린 표현식을 도출할 수 있었다.
• 알고리즘은 모든 소수 임피카트를 정확히 생성하고 체계적인 선택을 통해 최소 커버 집합을 식별하였다.
• 이 솔루션은 강력하고 확장 가능하여 자동화된 논리 설계 및 검증 파이프라인에 통합하기에 적합하다.