2015-06-12 2015年6月15日、Cadenceは第52回DACの開催に合わせて新製品のフォーマル検証ツール「JasperGold」の発表を行った。 EDA関連ニュース http://www.eda-express.com/2015/06/52daccadencejaspergold15.html