2012-09-21 フォーマル検証のReal Intentが2012 Best of Sunnyvale Awardを受賞 EDA関連ニュース http://www.eda-express.com/2012/09/real-intent2012-best-of-sunnyvale-award.html