2011-05-19 ARM、社内の製品バリデーション・メソドロジでJasperのフォーマル検証技術を採用 EDA関連ニュース http://www.eda-express.com/2011/05/armjasper.html