文獻(xiàn)標(biāo)識(shí)碼: A
DOI:10.16157/j.issn.0258-7998.212329
中文引用格式: 鄧佳偉,,張梅娟,王琪,,等. PowperPC架構(gòu)下USB3.0的IP核軟硬件協(xié)作驗(yàn)證[J].電子技術(shù)應(yīng)用,,2022,48(5):37-41.
英文引用格式: Deng Jiawei,,Zhang Meijuan,,Wang Qi,et al. Hardware/software co-verification of USB3.0 IP core under PowerPC architecture[J]. Application of Electronic Technique,,2022,,48(5):37-41.
0 引言
傳統(tǒng)USB2.0協(xié)議最大帶寬480 Mb/s,USB2.0已經(jīng)不能滿足用戶的需求,,USB3.0作為新一代高速接口,,不但兼容USB2.0協(xié)議,而且在低速,、全速,、高速的三種傳輸模式基礎(chǔ)上增加了一種超高速模式,。USB3.0工作單元擁有兩個(gè)數(shù)據(jù)傳輸通道,一對(duì)通道用于傳輸速率可高達(dá)5 Gb/s的超高速數(shù)據(jù)傳輸,,同時(shí)還有一對(duì)通道用于支持USB2.0的數(shù)據(jù)通信,。
PowerPC架構(gòu)是一種精簡指令集(RISC)架構(gòu),其原始的設(shè)計(jì)源自IBM的POWER RISC架構(gòu),。PowerPC架構(gòu)處理器有著廣泛的應(yīng)用,,主要集中在服務(wù)器CPU和嵌入式CPU市場。PowerPC在嵌入式處理器上表現(xiàn)非常優(yōu)異,,不僅具備高性能,,低功耗以及較低散熱量等特點(diǎn),而且資源豐富,,能夠滿足各類需求,。
芯片驗(yàn)證主要為了驗(yàn)證研制芯片的功能性,驗(yàn)證其各功能設(shè)計(jì)正確,。驗(yàn)證的方法有很多,,主要有基于事件的驗(yàn)證、基于周期的模擬驗(yàn)證,、基于事務(wù)的驗(yàn)證,、軟硬件協(xié)同驗(yàn)證、驗(yàn)證仿真器驗(yàn)證和形式驗(yàn)證等,?;谲浻布到y(tǒng)驗(yàn)證[1-2]是將軟硬件同時(shí)集成并加以驗(yàn)證,驗(yàn)證人員直接在芯片設(shè)計(jì)過程中參與,,在硬件設(shè)計(jì)平臺(tái)上運(yùn)行軟件,。協(xié)同驗(yàn)證中驗(yàn)證平臺(tái)設(shè)計(jì)采用真實(shí)的輸入激勵(lì)來模擬,減少了驗(yàn)證平臺(tái)和芯片差異性[3],,但由于驗(yàn)證平臺(tái)一般的模擬速度不夠快等問題,系統(tǒng)驗(yàn)證提供不了足夠高的性能,,特別在實(shí)時(shí)操作系統(tǒng)上運(yùn)行各種應(yīng)用,。
本文詳細(xì)內(nèi)容請(qǐng)下載:http://forexkbc.com/resource/share/2000004273。
作者信息:
鄧佳偉,,張梅娟,,王 琪,楊楚瑋,,應(yīng)凌楷
(中國電子科技集團(tuán)第五十八研究所 CPU研究室,,江蘇 無錫214062)