論理シミュレータ・エミュレータ関連
ASCII.jp:SoC技術論 開発期間に大きく影響する検証とデバッグ (2/3)|ロードマップでわかる!当世プロセッサー事情
米Quickturn社,2億ゲート規模を想定した論理検証環境を発売 | 日経 xTECH(クロステック)
Palladium XP Verification Computing Series
http://www.cadence.co.jp/products/sd/hardwaresoftware.html
http://homepage2.nifty.com/Miwa/6_F230-60/6_3(3).html
http://museum.ipsj.or.jp/guide/pdf/magazine/IPSJ-MGN440210.pdf