Cadenceが提供するSoC検証環境
検証環境や検証手順を管理するソフトウエア群(図の上方の「Total Verification Management」)と検証ツール群(図の下方)からなる。検証ツールのうち左の2つ(フォーマルベリファイア(図中のFormal)と論理シミュレーター(図中のSimulation))は、汎用コンピューターで稼働するソフトウエア。右の2つが今回の新製品で、どちらも専用の装置(ハードウエア)。(出所:Cadence Design Systems)

記事へ戻る