System C入門(第2版)

System C入門(第2版)

《System C入門(第2版)》是北京航空航天大學出版社2008年9月出版的一本書籍,作者是美國的J.BHASKER。

基本介紹

  • 中文名::SystemC 入門(第2版)
  • 作者::[美]J.BHASKER著
  • 類別::單片機與嵌入式系統
  • 價格::36元
  • 字數::370千字
  • ISBN::978-7-81124-249-2
  • 出版社::北京航空航天大學出版社
  • 開本::787×960 1/16開
  • 出版時間::2008年9月
  • 其他::配光碟
  • 譯者:夏宇聞 甘偉
內容簡介,前言,目錄,

內容簡介

systemC既是系統級語言,也是硬體描述語言。本書介紹的是SystemC2.0標準,主要介紹SystemC有關硬體建模方面的語法特性,換言之,是介紹SystemC的RTL可綜合子集。其主要內容包括:SystemC數據類型、組合邏輯建模、同步邏輯建模、三態驅動器建模、常用的設計函式模型、測試平台的編寫及系統級建模的功能等。隨書附帶1張光碟,內含本書所有例子的代碼。
本書所有例子都經過SystemC2.0.1的驗證。本書可作為想要了解和學習SystemC的設計工程師和系統工程師的參考書,也可用做大學講授體系結構、數字設計或系統設計課程的教材。

前言

J.Bhasker在數字積體電路設計界具有很好的聲譽。包括美國和中國在內的各國數字電路和系統設計者,無論是新手,還是從VHDL轉到Verilog的老手,其中很多人都閱讀過J.Bhasker編寫的AVerilogHDLPrimer。J.Bhasker的教材以簡明扼要、清晰易懂著名。ASystemCPrimer一書是介紹SystemC基礎知識的教科書,符合他編書的一貫風格,特別適合作為入門教材。
SystemC對許多中國讀者來說,還是一種新的硬體描述語言。近年來,由於基於平台設計方法學的推廣,系統驗證已成為設計工作中的瓶頸。而SystemC由於是一種基於C++的語言,具有學習方便的優點,更重要的是其高速的仿真性能已得到多家設計公司的認可,因此被廣泛用做SoC系統驗證語言。由OSCI組織的推薦,2004年SystemC2.0被正式批准為IEEE標準,與SystemVerilog並列成為最主要的系統驗證語言之一。
本書是根據J.Bhasker編寫的ASystemCPrimer第2版翻譯的。2004年起原書在數字積體電路驗證界逐漸走紅並非偶然。在世界各地的大學中,教師和學生們所熟悉的主要程式語言和環境是C++。而SystemC是C++的一個子集合,不存在編程環境和學習基礎的問題,所以比SystemVerilog更便於推廣和套用。
本書的翻譯工作安排如下:第2版序言、序言、前言、第1~6章及附錄A、B和索引等由夏宇聞負責,第7~9章由神州龍芯IC設計公司的甘偉工程師負責。全書最後的審校與定稿由夏宇聞負責。在神州龍芯IC設計公司工作的工程師和實習研究生樊榮、洪雷、周鵬飛、劉家正、陳岩、李鵬、宋成偉、邢志成、管麗、徐偉俊、楊鑫、蘇宇、張雲帆、邢小地、李鵬、李琪、陳岩等認真閱讀了最後完成的翻譯稿,並提出了許多改進意見,使翻譯工作的質量有了顯著提高。在翻譯稿最後完成之際,謹向他們表示誠摯的感謝。全書翻譯稿完成之後,我以前的學生、上海瀾起IC設計公司的技術總監山崗、威盛IC設計公司的高級設計師楊柳女士和田玉文女士等認真閱讀了全書,並提出了寶貴的修改意見,在此一併表示感謝。2006年我從北京航空航天大學退休後,受曾明總裁的邀請到神州龍芯IC設計公司擔任顧問。本書的翻譯工作是在他的支持下完成的。該公司不但為我提供了舒適的辦公條件和自由寬鬆的工作時間,而且還為我安排了既謙虛好學又能幹的年輕工程師甘偉擔任助手。沒有曾明總裁的支持,本書的翻譯工作不可能既快又高質量地完成。在本書出版之際,讓我向曾明總裁、甘偉工程師和神州龍芯IC設計公司的全體員工表示衷心的感謝。
夏宇聞北京航空航天大學教授2008年4月1日於神州龍芯IC設計公司

