[ keyword: EDA ]

Synopsys,SystemVerilogに対応した検証用IPやフォーマル検証ツールを提供開始

 米国Synopsys社は,同社の検証用IP(intellectual property)である「VCS Verification Library」のSystemVerilog対応版の提供を開始した.AMBA3.0 AXI(Advanced eXtensible Interface),AMBA2.0 AHB(Advanced High-performance Bus)/APB(Advanced Peripheral Bus),Serial ATA,PCI Express,USB On-the-Go,USB1.1/2.0,PCI/PCI-X,Ethernet,Serial I/O,I2Cといったインターフェース規格,および各種メモリ・モデルのSystemVerilogテストベンチを用意する.既存のDesignWare検証用IPのユーザは無償で入手可能.

 本テストベンチには,トランザクタ,モニタ,シナリオ・ジェネレータなどが含まれる.これらのテストベンチの構成要素は,英国ARM社とSynopsys社が共同で作成した「Verification Methodology Manual for SystemVerilog」に準拠している.

 また,今回,同社のプロパティ検証ツール「Magellan」にRTL(register transfer level)のSystemVerilog記述を入力できるようにした.さらに,等価性検証ツール「Formality」に,SystemVerilogパーサ(字句・構文解析ソフトウェア)を組み込んだ.従来は前処理として,言語変換ソフトウェアを使用して入力となるSystemVerilog記述を変換し,等価性検証ツールに渡していた.これにより,RTL設計・検証に利用される同社のすべてのツールがSystemVerilog対応になったという.

■価格
1,777,671円(DesignWare検証用ライブラリ,1年間のライセンス料)
950,135円(PCI Expressテストベンチ,1年間のライセンス料)
919,485円(USBテストベンチ,1年間のライセンス料)

■連絡先
日本シノプシス株式会社
TEL: 03-5746-1780
URL: http://www.synopsys.co.jp/

組み込みキャッチアップ

お知らせ 一覧を見る

電子書籍の最新刊! FPGAマガジン No.12『ARMコアFPGA×Linux初体験』好評発売中

FPGAマガジン No.11『性能UP! アルゴリズム×手仕上げHDL』好評発売中! PDF版もあります

PICK UP用語

EV(電気自動車)

関連記事

EnOcean

関連記事

Android

関連記事

ニュース 一覧を見る
Tech Villageブログ

渡辺のぼるのロボコン・プロモータ日記

2年ぶりのブログ更新w

2016年10月 9日

Hamana Project

Hamana-8最終打ち上げ報告(その2)

2012年6月26日