Slicing Floorplanに対するZDD（Sequence BDD）の構築

摘要

Slicing floorplanはVLSIレイアウト設計などへの応用を持つ矩形分割の有用なクラスの1つである．Slicing floorplanの個数は分割数に対し指数関数的に増加するが，本報告ではゼロサプレス型BDD（ZDD）あるいはSequence （Seq BDD）を用いて，効率的な列挙索引化が実現できることを示す．