A system for behavioral synthesis includes an unnecessary logic analysis means and a performanceevaluation model output means, and the logic which does not affect the number of execution cycles in a cycle level model is eliminated. 不要論理解析手段と、性能評価モデル出力手段とを備え、サイクルレベルモデル中の実行サイクル数に影響を与えない論理を削除する。 - 特許庁