2007年8月8日、ケイデンスは、同社の「Verification Alliance Program」に日本国内の5社が参加した事を発表した。プレスリリース

ケイデンスの「Verification Alliance Program」は、顧客の検証環境の構築を支援するための協業プログラムとして展開されているもので、ケイデンスの「Incisive Plan-to-Closure Methodology」に基づいた高度な検証ノウハウを持つ特定のサードパーティーがアライアンスメンバーとして参加している。

今回の発表によると、日本国内で同プログラムに参加したのは下記5社。いずれも既に国内で検証関連のソリューションを提供している企業で、今後はケイデンスと協力して、カバレッジ・ドリブン検証やアサーション・ベース検証を実現するシステム・レベルの検証環境の構築を支援していくという。

■Plan-to-Closure Methodology Qualified Verification Alliance Member

・アクティブテクノロジー株式会社
・株式会社エッチ・ディー・ラボ　
・株式会社沖ネットワークエルエスアイ　
・匠ソリューションズ株式会社　
・ベリフィケーションテクノロジー株式会社　

※日本ケイデンス・デザイン・システムズ社
※記事提供：EDA Express

Hardware Verification with System Verilog: An Object-Oriented Framework