SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, 2/e (Hardcover)
暫譯: SystemVerilog 驗證:測試平台語言特性的學習指南,第二版 (精裝本)

Chris Spear

  • 出版商: Springer
  • 出版日期: 2008-05-01
  • 售價: $1,800
  • 貴賓價: 9.8$1,764
  • 語言: 英文
  • 頁數: 465
  • 裝訂: Hardcover
  • ISBN: 0387765298
  • ISBN-13: 9780387765297
  • 相關分類: Verilog
  • 已絕版

買這商品的人也買了...

相關主題

商品描述

SystemVerilog for Verification, Second Edition provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The author explains methodology concepts for constructing testbenches that are modular and reusable. The book includes extensive coverage of the SystemVerilog 3.1a constructs such as classes, program blocks, randomization, assertions, and functional coverage. It also reviews SystemVerilog 3.0 topics such as interfaces and data types.

This second edition contains a new chapter that covers programs and interfaces as well as chapters with updated information on directed testbench and OOP, layered, and random testbench for an ATM switch. This edition also includes a new chapter that covers “Interfacing to C” and many new and improved examples and explanations.

For hardware engineers, the book has several chapters with detailed explanations of Object Oriented Programming based on years of teaching OOP to hundreds of students. For software engineers, there is a wealth of information on testbenches, multithreaded code, and interfacing to hardware designs. The reader only needs to know the Verilog 1995 standard.

"The complete book that covers verification concepts and use of system verilog in Verification, taking your from an easy start to advanced concepts with ease.

Paul D. Franzon, Alumni Distinguished Professor of ECE, North Carolina State University"

商品描述(中文翻譯)

《SystemVerilog for Verification, 第二版》為使用 SystemVerilog 語言來驗證電子設計的硬體和軟體工程師提供實用資訊。作者解釋了構建模組化和可重用測試平台的方法論概念。本書廣泛涵蓋了 SystemVerilog 3.1a 的結構,例如類別、程式區塊、隨機化、斷言和功能覆蓋。它還回顧了 SystemVerilog 3.0 的主題,如介面和資料類型。

這一版包含了一個新章節,涵蓋程式和介面,以及更新了有關導向測試平台和物件導向程式設計(OOP)、分層和隨機測試平台的 ATM 交換機的章節。本版還包括一個新章節,介紹「與 C 的介接」以及許多新的和改進的範例和解釋。

對於硬體工程師,本書有幾個章節詳細解釋了基於多年教學經驗的物件導向程式設計,曾教導數百名學生。對於軟體工程師,書中提供了大量有關測試平台、多執行緒程式碼和與硬體設計介接的資訊。讀者只需了解 Verilog 1995 標準。

「這本完整的書涵蓋了驗證概念和在驗證中使用 SystemVerilog,讓您輕鬆從簡單的開始進入高級概念。」
—— Paul D. Franzon, 北卡羅來納州立大學電子與計算機工程系傑出校友教授