デザインサービス > LSI/FPGA検証サービス
|
|
アイベックステクノロジーでは、お客様がコーディングされたRTLの検証を行う
サービスも承っております。
当社はMPEG/H.264のIP/製品を主に開発しており、画像処理を
コアコンピタンスとするデザインハウスでございますが、これらのRTLの検証には
以下のような検証環境を構築して、検証を実施しております。
概要

※PDFファイルはこちら
このような検証環境をお客様に代わって構築し、機能仕様書から検証リスト
及びシナリオの作成、設計仕様書からのCリファレンスモデル作成、検証の
実施を行います。
これはVerilogのみによる検証環境ですが、ここにSVA(System Verilog Assertion)、
SVTB(System Verilog Test Bench)を導入することにより、バスインターフェースの
プロトコルチェックや、テストデータの制約付きランダムによる自動生成、
機能カバレッジなどを付加することが可能になります。
また弊社はCadence社(http://www.cadence.co.jp/)のVerification Alliance Partnerでもあり、
UVM/OVMにも積極的に取り組んでおります。
|
|
|
|