目錄

專家推薦譯者序序言前言
本書是如何組織的如何閱讀本書附加資料來源感謝
第1章 導論驗證生產率2提高生產率2驗證組件3基於接口的設計4針對驗證的設計5使用斷言的好處6方法學的實現7方法學的採納7指導原則9基本的編碼指導原則10術語的定義11
第2章 驗證計畫計畫過程14功能驗證的需求15驗證環境的需求18驗證計畫的實現方案22回響檢查24嵌入式監視器25斷言26精確性28記分板30參考模型30離線檢查31總結32
第3章 斷言斷言的指定33斷言語言基本知識35DUT(被測設計)內部信號上的斷言39外部接口上的斷言47斷言編碼的指導原則50覆蓋率屬性58基於斷言的可重用檢查器63簡單檢查器63基於斷言的驗證IP71基於斷言的IP結構74文檔與發行內容82斷言的鑑定83總結84
第4章 測試平台的基本結構測試平台的架構86信號層89指令層96功能層98場景層101測試層102仿真控制104訊息服務111數據和事務115類屬性/數據成員118方法126約束條件129事務處理器132物理層接口138事務層接口139完成和回響模型144基元按序執行模型145亂序基元執行模型149非基元事務執行151被動回響154從動回響156時序接口159回調方法161特定的測試平台164傳統的匯流排功能模型168VMM兼容升級168VMM兼容接口169總結171
第5章 激勵與回響激勵的生成173隨機激勵174定向激勵180異常的生成182嵌入式激勵186對隨機生成的控制187基元生成190場景生成191多流生成195基於狀態的生成197應選用哪種發生器202自檢查結構203記分板206與事務處理器的集成209異常的處理211總結212
第6章 針對覆蓋率的驗證覆蓋率度量指標214覆蓋率模型215結構覆蓋率建模216功能覆蓋率建模216功能覆蓋率分析218覆蓋率評級219功能覆蓋率實現方案219覆蓋率組221覆蓋率屬性228反饋機制228總結230
第7章 用於形式化驗證的斷言模型檢查和斷言233對數據的斷言242不使用局部變數242使用局部變數245形式化驗證工具的兼容性250總結250
第8章 系統級驗證可擴展的驗證組件252XVC的結構253XVC的實現255動作的實現257XVC管理器261預定義的XVC管理器262系統級驗證環境263塊互聯結構的驗證267基本集成驗證269低層次系統功能驗證271系統認證驗證272驗證事務層模型274事務層接口276硬體輔助的驗證277外設測試塊的結構279總結281
第9章 處理器集成驗證軟體測試環境283基本軟體集成驗證285全系統驗證環境286軟體測試結構289測試動作292編譯過程296測試的運行298引導模組299總結300
附錄 AVMM標準庫技術說明書VMM_VERSION302VMM_ENV303VMM_LOG306vmm_log_msg319vmm_log_format320vmm_log_callbacks322VMM_DATA324VMM_CHANNEL330VMM_BROADCAST342VMM_SCHEDULER346vmm_scheduler_election350VMM_NOTIFY352vmm_notification357VMM_XACTOR358vmm_xactor_callbacks364VMM_ATOMIC_GEN364VMM_SCENARIO_GEN368
附錄 BVMM檢查器庫OVL等價的檢查器(SVL)381高級檢查器387
附錄 CXVC標準庫技術說明書XVC_MANAGER393XVC_XACTOR395XVC_ACTION397VMM_XVC_MANAGER399注意400檔案結構401命令403
附錄D 軟體驗證框架基本類型417系統描述符418外設描述符418中斷描述符421DMA通道描述符422測試動作423低層次服務429高速快取鎖定434中斷控制器436與XVC的軟體接口的連線440
索引441作者介紹468

相關詞條

熱門詞條

聯絡我們