SVAを使い始めるにあたっての参考書
私がAssertionを使い始めた時に参考になったものをリストしておきます
- SystemVerilogアサーション・ハンドブック Ben Cohenさんの著作の日本語版ですが丸善から出版されてましたが残念ながら絶版です。
SystemVerilogアサーション・ハンドブック Ben Cohen Amazon.co.jp
英語版だと4版が出ているようです
SystemVerilog Assertions Handbook, 4th Edition: . for Dynamic and Formal Verification AbeBooks.com
SystemVerilogアサーション・ハンドブックの訳者の一人の方に聞いたら新しい版の訳本を出す予定は無いって言ってました。別の訳者の方がが一時期新しい版の訳本を準備していたらしいけど計画は頓挫したようで現在に至っています。
他にも参考になるものがありますのでまた追加します。
今日はここまで。