システムレベル設計言語に対するフォールスパスを考慮した性能評価

摘要

近年の高度に複雑化したシステムLSIを設計する際には，設計の早い段階から最大遅延や最小遅延などのタイミング情報を解析することが重要である．設計の遅延を静的に解析する場合，実際には実行されないフォールスパスによって最大遅延は本来より過大に評価されてしまう．本稿では．システムレベル設計言語に対する最大遅延の解析を行うにあたって，決定手続きによる真偽判定を用いて条件式を判定することによってフォールスパスを自動的に除外する手法と，分割統治法によって探索するパス数を制限してパス爆発を回避する手法を提案する．実験によって，フォールスパスを考慮しない場合に比べて最大遅延の評価の精度が向上したことを示す．%In designing today's highly complicated system-LSIs, it is essential to estimate timing information such as worst-case or best-case execution time in early design stages. Basicaly statically estimated worst-case execution time is longer than real worst-case execution time because of the false-paths which are not executed actually. In this paper, we present the worst-case performance analysis methods in system-level designs, considering false-paths by using a decision procedure. Also, we adopt divide and conqure approarch to aviod a path explosion problem. The experimental results show that our methods can estimate the worst-case execution time effectively in a short time.