http://www.eda-express.com/2010/02/duologsocratesovm.htmlOpen Verification Methodology Cookbook作者: Mark Glasser出版社/メーカー: Springer発売日: 2009/07/28メディア: ハードカバーこの商品を含むブログ (4件) を見る