2011-08-03 Averantがフォーマル検証ツール「Solidify」に等価検証の新機能を追加 EDA関連ニュース http://www.eda-express.com/2011/08/averantsolidify-1.html