近刊書 『SystemVerilogによる検証の基礎』（篠塚一也 著） は、英文で1300ページを超えるSystemVerilog言語仕様書のなかから重要ポイントをピックアップし、ランダムスティミュラス生成、アサーション、ファンクショナルカバレッジ、UVMなど、デザイン検証のための機能を、幅広く、丁寧に解説しています。