SystemVerilog技術資料

SystemVerilog言語に関する知識はもはや常識となりました。弊社の技術資料は、SystemVerilogを業務で的確に使用する為の補助資料として、あらゆるレベルの技術者に役立つ様に準備されています。UVMも IEEE 規格となり、UVMに関する知識は、既に、常識化しつつあります。弊社の技術資料は、SystemVerilogとUVMに関する最新知識を得る目的に最適です。

SystemVerilogによる検証の基礎（検証技術者向け）

SystemVerilog言語仕様書は容易に理解できる英文で書かれていないだけでなく、多くの表現には深い意味が込められており、単なる通読では見落としてしまう機能が多々存在します。特に、検証に関わる機能においての不正確な理解は致命的な問題に発展してしまいます。本書は、初心者が陥り易い問題を未然に防ぐ為に、特筆すべき機能に関しては詳細な技術解説と使用例を添えています。以下に示す様に、SystemVerilogの基礎知識の復習から解説を始め、検証機能の解説へと進みます。そして、現在広く採用されている検証手法としてのUVMを解説します。

★　SystemVerilogに関する予備知識
★　ランダムスティミュラスの生成
★　ファンクショナルカバレッジ
★　アサーション
★　UVM

内容的には、SystemVerilogの初心者にも適しています。特に、本書第2章は、SystemVerilog全般の知識の要約として役立ちます。
 森北出版より発売
SystemVerilog入門（SystemVerilog初心者、設計技術者、及び検証技術者向け）

SystemVerilogの言語仕様書（LRM）は膨大、かつ複雑な解説書です。LRMは初心者を対象にして書かれていないので、理解し易い英文の解説書とは言えません。その為、LRMには理解し難い解説、および誤解し易い解説が多々存在しますが、間違った解釈をしても実践で気が付くまでは勘違いしている事が分かりません。本書は、誰もが誤解なく円滑に言語仕様を理解できるように平易な文章で解説しています。具体的には、以下に示す様な重要な機能の詳細な解説を含んでいます。これらの機能を確実に理解する事により、SystemVerilog経験者に匹敵する知識を習得できます。

★　データタイプ
★　クラス
★　プロセス
★　式とオペレータ
★　実行文
★　タスクとファンクション
★　クロッキングブロック
★　プロセス間通信機能
★　チェッカー、プログラム、パッケージ、インターフェース、モジュール
★　ランダムスティミュラスの生成
★　モデリング（組み合わせ回路、シーケンシャル回路、FSM）と検証
★　シミュレーション実行モデル
★　検証機能概要（ファンクショナルカバレッジ、アサーション）

以上の様に、本書はSystemVerilogに関する必要な知識を網羅しているので、初心者、設計者、及び検証技術者にお薦めします。
 共立出版より発売
実践UVM入門（UVMを完全に理解したい技術者向け）

UVMはIEEE Std 1800.2-2017規格となり、SystemVerilogユーザの誰もがその基礎知識を持たなければならない時代に至りました。UVMが何たるかを知らなければ、検証作業にUVMを適用すべきか否かの結論を導く事はできません。本書は、初心者を対象にSystemVerilog以外の知識を仮定せずに、UVMとは何か、UVMは何故必要なのか、UVMはどのように構成されているか、また、UVMをどのように使用するかを詳しく解説しています。具体的には、以下の様な重要な概念を詳しく解説しています。

★　UVMとは何か
★　TLM（トランザクションレベルモデリング）
★　UVM使用上の遵守すべきルール
★　トランザクション定義法
★　シーケンスの定義法と効果的使用法
★　検証コンポーネントの開発（シーケンサー、ドライバー、モニター、コレクター、エージェント、等）
★　UVMとファンクショナルカバレッジ
★　検証環境構築例

それぞれの解説では多くの具体例が示されているので、中途半端な理解で終わる事はありません。尚、本書を理解する為には「SystemVerilog入門（共立出版）」と同レベルの予備知識が必要です。		 森北出版より 発売
検証のための SystemVerilogプログラミング（ＳystemＶerilogの理解を確実にしたい技術者向け）

設計作業では、RTL論理合成のモデリングルールを忠実に実践する事により目的とするRTL設計を遂行できますが、検証作業においては、設計分野では使用されない複雑なデータタイプ、プログラミング機能、プロセス管理、検証機能等の知識を活用する技術が必要となります。そのためには、SystemVerilogが備える機能を的確に選択して検証に適用する知識、技術、手法が重要になります。本書は、SystemVerilog が備える機能の正しい使い方を紹介したプログラミング例題集で、以下のような技術の解説を含みます。

