ハードウェア検証に欠かせないSystemVerilogのプログラミング技術を、膨大で複雑な仕様書を丁寧に紐解きながら解説します。

データタイプの基本的な使用法をはじめとして、並列処理、インターフェースやクラスの使用法などからUVM，ファンクショナルカバレッジといった実践的な応用例まで、ハードウェア検証の話題が幅広く網羅されています。

複雑な検証機能やわかりにくい仕様も、コードで手を動かしながらつまずくことなく学べるよう工夫されています。それだけでなく、パッケージの開発例やテストベンチの構築例など、実践的なコードも多数掲載されています。

SystemVerilogのより効率的な記述法や、厳密な検証方法を学びたい方におすすめの1冊です。