フォーマル検証本来の可能性の実現（EEtimes記事）
10年ほど前、ゲートレベル シミュレーションは新しいフォーマル検証アプローチによって置き換えられました： 等価チェックは格段に優れた結果を提供することが証明されたのです。 このEETimes Viewpoint記事では、OneSpinの社長兼CEOであるPeter Feistが、完全なフォーマル機能検証が同じ可能性、すなわち幅広いデジタル モジュールおよびIPに対してシミュレーション ベースの検証を置き換える可能性を持っている理由を説明します。EETimes 記事： フォーマル検証本来の可能性の達成