2013-11-14 NECが通信システム用LSIの開発でReal Intentのフォーマル検証ツールを標準採用 EDA関連ニュース http://www.eda-express.com/2013/11/neclsireal-intent.html