ARM SoC設計的軟件和硬件協同驗證

所属分类:計算機組織與體系結構  
出版时间:2006-8   出版时间:北京航大   作者:安德魯斯   页数:178  

内容概要

  本書涵蓋了有關使用ARM微處理器內核來進行開發和驗證的SoC設計的重要信息。運用具體的ARM SoC的例子來描述軟件和硬件協同驗證的概念,並提供了采甩ARM微處理器進行設計的與協同驗證相關的有用信息。主要內容包括︰嵌入式系統驗證、軟件和硬件設計過程、ARM體系結構的SoC協同驗證課題、軟件和硬件協同驗證、高級軟件和硬件協同驗證、硬件驗證環境與協同驗證以及ARM SoC設計方法舉例。  主要面向的讀者是開發軟件和硬件SoC協同驗證技術的工程師。可作為從事集成電路設計的工程技術人員、基于ARM嵌入式系統應用與開發的技術人員的參考書。

作者简介

  Jason Arldrews現在是Verisity公司的一員,目前正在從事軟件和硬件協同驗證以及SoC設計的測試平台方案領域的工作。他實現了許多商業協同驗證工具以及很多自定義的協同驗證解決方案。他在Verisity、Axis System、Simpod、StJmmit Design以及SimLJlation Tecrmologies公司所從事的軟件開發和產品管理工作使他在EDA和嵌入式市場方面擁有豐富的經驗。他曾經在嵌入式系統委員會(Embedded Systems Confererlce)、通信設計委員會(CommurlicatiorI Design Conference)以及IPSoC上發表過論文和教學課程,並撰寫了大量有關軟件和硬件協同驗證、設計驗證的文章。他在Citadel(Charleston,SC)大學擁有電子工程學學士學位,在Mirmesota大學擁有電子工程學碩士學位。他現在與他的妻子Deborah和四個孩子住在Minneapolis地區。

书籍目录

