ZocaloでSVA

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

DAC2010でも話題になったZocalo Tech。

今回は、Zocalo TechのWHITE PAPERを読みました。

ENABLING ASSERTION BASED VERIFICATION(18ページもの)

Zocalo Techで提供しているツールは、Zazzシリーズで次の4つがあります。

      Bird Dog
      Metrics
      Visual SVA
      Migrate

特に、Visual SVAはアサーションをビジュアルに作成できるツールで、
SVAをがんばって憶えなくてもそれなりにアサーション作ることができます。

Zocalo Techは、シリコンバレーではなく、Austinの会社です。ということは？

ところで、Zocalo Techの代理店はどこなのでしょうか？、誰か知っている人、教えて！

検証、Verification、SystemVerilog、SVA(SystemVerilog Assertion)、Assertion