SmartDV

検証IP関連ソリューション:SmartDV

SmartDV は非常に高品質かつ高速な、シミュレーション版および合成可能な検証IPを幅広く提供しています。検証IPは全て仕様書を基に社内で開発された高抽象度な言語を用いて記述され、独自のコンパイラ技術によって各言語(UVM, VMM, OVM, Vera, System Verilog、e、UML、SystemC、Verilog、VHDL等)対応のものが自動生成されます。そのため言語間でビヘイビアやタイミングが共通なだけでなく、使い方やマニュアル構成も共通になっています。
各検証 IPは完全な機能カバレッジを実現するモデルと、コンプライアンス・テスト・スイートが一緒に無償リリースされます。SmartDV は各プロトコルや検証IPに関する高度な専門知識をもつエンジニアによる検証サービスも提供しています。本検証サービスを活用することで、短期間で高度な検証を実施可能です。
また汎用の検証IPだけでなく、顧客のカスタム・プロトコル向け検証IPの開発や、デザインIPの開発・販売も行っています。
SmartDV HP:http://www.smart-dv.com/index.html

シミュレーション版検証IP

SmartDVはMIPI、ネットワー キング、インターコネクト、ストレージ、自動車向け、メモリ、シリアルバス およびディスプレイと多岐に渡る自社製の検証IPを提供しています。これらの検証IPは200名超(2018年7月時点)のエンジニアによって自社開発されたものです。R&Dのエンジニアが直接顧客をサポートするため、短時間で正確なサポートを受けることができ、検証の生産性を大幅に向上可能です。

特長

  • 業界最多の検証IP(150種類以上:2018年7月時点)をサポート
  • 自社製言語とコンパイラを用いることで多種((UVM, VMM, OVM, Vera, System Verilog、e、UML、SystemC、Verilog、VHDL等)の言語をサポート
  • 100%機能カバレッジを実現するモデルと、コンプライアンス・テスト・スイートを無償提供
  • 一部ソースコードを提供
  • 24時間以内のサポートおよびバグフィックス
  • 細かいタイミング調整等のカスタマイズを短期間に無償で対応

*提供中の検証IPのリストは毎月追加されるため、以下のURLにて最新情報をご確認ください。
http://www.smart-dv.com/products.html

SimXL:合成可能な検証IP:SimXL

SmartDVはエミュレータやFPGA上で動作可能な、合成版検証IP(SimXL)を提供しています。SimXLは社内開発されたコンパイラ技術によって、シミュレーション版と同じソースコードから自動生成されるため、シミュレーション版と同じAPIや機能をもつだけでなく、シミュレーション版向けに開発されたシーケンス・ライブラリやテストケースを再利用可能です。シミュレーション版と同様のログ出力機能や、エラー注入機能をもちつつ、シミュレーション版と比較し数10倍から数1,000倍高速な検証を実現

特長

  • シミュレーション版と同じビヘイビアと遅延
  • シミュレーション版向けに開発されたシーケンス・ライブラリやテストケースを再利用可能
  • 大手のエミュレータ(palladium, Veloce, Zebu)をサポート
  • カスタムFPGAやHAPS上で動作可能
  • シミュレーションと比較し、数10倍から数1,000倍高速
  • 各種ログデータの出力やエラー注入可能

*提供中のSimXLのリストは毎月追加されるため、以下のURLにて最新情報をご確認ください。
http://www.smart-dv.com/products.html

フォーマル・ベリフィケーションIP(アサーションIP)とPSVIP

SmartDVはSoCやASICデザインにおける豊富な検証IPの経験をもとに、2018年よりアサーションVIPおよびPSVIP(ポストシリコンVIP)のリリースを始めました。サポートされている最新のIPは以下のURLをご確認下さい。
http://www.smart-dv.com/products.html

検証/ デザイン・サービス

SmartDV では検証IPを開発した実績をもち、各プロトコルや検証IPに関する高度な専門知識をもつエンジニアによる検証サービスを提供しています。検証IPを開発したエンジニアが対応するため、検証環境の構築やテスト・シナリオの作成にかかる時間を大幅に短縮すると同時に高度な検証を実施可能です。
また汎用の検証IPだけでなく、顧客のカスタム・プロトコル向け検証IPの開発も行っています。既に確定しているプロトコル向けの検証IPの開発だけでなく、一緒にプロトコルの検討・開発を行うコンサルティングも実施しています。
さらに非常に高いスキルをもつエンジニアによる、デザインIPの開発・販売も行っています。SmartDVのデザインIPは低価格でロイヤリティが掛からないため、開発コストを大幅に削減可能です。

*提供中のデザインIPのリストは毎月追加されるため、以下のURLにて最新情報をご確認ください。
http://www.smart-dv.com/products.html