| ●展示内容 |
JEDA Technologies(日本代理店株式会社エッチ・ディー・ラボ)はSystemC上での様々な抽象度における検証環境(アサーション/カバレッジ/ランダムテスト生成)を提供しております。
JEDAのOCP製品を用いることで、ユーザーはIPモデル・プラットフォーム上でOCPプロトコルの検証を行うことが可能となり、パフォーマンスチェックやカバレッジ解析を実施できます。
製品概要:
1.OCP Checker(プロトコルチェック)
OCP CheckerはOCPIP Functional Verification Working Groupのコンプライアンスチェックスペックに完全に準拠して実装されており、最新のOCP2.2プロトコルチェックをサポート。
OCP CheckerはJEDA社製品NSCa(Native SystemC Assertions)を用いることで実現しています。
2.パフォーマンスチェックと解析(NSCa)
OCPのプロトコルチェックに加えて、JEDAはTLMベリフィケーションソリューションを提供しています。
ユーザーはオンザフライでPVT(Programmer's view with timing)レベル(OCP TL2)でパフォーマンスチェックを行うことが可能です。
3.OCP Cov(プロトコルカバレッジ計測)
OCPのシステムシミュレーションカバレッジを計測するために、JEDAは詳細なトランザクションとプロトコルカバレッジの情報を提供します。
4.OCP itg(OCP ランダムパターン/シーケンス生成)
アーキテクチャの探索、OCPシステムパフォーマンス計測を容易にするために、ランダムテスト生成のソリューションを提供。 |
