2012-10-25 MentorがQuesta Verification Platformのフォーマル検証技術を強化 EDA関連ニュース http://www.eda-express.com/2012/10/mentorquesta-verification-platform.html