2014-04-22 2014年4月21日、Cadenceはフォーマル検証ツールを手掛けるJasper Design Automationの買収を発表した。 EDA関連ニュース http://www.eda-express.com/2014/04/cadencejasper-design-automation17000.html