文獻(xiàn)標(biāo)識(shí)碼: A
DOI:10.16157/j.issn.0258-7998.209805
中文引用格式: 范君健,晁張虎,楊慶娜,等. 基于Cadence CHI和IVD VIP的多核SoC系統(tǒng)數(shù)據(jù)一致性驗(yàn)證[J].電子技術(shù)應(yīng)用,2020,46(8):72-76.
英文引用格式: Fan Junjian,Chao Zhanghu,Yang Qingna,et al. Multi-core SoC based on Cadence CHI and IVD VIP system data coherence verification[J]. Application of Electronic Technique,2020,46(8):72-76.
0 引言
Cache(高速緩沖存儲(chǔ)器)是存在于處理器核與主存之間的存儲(chǔ)器,在多核的處理器系統(tǒng)當(dāng)中,當(dāng)多個(gè)Cache包含同一塊數(shù)據(jù)時(shí),如果其中任意一個(gè)Cache修改了該數(shù)據(jù)塊而沒(méi)有通知其他的Cache,就會(huì)產(chǎn)生數(shù)據(jù)不一致的情況[1]。Cache一致性就是維護(hù)多個(gè)Cache數(shù)據(jù)的一致性,Cache一致性協(xié)議是多核處理器系統(tǒng)的核心,因此Cache一致性的驗(yàn)證是一項(xiàng)非常重要的工作。
現(xiàn)階段,Cache一致性的驗(yàn)證一般采用軟件模擬的形式,但隨著協(xié)議復(fù)雜性的增加,驗(yàn)證中需要覆蓋的狀態(tài)與路徑成幾何倍數(shù)增加。同時(shí),訪存數(shù)據(jù)在經(jīng)過(guò)片上互聯(lián)網(wǎng)絡(luò)寫入主存時(shí)要經(jīng)過(guò)較長(zhǎng)的路徑,需要對(duì)流經(jīng)網(wǎng)絡(luò)的數(shù)據(jù)正確性進(jìn)行檢查,驗(yàn)證環(huán)境的復(fù)雜程度越來(lái)越高。在驗(yàn)證環(huán)境搭建與驗(yàn)證覆蓋率收集方面,驗(yàn)證人員往往需要投入大量的精力,導(dǎo)致Cache一致性驗(yàn)證周期耗時(shí)較長(zhǎng)。
本文詳細(xì)內(nèi)容請(qǐng)下載:http://www.j7575.cn/resource/share/2000002949
作者信息:
范君健1,晁張虎1,楊慶娜1,劉 琪1,朱 紅1,單建旗2
(1.天津飛騰信息技術(shù)有限公司,天津102209;2 Cadence,廣東 深圳518040)