検証のためのＳｙｓｔｅｍＶｅｒｉｌｏｇプログラミング

森北出版
篠塚一也　

• 価格: 4,400円（本体4,000円＋税）
• 発行年月: 2022年05月
• 判型: Ａ５
• ISBN: 9784627856813

内容情報

[BOOKデータベースより]

効率的・厳密な検証作業のために。多数のサンプルコードと開発例で、実践的なプログラミング技術が身につく１冊！

概要
データタイプ
プロセス
プロセス間通信機能
タスクとファンクション
インターフェース
クラス
ランダムスティミュラスの生成
ＵＶＭ
ファンクショナルカバレッジ〔ほか〕

[日販商品データベースより]

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

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

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

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