CDNLive! India 2011

Verification Engineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

先日日本でも開催されました'CDNLive! 2011のインド版が開催されました。
その模様がケイデンスのブログ
：Report on CDNLive! India 2011: Provocative Keynotes, Detailed Papers, and Robots!にアップされました。

引用
　　ハイライトは、

　　・Functional verification roadmap
　　・Formal verification interest
　　・Our Rubik's Cube solving robot

　　のようです。

関連レポートとして、Team VerifyによるReport: Formal Analysis Papers at CDNLive India 2011もあります。

太っ腹です。論文はダウンロード可能です。当然、アカウントは必要ですが。

検証、Verification、Cadence

P.S
CDNLive! EMEA 2011 ― Conference Proceedings
CDNLive! Israel 2011 ― Conference Proceedings
もありました。

Tokyoの資料は無いです。