ARM and Synopsys Logos


2008  
12/18 ユーザーの要望に応えてVMMの新機能をリリース
5/29 シノプシス、VMM標準ライブラリとVMM ApplicationをApacheオープンソース・ライセンス方式で公開
5/13 シノプシス、業界で実績の高いVMMライブラリとアプリケーションをAccelleraに寄贈 

本書は、SystemVerilogを用いて検証環境を構築する際の推奨参考書です。本書は STARC IP技術開発室が開発している
IP機能検証ガイドを補完するもので、本書に述べられた最新のカバレッジドリブン機能検証技術により、SoC設計品質と設計生産性を改善できます。

株式会社 半導体理工学研究センター(STARC)
開発第2部 IP技術開発室長 古井 芳春 氏

Verification Methodology Manual for SystemVerilog

Verification Methodology Manual for SystemVerilogは、システムオンチップの検証を 成功に導く解説書です。本書には、業界標準の設計検証言語SystemVerilogを用いて、カ バレッジ・ドリブンの制約条件付きランダム検証テクニックやアサーションベース検証テクニックを活用して包括的な検証環境を構築するノウハウや、様々な検 証フェーズで相互運用可能な検証用IPライブラリの作成方法を始め、複雑なシステムオンチップ検証手法をリードしてきたエキスパート・エンジニアが用いてきた先進の機能検証テクニックが詳細に解説されています。