TriCore2およびその他のプロセッサの完全なフォーマル検証
DVCon 2007で発表されたこの論文は、OneSpinの360 MVをInfineonの安全性が重視される組み込みアプリケーション向け次世代ハイエンド プロセッサであるTriCore2に適用した事例を紹介しています。 他のフォーマル アプローチとは異なり、ここで採用されている手法はシミュレーションから独立してハードウェア検証を行うものです。 検証プランとプロパティ セットに含まれるすべてのギャップを体系的に消していくことで、IPに機能的エラーが含まれない、最高の品質を保証します。TriCore2およびその他のプロセッサの完全なフォーマル検証