Club Formal 2016での講演
主催
日本ケイデンス・デザイン・システムズ社
イベント名
ClubFormal 2016
「JasperGold COV App、及び、SPV Appの適用効果事例紹介」
2016/12/8に、日本ケイデンス・デザイン・システムズ社主催のClubFormal 2016で、 「JasperGold COV App、及び、SPV Appの適用効果事例紹介」 と題して講演を行いました。
LSIの大規模化/複雑化に伴い、機能検証を網羅的にかつ効率的におこなうことが、LSI開発を成功させる重要な鍵となっています。我々はシミュレーションに加えフォーマル検証の適用にて、検証網羅性向上かつ効率化を推進していきます。