お知らせ

2023年5月25日　日本ケイデンス・デザイン・システムズ社主催のClub Formal Japan 2023で講演

LSI設計において世界で有力なEDAツールベンダーである日本ケイデンス・デザイン・システムズ社で

フォーマル検証（formal verification）に関して講演を行いました。フォーマル検証とは、回路そのものを

数学的に解析し、網羅的に検証する手法です。

2021年3月4日の講演では、ケイデンス・デザイン・システムズ社のJasper-CSRを用いたレジスタ検証

において、昨今では必須であるレジスタ制御におけるセイフティー、セキュリティ機能の検証手法を中心に

さまざまなノウハウを紹介しました。

2023年5月25日の講演では、複雑な動作を伴う回路に対するフォーマル検証の課題を解決する手法

について具体的な事例を交えて紹介しました。フォーマル検証の課題の一つとして、検証結果がPass

でもFailでもない、未収束という結果となる場合があります。複雑な回路では特に顕著です。その課題

に対して抽象化という手法を適用し、未収束であった結果を99%改善させた事例を紹介しました。