2013-10-02 【Verify2013】ルネサス、マイコン開発でのIP組み合わせ検証でフォーマル検証を活用 EDA関連ニュース http://www.eda-express.com/2013/10/verify2013ip.html