Iterative Layering: Optimizing Arithmetic Circuits by Structuring the Information Flow
Abstract
現在の論理合成技術は、XORを主体とした回路や、入出力間のファンイン依存性が高い回路には効果がありません
多くのオプティマイザは、手作業で最適化された算術コンポーネントのライブラリを採用していますがコンポーネントの境界を越えて最適化することはできません。
マルチレベル最適化で使用されるカバーリング・アルゴリズムに似ていますが、Sum-of-Product形式や特定の入力表現に基づくものではありません