■

ＥＤＡ●国産のAHBバス向け検証IP，ランダム検証の効率化を狙う
　アクティブテクノロジー（本社:埼玉県所沢市）は，AHBバス向けの検証用IP
「AHB@VIP」を発売した。AHBバスと接続するIPコアや，AHBバスを持つSoCなどのラン
ダム検証に向ける。今回の製品はSystemVerilogとOVM（Open Verification
Methodology）をベースに開発された。
→ http://techon.nikkeibp.co.jp/article/NEWS/20090226/166422/

ＥＤＡ●動作合成前のC言語モデルの品質をチェックするツール，米Certessが発売
　米Certess, Inc.は，SoCやIPコアのC言語モデルの品質や，C言語検証環境の検証能
力をチェックするためのEDAツール「Certitude-C」を発売した，と発表した。
→ http://techon.nikkeibp.co.jp/article/NEWS/20090226/166417/

ＥＤＡ●機能検証手法のOVM，検証カバレッジ・データをアクセスするためのAPIなど
を公開
　米Mentor Graphics Corp.と米Cadence Design Systems, Inc.は，両社が策定した
検証手法「OVM（Open Verification Methodology）」に，検証カバレッジ・データを
扱うための規格を加えたと発表した。この規格も両社からの寄贈をベースにしている
という。