順序回路のタイミング例外パス検出のための実用的方法

摘要

本稿では，大規模な順序回路のタイミング例外パスを検出するための実用的方法を提案する．まず，回路中のパスの数え上げを行わず，かつ，回路を大域的に見てフォールスパスの検出を行う方法として，マルチプレクサ(MUX)グラフという概念を導入し，MUXグラフの縮約とMUXグラフ上のパスの数え上げによりフォールスパス集合の集合を生成し圧縮する方法を提案する．また，フリップフロップ(FF)ペアベースのマルチサイクルパス解析においてFFペア間の一部のパスのみマルチサイクルでめるようなパスも検出し，検出能力を向上させる方法を提案する．