2014-05-23 Mentorがフォーマル検証の新製品「Questa PropGen」を発表、プロパティを自動生成 EDA関連ニュース http://www.eda-express.com/2014/05/mentorquesta-propgen.html