2011-06-22 【48DAC】初出展のOski、フォーマル検証はノウハウ次第でもっと効果が上がる EDA関連ニュース http://www.eda-express.com/2011/06/48dacoski.html