빠른 소수항 찾기를 위한 축소 오프셋 기반 방법

초록

본 논문은 전통적인 임플리칸트 확장 방식이 직면하는 지수적 복잡성을 피하기 위해, 축소 오프셋(Reduced Offset) 개념을 이용한 새로운 비트‑연산 기반 알고리즘을 제안한다. 차이 지시자(Difference Indicator)를 이용해 오프셋 큐브를 단일 n‑비트 문자열로 표현하고, 이를 통해 소수항(Prime Implicant) 생성 과정을 크게 가속화한다. 실험 결과, 단일 출력 MCNC 벤치마크에서 메모리 사용량 감소와 함께 최소 SOP 도출 속도가 현존 기법보다 현저히 향상됨을 확인하였다.

상세 분석

이 논문은 SOP(합‑곱) 최소화 과정에서 가장 비용이 많이 드는 단계인 “주어진 온‑큐브를 덮는 소수항 집합 생성”을 재구성한다. 기존 방법은 온‑큐브의 리터럴을 하나씩 제거하면서 오프셋 집합과 교차 검사를 수행하는데, 리터럴 제거 순서와 검사 순서 두 가지가 지수적 복잡도를 야기한다. 저자들은 이러한 문제를 해결하기 위해 ‘축소 오프셋(Reduced Offset)’ 개념을 도입한다. 핵심 아이디어는 각 오프셋 큐브 Z를 온‑큐브 P와 비교해, P와 상보인 리터럴만 남기고 나머지는 ‘don’t‑care’로 바꾸는 변환을 수행하는 것이다. 이 변환 결과는 기존의 두 개의 n‑비트 문자열(L‑비트와 R‑비트) 대신, 하나의 n‑비트 문자열인 차이 지시자(DI)로 표현될 수 있다. DI는 P와 Z의 오른쪽 비트 문자열을 XOR 연산한 결과이며, 1은 해당 위치가 ‘don’t‑care’임을, 0은 리터럴이 고정됨을 의미한다.

DI를 이용하면 두 축소 큐브 간의 포함 관계(흡수 관계)를 단순히 비트‑AND 연산으로 판단할 수 있다. 즉, 한 DI가 다른 DI의 1‑비트 집합을 완전히 포함하면 전자는 후자에 의해 흡수된다. 따라서 전체 오프셋 집합을 순회하면서 새로운 DI를 생성하고, 기존 DI 집합과 비교해 흡수 여부를 즉시 결정한다. 이 과정은 각 오프셋 큐브당 O(1) 수준의 비트 연산만 필요하므로, 전체 복잡도는 O(|S_OFF|·n) 정도로 감소한다.

다음 단계에서는 최소화된 DI 집합(S_DM)으로부터 De Morgan 법칙에 기반한 절(clause) 집합을 만든다. 각 m‑DI는 m개의 1‑DI로 분해되며, 이는 선형 시간(O(n)) 안에 수행된다. 이후 Nelson 정리를 적용해 POS를 SOP로 변환하고, 최종적으로 온‑큐브와의 AND 연산을 통해 실제 리터럴의 극성(보수/비보수)을 결정한다.

실험에서는 45개의 표준 MCNC 단일 출력 벤치마크를 대상으로 기존 MINi, PRESTO, Espresso와 비교했으며, 메모리 사용량이 평균 30 % 이상 감소하고, 소수항 생성 속도가 2배 이상 빨라졌다. 특히 오프셋 집합이 큰 경우(예: 2ⁿ에 근접)에도 제안 방법은 여전히 실용적인 실행 시간을 보였다. 이는 DI 기반 표현이 오프셋을 압축하고, 흡수 검사를 효율화함으로써 전통적인 ‘리터럴 제거 → 교차 검사’ 루프를 근본적으로 대체했기 때문이다.

이 논문의 주요 공헌은 다음과 같다.

1. 축소 오프셋을 단일 n‑비트 문자열(DI)로 표현하는 새로운 데이터 구조 제시.
2. DI 간의 흡수 관계를 비트‑연산으로 즉시 판단하는 알고리즘 설계, 복잡도 O(|S_OFF|·n) 달성.
3. DI → 절 → 소수항 변환 파이프라인을 정형화하고, 각 단계의 시간 복잡도를 명시적으로 분석.
4. 실험을 통해 메모리 절감 및 실행 시간 향상을 실증, 특히 대규모 오프셋에 대한 강인성 입증.

이러한 접근은 기존 SOP 최소화 툴에 쉽게 통합될 수 있으며, 향후 다중 출력 함수나 다중 레벨 논리 합성에도 확장 가능성이 있다.