第1章 嵌入式系統驗證簡介1.1 什麼是嵌入式系統?21.2 嵌入式系統無所不在31.3 設計的約束41.4 嵌入式系統分解61.4.1 微處理器、芯片與電路板61.4.2 嵌入式系統的分類71.5 嵌入式系統設計流程91.6 驗證與確認111.7 人際互動121.8 關于這本書131.9 範圍與綱要14第2章 軟件和硬件設計過程2.1 SoC協同驗證的三個組成部分162.2 驗證平台162.3 軟件工程師對嵌入式系統的觀點222.4 硬件工程師對嵌入式系統的觀點232.5 軟件開發工具242.5.1 編輯器242.5.2 源代碼修訂控制252.5.3 編譯器262.5.4 調試器262.5.5 模擬器272.5.6 開發板272.5.7 集成開發環境(IDE)272.6 軟件調試連接272.6.1 JTAG282.6.2 Stub282.6.3 直接連接292.7 軟件的類型292.7.1 系統初始化軟件和HAL292.7.2 硬件診斷測試套件292.7.3 RTOS302.7.4 RTOS設備驅動程序和應用軟件302.8 軟件開發過程302.9 硬件開發工具352.9.1 編輯器352.9.2 源代碼修訂控制362.9.3 Lint工具362.9.4 代碼覆蓋372.9.5 調試工具372.9.6 驗證語言382.9.7 斷言382.9.8 調試的定義402.9.9 存儲器模型402.9.10 微處理器模型412.10 硬件設計過程432.11 微處理器回顧432.12 軟件和硬件的交互442.12.1 軟件調試特征442.12.2 硬件調試特征44第3章 ARM體系結構的SoC協同驗證課題3.1 ARM的背景473.2 ARM的體系結構483.2.1 ARM的體系結構、家族及CPU內核493.2.2 Thumb指令集513.2.3 編程模型523.3 指令集533.3.1 數據傳輸指令533.3.2 協處理器指令543.3.3 異常和中斷543.3.4 內存規劃和字節順序563.4 ARM總線接口協議573.4.1 ARM7TDMI總線協議583.4.2 AMBA規範603.4.3 AMBA協議簡介613.4.4 AMBA ASB613.4.5 AMBA AHB623.4.6 AMBA APB623.4.7 AMBA 3.0與AXI633.4.8 對ARM CPU總線接口的總結633.4.9 AHB指南643.4.10 復位時的配置673.4.11 AHB傳輸的各個階段683.4.12 AHB仲裁683.4.13 AHB地址階段703.4.14 AHB數據階段703.4.15 AHB-Lite723.4.16 單層和多層AHB723.4.17 ARM926EJS例子733.4.18 中斷信號753.4.19 指令和數據高速緩存753.4.20 TCM783.5 ARM總結79第4章軟件和硬件協同驗證4.1 協同驗證的歷史814.2 商業協同驗證工具的出現824.3 協同驗證的定義844.3.1 定義844.3.2 協同驗證的作用854.3.3 項目進度的節省854.3.4 通過協同驗證提供的可視性來了解運行情況864.3.5 協同驗證促進了交流874.3.6 協同驗證與協同模擬的比較874.3.7 協同驗證與協同設計的比較874.3.8 真的需要協同驗證嗎?884.4 協同驗證的方法884.4.1 本地編譯軟件894.4.2 指令集模擬894.4.3 硬件Stub894.4.4 RTOS模擬器904.4.5 微處理器評估板914.4.6 波形、日志文件和反匯編914.5 協同驗證方法的一個例子924.5.1 帶有邏輯模擬的主機代碼模式924.5.2 帶有邏輯模擬的指令集模擬944.5.3 C語言模擬964.5.4 帶有軟件調試功能的CPU的RTL模型984.5.5 帶有邏輯模擬的硬件模型1004.5.6 帶有邏輯模擬的評估板1014.5.7 在線仿真1024.5.8 FPGA原型1044.6 協同驗證的衡量標準1054.6.1 性能1054.6.2 驗證的準確性1054.6.3 AHB仲裁和周期精確的問題1074.6.4 模型設計總結1094.6.5 同步1104.6.6 軟件的類型1104.6.7 其他的衡量標準111第5章 高級軟件和硬件協同驗證5.1 直接訪問模擬內存1125.2 內存優化與性能1165.3 同步的模式1195.4 進程間通信1205.5 HDL模型和C語言模型的混合1225.6 隱式訪問1245.7 保存並重啟1275.8 後處理軟件調試技巧1285.9 嵌入式軟件工具的問題1315.10 協同驗證的調試問題132第6章 硬件驗證環境與協同驗證6.1 總線監測器1336.2 協議檢測1446.2.1 地址對齊1446.2.2 發送空閑傳輸1456.3 斷言1466.3.1 斷言的定義1466.3.2 斷言的實現方法1476.3.3 聲明式斷言1476.3.4 程序式斷言1486.3.5 形式化特性語言1486.3.6 偽注釋指令1496.3.7 後處理模擬歷史記錄1496.3.8 用于模擬加速和仿真的斷言1506.4 使用總線功能模型的測試平台1516.4.1 定向測試1516.4.2 受約束的隨機測試1526.4.3 測試平台的結構1536.4.4 功能覆蓋率1546.4.5 兼容性測試1556.4.6 軟件驗證1556.4.7 軟件打印語句156第7章 ARM SoC設計方法舉例7.1 SoC設計的難點1627.2 驗證效率1627.3 調試的循環1637.4 協同驗證的方法1647.4.1 系統初始化和HAL開發1657.4.2 診斷程序1657.4.3 RTOS和設備驅動程序1657.4.4 應用軟件1667.4.5 測試平台的開發1667.4.6 三個驗證階段1667.5 ARM驗證流程的例子1687.5.1 模塊和子系統驗證1687.5.2 初始系統集成1697.5.3 集中的硬件驗證1707.5.4 協同驗證1707.5.5 系統軟件測試1717.6 協同驗證工程師1737.7 結論174後記177

图书封面




    ARM SoC設計的軟件和硬件協同驗證下載



用户评论 (总计0条)

 
 

 

計算機與互聯網 PDF免费下载,計算機組織與體系結構PDF免费下载。 计算机教程网 

计算机教程网 @ 2017