注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書科學(xué)技術(shù)計算機/網(wǎng)絡(luò)軟件工程及軟件方法學(xué)SystemVerilog與功能驗證

SystemVerilog與功能驗證

SystemVerilog與功能驗證

定 價:¥36.00

作 者: 鐘文楓 編著
出版社: 機械工業(yè)出版社
叢編項:
標(biāo) 簽: 計算機理論

ISBN: 9787111313731 出版時間: 2010-10-01 包裝: 平裝
開本: 16開 頁數(shù): 209 字?jǐn)?shù):  

內(nèi)容簡介

  本書重點介紹硬件設(shè)計描述和驗證語言SystemVerilog的基本語法及其在功能驗證上的應(yīng)用;書中以功能驗證為主線,講述基本的驗證流程、高級驗證技術(shù)和驗證方法學(xué),以SystemVerilog為基礎(chǔ)結(jié)合石頭、剪刀、布的應(yīng)用實例,重點闡述了如何采用SystemVerilog實現(xiàn)隨機激勵生成、功能覆蓋率驅(qū)動驗證、斷言驗證等多種高級驗證技術(shù);最后,通過業(yè)界流行的開放式驗證方法學(xué)OVM介紹如何在驗證平臺中實現(xiàn)可重用性。

作者簡介

暫缺《SystemVerilog與功能驗證》作者簡介

圖書目錄

前言
第1章 功能驗證技術(shù)與方法學(xué)概要
 1.1 功能驗證與驗證平臺
  1.1.1 專用芯片設(shè)計流程
  1.1.2 什么是驗證
  1.1.3 驗證平臺可以做些什么
  1.1.4 功能驗證流程
 1.2 驗證技術(shù)和驗證方法學(xué)
  1.2.1 黑盒、白盒與灰盒驗證
  1.2.2 驗證技術(shù)
  1.2.3 驗證存在的挑戰(zhàn)
  1.2.4 證方法學(xué)
  1.2.5 斷言驗證
  1.2.6 覆蓋率驅(qū)動驗證
 1.3 硬件驗證語言
  1.3.1 open vera
  1.3.2 e語言
  1.3.3 psl
  1.3.4 systemc
  1.3.5 systemverilog
第2章 數(shù)據(jù)類型與編程結(jié)構(gòu)
 2.1 數(shù)據(jù)類型
  2.1.1 兩態(tài)數(shù)據(jù)類型
  2.1.2 枚舉類型和用戶自定義類型
  2.1.3 數(shù)組與隊列
  2.1.4 字符串
  2.1.5 結(jié)構(gòu)體和聯(lián)合體
  2.1.6 常量
  2.1.7 文本表示
  2.1.8 操作符和表達(dá)式
 2.2 過程語句
  2.2.1 賦值語句
  2.2.2 控制結(jié)構(gòu)
 2.3 函數(shù)和任務(wù)
  2.3.1 函數(shù)和任務(wù)的區(qū)別
  2.3.2 子程序定義
  2.3.3 子程序參數(shù)
  2.3.4 子程序返回
  2.3.5 自動存儲
 2.4 編程結(jié)構(gòu)
  2.4.1 模塊
  2.4.2 接口
  2.4.3 過程塊和語句塊
  2.4.4 數(shù)據(jù)對象
  2.4.5 程序塊
  2.4.6 簡單的驗證架構(gòu)
 2. 5 數(shù)據(jù)的生命周期和作用域
 2.6 數(shù)據(jù)類型轉(zhuǎn)換
  2.6.1 靜態(tài)類型轉(zhuǎn)換
  2.6.2 動態(tài)類型轉(zhuǎn)換
 ……
第3章 并發(fā)進程與進程同步
第4章 面向?qū)ο缶幊倘腴T
第5章 虛接口
第6章 隨機測試
第7章 繼承與多態(tài)
第8章 功能覆蓋率
第9章 斷言
第10章 驗證重用與驗證方法學(xué)
第11章 systemverilog與c語言的接口
附錄a 覆蓋率內(nèi)置參數(shù)和方法列表
附錄b 斷言重復(fù)操作符和序列操作符列表
附錄c questasim簡要介紹
附錄d 常用術(shù)語中英文對照
參考文獻
后記
源代碼索引systemverilog

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.talentonion.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號