John CooleyのDAC2012見ておけリスト

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

今週からDACです。Twitterでは日曜日発の人が何人かいました。

DACには行ったことがないのですが、
John CooleyのDAC2012見ておけリストを見るといくつか興味深いものがありました。

    1)、Mentor Questa Static
　　2)、Rocketick RocketSim

です。

Mentor Questa Staticは、どうやらFormal関連ツールのようです。

RocketSimは、Cadence NC-Sim, Synopsys VCS, Mentor ModelSimとCo-Simするツールのようです。
アクセラレータという感じですかね？見てみたいです。ビデオでもいいです。

それから、

　　Cadenceのブースでは、Denali Party Ticket が貰える

ようです。

あの、Denali Party です

これは、行ってみたいです。
仮想、いや、仮装して、ロッキーホラーショーのフランクン・フルター博士、格好なんかいいですね。

だれか、USTでビデオ中継してください。

検証、Verification