2009-10-08 【DACの話】富士通研、CedarとOVMを組み合わせて検証品質/検証効率を向上 EDA関連ニュース http://www.eda-express.com/2009/10/daccedarovm.html