■出展物紹介サイバーテックは設立から10年間最新の機能検証技術を提供し、お客様の抱える問題を解決して参りました。ランダム検証やカバレッジドリブン検証を取り入れ、検証の網羅性を高めることを提唱してきましたが、更に確実な検証を行うためにフォーマル手法の併用を提案します。機能検証のみならず設計の早い段階からフォーマル手法を取り入れることが、設計の品質を向上しトータルの開発期間を短縮する重要なポイントです。Automation社のフォーマル検証ツールJasperGoldは、RTLコーディング開始時のバグハンティングからブロックレベルの完全検証まで適用できる豊富な機能と優れた能力を持っています。出展者セミナーでは、様々な設計・検証フェーズにおけるフォーマル手法の効果的な適用方法を紹介します。展示ブースでは、その適用に役立つJasperGoldの機能をご覧いただけます。システムLSIの開発において、機能・論理検証に費やす期間が、全体の70%以上に達するといわれており、いかに網羅性の高い検証を短期間に行うかが大きな課題となっている。従来のシミュレーション手法に代わり、PSLやSVAを使ったアサーションベース検証手法やハイレベルな完全フォーマル検証など新しい技術や製品が出てきている。本セミナーでは、これらの技術に加え、さらに最新のフォーマル検証技術動向についても紹介する。最近のフォーマル検証技術の進歩によりRTL設計や機能検証におけるフォーマル検証ツールの適用範囲が広がっています。設計の初期段階における動作確認からエンド・ツー・エンドのブロック検証まで様々な局面でフォーマル検証ツールを使用することが出来るようになりました。本セミナーでは、JasperGoldを使ってどのようなことが出来るのか、実用的な事例を示しながら幅広い使い方を紹介します。フォーマル検証ツールを導入したいが、どこにどの様に適応すれば良いのか分からない...これまでフォーマル検証ツールは使ってみたが、制限が多くうまく使えないという声をよく聞きます。技術の進歩や新しい適用モデルにより、アサーション検証だけではなく、テストベンチもテストベクタも要らないRTL記述の動作確認にも適用可能になりました。本セミナーでは、フォーマル検証ツールの様々な応用や適用事例を紹介します。NN4.7以上で動作確認を行っております。