米Synopsys社は、51st Design Automation Conference(DAC 2014:2014年6月1日~5日に米サンフランシスコで開催)の展示会において、スタティック/フォーマル検証ツールを一気に4つ発表した。いずれのツールも機能検証用統合EDAシステム「Verification Compiler」に組み込まれてユーザーに提供されるほか、それぞれが単独のツールとしても販売される。

ここからは会員の登録が必要です。