Verilog HDL數字設計與綜合

Verilog HDL數字設計與綜合

Verilog HDL數字設計與綜合(第2版)由美國Sanir Palnitkar編著,夏宇聞 胡燕祥 刁嵐松翻譯的著作,由電子工業出版社出版。

基本介紹

  • 書名:Verilog HDL數字設計與綜合(第2版)
  • 作者:(美國)Sanir Palnitkar
  • 原版名稱:Verilog HDL: A Guide to Digital Design and Synthesis
  • 譯者:夏宇聞 胡燕祥 刁嵐松
  • ISBN:9787121089473
  • 頁數:306頁
  • 出版社:電子工業出版社
  • 出版時間:2009年7月1日
  • 裝幀:平裝
  • 開本:16開
  • 版本:第2版
  • 叢書名:國外電子與通信教材系列
內容簡介,作者簡介,圖書目錄,

內容簡介

《Verilog HDL數字設計與綜合(第2版)》從用戶的角度全面闡述了Verilog HDL語言的重要細節和基本設計方法,並詳細介紹了Verilog 2001版的主要改進部分。《Verilog HDL數字設計與綜合(第2版)》重點關注如何套用Verilog語言進行數字電路和系統的設計和驗證,而不僅僅講解語法。全書從基本概念講起,並逐漸過渡到程式語言接口以及邏輯綜合等高級主題。書中的內容全部符合Verilog HDL IEEE 1364-2001標準。

作者簡介

Samir Palnitkar目前是美國Jambo Systems公司總裁。Jambo Systems公司是一流的專用積體電路(ASIC)設計和驗證服務公司,專門從事高級微處理器、網路和通信晶片的設計服務。Palnitkar先生曾創辦一系列小型的高科技公司。他是Integrated Intellectual Property公司的創辦人。

圖書目錄

第一部分 Verilog基礎知識.
第1章 VerilogHDL數字設計綜述
1.1 數字電路CAD技術的發展歷史
1.2 硬體描述語言的出現
1.3 典型設計流程
1.4 硬體描述語言的意義
1.5 VerilogHDL的優點
1.6 硬體描述語言的發展趨勢
第2章 層次建模的概念
2.1 設計方法學
2.2 四位脈動進位計數器
2.3 模組
2.4 模組實例
2.5 邏輯仿真的構成
2.6 舉例
2.7 小結
2.8 習題
第3章 基本概念
3.1 詞法約定
3.2 數據類型
3.3 系統任務和編譯指令
3.4 小結
3.5 習題
第4章 模組和連線埠
4.1 模組
4.2 連線埠
4.3 層次命名
4.4 小結
4.5 習題
第5章 門級建模
5.1 門的類型
5.2 門延遲
5.3 小結
5.4 習題
第6章 數據流建模
6.1 連續賦值語句
6.2 延遲
6.3 表達式.操作符和運算元
6.4 操作符類型
6.5 舉例
6.6 小結
6.7 習題
第7章 行為級建模
7.1 結構化過程語句
7.2 過程賦值語句
7.3 時序控制
7.4 條件語句
7.5 多路分支語句
7.6 循環語句
7.7 順序塊和並行塊
7.8 生成塊
7.9 舉例
7.1 0小結
7.1 1習題
第8章 任務和函式
8.1 任務和函式的區別
8.2 任務
8.3 函式
8.4 小結
8.5 習題
第9章 實用建模技術
9.1 過程連續賦值
9.2 改寫(覆蓋)參數
9.3 條件編譯和執行
9.4 時間尺度
9.5 常用的系統任務
9.6 小結
9.7 習題
第二部分 Verilog高級主題
第1O章 時序和延遲
10.1 延遲模型的類型
10.2 路徑延遲建模
10.3 時序檢查
10.4 延遲反標註
10.5 小結
10.6 習題
第11章 開關級建模
11.1 開關級建模元件
11.2 舉例
11.3 小結
11.4 習題
第12章 用戶自定義原語
12.1 UDP的基礎知識
12.2 表示組合邏輯的UDP
12.3 表示時序邏輯的UDP
12.4 UDP表中的縮寫符號
12.5 UDP設計指南
12.6 小結
12.7 習題
第13章 程式語言接口
13.1 PLI的使用
13.2 PLI任務的連線和調用
13.3 內部數據表示
13.4 PLI庫子程式
13.5 小結
13.6 習題
第14章 使用VerilogHDL進行邏輯綜合
14.1 什麼是邏輯綜合
14.2 邏輯綜合對數字設計行業的影響
14.3 VerilogHDL綜合
14.4 邏輯綜合流程
14.5 門級網表的驗證
14.6 邏輯綜合建模技巧
14.7 時序電路綜合舉例
14.8 小結
14.9 習題
第15章 高級驗證技術
15.1 傳統的驗證流程
15.2 斷言檢查
15.3 形式化驗證
15.4 小結
第三部分 附錄
附錄A 強度建模和高級線網類型定義
附錄B PLI子程式清單
附錄C 關鍵字.系統任務和編譯指令
附錄D 形式化語法定義
附錄E Verilog有關問題解答
附錄F Verilog舉例
參考文獻
譯者後記

相關詞條

熱門詞條

聯絡我們