設計者のためのSVAチュートリアル

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

ブラブラしていたら、Introduction to SVA Assertions for Design Engineersを見つけました。
どうやら、Zocalo Techのツールを使ってのSVAの作り方のようです。

私は、アサーションは設計者がデザインを守るために、設計者自身が書くべきだと思っていますが、

Zocalo Techの日本代理店が無いようですが、使ったことある方、いらっしゃいますか？

検証、Verification、Assertion