2013-08-08 2013年6月28日、フォーマル検証ソリューションを手掛ける米Jasper Design Automationは、新横浜のホテルで「Real-World Applicationセミナー」と題したプライベート・セミナーを開催した。 EDA関連ニュース http://www.eda-express.com/2013/08/jasperlow-power-apps.html