「検証言語「Vera」のルーツは妖怪人間」，米国EDAベンチャの日本人CTOに聞く

　最近大手のEDAベンダーがこぞってサポートを発表する「SystemVerilog」。その中の基盤技術に「Vera」という検証用言語がある。今回，Veraの開発者である粕谷敦氏に，Veraの誕生秘話や，現在同氏がCTOを務めるベンチャ企業におけるSystemC検証への取り組みを聞いた。
→ http://techon.nikkeibp.co.jp/article/NEWS/20060418/116315/