資料介紹
如何有效的對(duì)SoC 設(shè)計(jì)進(jìn)行驗(yàn)證已經(jīng)成為縮短設(shè)計(jì)周期的關(guān)鍵問題。針
對(duì)這個(gè)問題,本文提出一種形式化建模與驗(yàn)證方法,對(duì)片上系統(tǒng)AMBA 工業(yè)總
線規(guī)范的AHB 總線協(xié)議進(jìn)行形式化規(guī)格;建立了與AHB 協(xié)議規(guī)格對(duì)應(yīng)的有限
狀態(tài)機(jī)和SMV 模型,使用CTL 描述了仲裁器的公平性、從單元活性、從單元的
交互操作性、互斥性和無饑餓屬性;采用SMV 模型檢驗(yàn)器對(duì)AHB 總線協(xié)議模
型的無饑餓屬性進(jìn)行了自動(dòng)化驗(yàn)證。結(jié)果表明所提方法能夠有效應(yīng)用于SoC 的
驗(yàn)證。
對(duì)這個(gè)問題,本文提出一種形式化建模與驗(yàn)證方法,對(duì)片上系統(tǒng)AMBA 工業(yè)總
線規(guī)范的AHB 總線協(xié)議進(jìn)行形式化規(guī)格;建立了與AHB 協(xié)議規(guī)格對(duì)應(yīng)的有限
狀態(tài)機(jī)和SMV 模型,使用CTL 描述了仲裁器的公平性、從單元活性、從單元的
交互操作性、互斥性和無饑餓屬性;采用SMV 模型檢驗(yàn)器對(duì)AHB 總線協(xié)議模
型的無饑餓屬性進(jìn)行了自動(dòng)化驗(yàn)證。結(jié)果表明所提方法能夠有效應(yīng)用于SoC 的
驗(yàn)證。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- STM32菜鳥學(xué)習(xí)手冊(cè)——AMBA、APB、AHB簡介
- [計(jì)組原理篇]系統(tǒng)總線
- 數(shù)字IC驗(yàn)證:ARM總線協(xié)議AMBA中AHB、APB的簡介、區(qū)別與聯(lián)系
- AHB與APB分析
- 箭載測試系統(tǒng)總線接口模塊的設(shè)計(jì)與實(shí)現(xiàn) 6次下載
- 嵌入式SoC總線分析與研究分析 16次下載
- 基于代幣智能合約整數(shù)溢出漏洞的建模與驗(yàn)證 16次下載
- AHB Slave Decoder和AHB Slave Interface接口的使用說明 15次下載
- 低功耗應(yīng)用處理器的特征 3次下載
- AHB總線接口的一種新實(shí)現(xiàn)方案
- 821總線1至4字節(jié)數(shù)據(jù)微處理機(jī)系統(tǒng)總線 GB/T 1372
- 基于Wishbone片上總線的IP核的互聯(lián)
- 基于FPGA的OPB_AHB總線橋接器的設(shè)計(jì)
- 智能家庭網(wǎng)絡(luò)系統(tǒng)總線耦合單元
- 嵌入式SoC總線分析與研究
- 片上系統(tǒng)代表芯片嗎 502次閱讀
- 什么是片上系統(tǒng)SoC? 525次閱讀
- 142條STM32遇到的坑,你知道幾個(gè)? 1260次閱讀
- 什么是前端總線 1091次閱讀
- 三種總線的邏輯結(jié)構(gòu)描述及在片上系統(tǒng)中的應(yīng)用 4013次閱讀
- 系統(tǒng)總線的特點(diǎn)_系統(tǒng)總線工作原理 4820次閱讀
- 系統(tǒng)總線是什么_系統(tǒng)總線分為哪三類 5.7w次閱讀
- 總線的分類與概念詳解 2w次閱讀
- 先進(jìn)的微控制器總線體系結(jié)構(gòu)AMBA規(guī)范定義了三種總線 7267次閱讀
- 超詳細(xì)的STM32單片機(jī)學(xué)習(xí)筆記匯總 2.5w次閱讀
- 片上總線與板上總線存在若干明顯差異 5151次閱讀
- stm32的總線AMBA、AHB、APB 2.9w次閱讀
- 基于片上系統(tǒng)的SOC設(shè)計(jì)驗(yàn)證方案 1464次閱讀
- 基于FPGA的心電監(jiān)護(hù)儀的片上系統(tǒng)的設(shè)計(jì) 1941次閱讀
- 基于AMBA-AHB總線的SDRAM控制器設(shè)計(jì)方案 4446次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1491次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 4次下載 | 免費(fèi)
- 8基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537793次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論
查看更多