2014-04-04 2014年3月31日、フォーマル検証ツールを手掛けるJasper Design Automationは、新製品「Sequential Equivalency Checking App」のリリースを発表した。 EDA関連ニュース http://www.eda-express.com/2014/04/jasper-2.html