2011-05-24 OneSpinがフォーマル検証のカバレッジ解析/計測の新製品「Quantify MDV」を発表 EDA関連ニュース http://www.eda-express.com/2011/05/onespinquantify-mdv.html