2012-07-19 パシフィック・デザインが自社開発したRTLフォーマル・プロパティ・チェッカを発売 EDA関連ニュース http://www.eda-express.com/2012/07/rtl-1.html