2010-11-05 2010年11月5日、フォーマル検証ツールを手掛ける米Averant社は、同社の顧客である東芝がフォーマル検証ツール「Solidify」のライセンス数を増強した事を発表した。 EDA関連ニュース http://www.eda-express.com/2010/11/svasolidify.html