[論文レビュー] Programing implementation of the Quine-McCluskey method for minimization of Boolean expression

Jiangbo Huang|arXiv (Cornell University)|Oct 4, 2014

Formal Methods in Verification参考文献 2被引用数 4

ひとこと要約

本論文では、任意の変数数をサポートし、明示的に「ドントケア」条件を扱える、ブール式の最小化のためのC言語ベースのプログラミング実装を提示する。このアプローチは、ミンタームを体系的にグループ化し、対比較による素因数生成を実行し、最小カバー集合を特定する選択アルゴリズムを用いる。これにより、回路設計やアルゴリズム最適化における自動化された論理最小化のための、堅牢でスケーラブルかつ拡張可能なソリューションが提供される。

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シミュレーションコードに見られる制限、例えば変数数の制限やドントケア条件の非対応を解消すること。
• 大規模な設計・検証ツールへの統合に適した、信頼性があり拡張可能で効率的なC言語ベースのソリューションを提供すること。
• すべての入力設定において、素因数生成と最小カバー選択の正しさと完全性を保証すること。

提案手法

• まず、ミンタームをその2進表現における1の数に基づいてグループ化する。
• 隣接するグループ間のミンターム同士を対比較し、1ビットのみ異なるものを特定・統合することで、素因数を生成する。
• これ以上の統合が不可能になるまで反復的に処理を継続し、完全な素因数集合が得られる。
• ドントケア条件は、初期のグループ化および統合段階で統合され、最小化の効率が向上する。
• すべてのミンタームをカバーする最小の素因数集合を特定するために、選択アルゴリズムを適用する。
• 最終的な出力は、最適な項数を持つ最小化済みの積和標準形ブール式である。

実験結果

リサーチクエスチョン

• RQ1 ハードコードされた制限なしに、任意の入力変数数を処理できるC言語ベースのQuine-McCluskey法の実装を設計できるか？
• RQ2 ドントケア条件をQMアルゴリズムに効果的に統合することで、最小化結果をどのように改善できるか？
• RQ3 素因数生成および選択における正しさと完全性を保証するための主な実装上の課題は何か？
• RQ4 本実装は、既存のオンラインQMシミュレータと比較して、性能および信頼性においてどのように異なるか？

主な発見

• 実装は、既存のQMシミュレータで一般的な制限である変数数の制限を克服し、任意の入力変数数をサポートしている。
• 統合段階でドントケア条件を組み込むことで、よりコンactで最適化されたブール式が得られる。
• アルゴリズムはすべての素因数を正しく生成し、体系的な選択により最小カバー集合を特定している。
• このソリューションは、信頼性がありスケーラブルであり、自動論理設計および検証パイプラインへの統合に適している。