2012-10-30 2012年10月29日、フォーマル検証ツールを手掛ける米Jasper Design Automation社は、新たな「JasperGold Apps」として、2つのプロパティ生成アプリのリリースを発表した。 EDA関連ニュース http://www.eda-express.com/2012/10/jasper2.html