2013-01-29 2013年1月24日、フォーマル検証技術をベースとした検証ツールを手掛ける米Real Intent社は、SDCのマネジメント及び検証ツール「Meridian Constraints」のバージョンアップを発表した。 EDA関連ニュース http://www.eda-express.com/2013/01/real-intentsdcmeridian-constraints.html