★　データタイプの使用法
★　プロセスの実行順序依存性とその回避
★　プロセス間通信機能の使用技術
★　インターフェースの使用法
★　クラスの使用法
★　ランダムスティミュラスの生成技術
★　UVMによる検証環境構築法
★　ファンクショナルカバレッジの適用法
★　パッケージの開発法
★　テストベンチの記述法

SystemVerilogの入門書を読み終えた後に、学習した内容を習得したかを確認するための書物として最適です。また、本書は次に進むべき進路を見出す機会にもなります。		 森北出版より 発売
SystemVerilog超入門（はじめて学ぶハードウェア記述言語）

本書は、ハードウェア記述言語としてのSystemVerilogを基礎から分かり易く、かつ詳細に解説した入門書です。RTL論理合成とのかかわりを念頭におき、設計分野で必要とされるSystemVerilog機能の解説が円滑に進められています。SystemVerilog記述がどのようなハードウェアとして実現されるかを予測する能力が自然に身につく資料です。本書は、これからSystemVerilogを学ぼうとしている方が最初に読むべき入門書です。特に、以下のような読者の方におすすめします。

★　SystemVerilogに関する知識が全くない方
★　VerilogからSystemVerilogへの移行を考えている方
★　SystemVerilogとはどのような言語であるかを短期間に、かつ正確に知りたい方
★　SystemVerilog記述の論理合成技術を把握したい方

本書は、持ち運びが便利なサイズで、読み易い体裁になっているので楽しみながら読める入門書です。
練習問題も公開されています。右の画像をクリックすると、出版社の書籍紹介ページに移ります。
その後、「関連情報」のタブをクリックすると練習問題を取得できます。		 共立出版より発売
SystemVerilogによる効果的実装技術

本書は、SystemVerilogの機能を効果的に使用するための技術を解説しています。設計分野と検証分野で必要とされる基礎知識が具体的、かつ実践的に解説されているので、読者の知識・技術が自然に養わられる仕組みが取られています。設計面では、データタイプとオペレータの使用技術が詳しく解説され、検証面では汎用的な記述をするための技法が具体例を通して解説されています。例えば、virtualインターフェースを容易に操作する手順を生成するクラスの解説が含まれています。その他、モデリングや検証をする際の基礎知識をわかり易く解説しています。SystemVerilogの基礎知識を持つ技術者におすすめします。

★　既成概念にとらわれずに創造性を醸し出す技術育成資料です。
★　機能を汎用的に実装する技術を習得する最適な資料です。
★　ハードウェア記述言語の活用法のひらめきを養う技術資料です。

本文内容：A4判166ページ		 1~2日以内に発送
SystemVerilogによる設計とモデリングの基礎(論理合成と合成可能技術の基礎知識 )

SystemVerilogをハードウェア記述言語として使用するための基礎知識と基礎技術を懇切丁寧に解説した技術資料です。なぜ、SystemVerilogでハードウェアを記述できるかの解説から始まり、組み合わせ回路の記述ルールおよびシーケンシャル回路の記述ルールをRTL論理合成とのかかわりにおいて詳しく解説しています。特に、記述したデザインがどのような回路構成に合成されるかが随所で解説されているので、設計分野の初心者に役立つ資料です。また、手動で論理の最適化をする手段として利用できるブール代数および定理の解説も含まれています。以下のような特徴を持つ資料です。

★　ハードウェ記述言語の記述能力を基礎から理解できる他に類を見ない資料
★　何故、SystemVerilogがハードウェアを記述する言語であるかを理解できる資料
★　RTL記述から回路に合成する知識と技術を養う事ができる資料

本文内容：A4版 130ページ		 1~2日以内に発送
SystemVerilog 概論

この講義は、ハードウェア設計・検証分野で必要となるSystemVerilogの基礎知識を解説し、更に高度な知識を習得する際に役立つガイドを提供する目的を持ちます。SystemVerilogは複雑で膨大な仕様から構成されているため、中には難解な機能、および間違い易い機能が多く存在します。本講義では、そうした機能を重点的に詳しく解説します。但し、誰にとっても分かり易い機能に関しては、簡単な解説に留めます。

★　第1部　基礎編（125スライド）
★　第2部　設計編（30スライド）
★　第3部　検証編（60スライド）

原則としてPDFで提供致します。		 1~2日以内に発送