2010-02-25 アベラント、フォーマル検証ツール「Solidify」をバージョンアップ EDA関連ニュース http://www.eda-express.com/2010/02/solidify-1.html