事業内容
ベリフォア検証IP
検証効率向上の為に、ベリフォアでは各種SoCインタフェース向け検証IP群をご用意しています。これらの検証IPは全てSystemVerilogで記述されており、高速なコンパイル時間、シュミレーション時間を実現しています。また通常のマスター・スレーブ・モニターなどの機能はもちろん、検証効率と移植性を最大限に考慮したスコアボード、メモリマネージャーなどのコンポーネントも同時にサポートしています。お客様独自仕様のインタフェースなどへの対応も可能で、多数の開発実績がございます。
- AMBA(AXI, AHB, APB)
- Memory(DDR1/2/3)
- その他
NextOp software, inc(BugScope)
ABV(Assertion-Based Verification)は、多くのLSI設計現場で導入例が増えてきています。その効果が証明されている一方で、アサーションを書くための新しい言語の習得や設計者がアサーションを書く時間が取れないなどの問題もあり、当初期待されたほど一般的な導入が進んでいないのも事実です。NextOp社のBugScopeテクノロジはRTLとテストベンチからプロパティを自動合成して高効率な検証をサポートします。このツールはPLIを使って動作するため、Simulatorを選ぶことなく簡単に現在お使いのシミュレーション環境に導入していただけます。また抽出されたプロパティもSVA、PSL、Verilogのフォーマットに自動変換してくれますのでABVの導入を非常に簡単に実現することができます。
Interactive 2-D Projection Cross Coverage Viewer
カバレッジドリブン検証で検証エンジニアにとって重要なのは、所謂カバレッジホールの根本原因を見つけて、適切なフィードバックをテストシナリオに与えてやることです。昨今の複雑な検証対象の場合には、クロスカバレッジを扱い広大なカバレッジスペースになる傾向が大きく、カバレッジ結果から効果的にカバレッジパターンやカバレッジホールを発見する作業工数が増大する傾向にあります。そこでベリフォアは、カバレッジホールの解析を容易にするツールとして独自のカバレッジビューワを開発しました。
事業内容
