LSI設計の外の世界では検証の難しさはどうなっているのか？

　SoCの検証はチップの大規模化や複雑化に伴ってますます困難，かつ重要になって
いる。この検証の困難さに対して，さまざまな手法や方法論が提案され，ツールが開
発されてきた。「検証の困難さ，重要さをLSI設計の外の世界ではどう捉えているか
？」を知って，LSIの検証問題を客観的に見つめなおそうというセッションが，「45t
h Design automation conference」であった。
→ http://techon.nikkeibp.co.jp/article/NEWS/20080616/153318/