2017/7/21に日本ケイデンス・デザイン・システムズ社主催CDNLive2017で、 「XceliumとJasperGoldのカバレッジをコンバイン！！」 と題して、シミュレーションとフォーマル検証を適材適所で使用し、その品質指標を統一的なメトリクスとして確認する一例として、カバレッジを統一的に扱う事例を紹介致しました。 LSIの大規模化/システムの複雑化に伴う検証コストの増大という課題解決に向け、更なる効率化を推進していきます。