《電子技術(shù)應(yīng)用》
您所在的位置:首頁(yè) > 通信與網(wǎng)絡(luò) > 設(shè)計(jì)應(yīng)用 > 基于Cadence CHI和IVD VIP的 多核SoC系統(tǒng)數(shù)據(jù)一致性驗(yàn)證
基于Cadence CHI和IVD VIP的 多核SoC系統(tǒng)數(shù)據(jù)一致性驗(yàn)證
2020年電子技術(shù)應(yīng)用第8期
范君健1,晁張虎1,楊慶娜1,劉 琪1,朱 紅1,單建旗2
1.天津飛騰信息技術(shù)有限公司,天津102209;2 Cadence,廣東 深圳518040
摘要: 在多核的SoC系統(tǒng)中,不同的處理器核對(duì)內(nèi)存空間和設(shè)備空間進(jìn)行著大量的數(shù)據(jù)讀寫操作,維護(hù)Cache一致性面臨嚴(yán)峻挑戰(zhàn)。集中于控制流方面的驗(yàn)證環(huán)境搭建已非常復(fù)雜,而包含數(shù)據(jù)正確性檢查的驗(yàn)證由于控制流程復(fù)雜、數(shù)據(jù)量大等問題而更加困難。針對(duì)這一問題,基于Cadence公司提供CHI VIP、AXI VIP和IVD VIP,實(shí)現(xiàn)多核環(huán)境下的系統(tǒng)級(jí)數(shù)據(jù)一致性驗(yàn)證。搭建的驗(yàn)證平臺(tái)中采用CHI VIP通過筆者開發(fā)的CHI協(xié)議轉(zhuǎn)換橋發(fā)出訪存請(qǐng)求,使用AXI VIP收集到達(dá)主存的數(shù)據(jù),由IVD VIP對(duì)CHI端口的請(qǐng)求數(shù)據(jù)與AXI端口的訪存數(shù)據(jù)進(jìn)行實(shí)時(shí)分析比對(duì),實(shí)現(xiàn)在較高抽象層次上的激勵(lì)產(chǎn)生和響應(yīng)檢查。該驗(yàn)證平臺(tái)能夠在子系統(tǒng)級(jí)及系統(tǒng)級(jí)進(jìn)行數(shù)據(jù)一致性驗(yàn)證,具有驗(yàn)證環(huán)境搭建快速和功能點(diǎn)覆蓋完備的優(yōu)點(diǎn)。
中圖分類號(hào): TN409
文獻(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.
Multi-core SoC based on Cadence CHI and IVD VIP system data coherence verification
Fan Junjian1,Chao Zhanghu1,Yang Qingna1,Liu Qi1,Zhu Hong1,Shan Jianqi2
1.Tianjin Phytium Technology Co.,Ltd.,Tianjin 102209,China;2.Cadence,Shenzhen 518040,China
Abstract: In a multi-core SoC system, different processor cores perform a large amount of data read and write operations on memory space and device space. Maintaining cache coherence is facing severe challenges. The verification environment focused on the control flow has been very complicated, and the verification including data correctness check is more difficult due to the complicated control process and large amount of data. In response to this problem, this paper is based on Cadence CHI VIP, AXI VIP and IVD VIP to achieve system-level data coherence verification in a multi-core environment. In this paper, CHI VIP is used to issue a memory access request through the CHI protocol conversion bridge developed by the author, and AXI VIP is used to collect data that arrives in the main memory, real-time analysis and comparison of the request data of the CHI port and the access data of the AXI port by the IVD VIP,to realize stimulus generation and response inspection at a higher level of abstraction. The verification platform can perform data consistency verification at the subsystem level and system level, and has the advantages of rapid verification environment construction and complete coverage of function points.
Key words : cache coherence;subsystem verification;VIP;modular verification

0 引言

    Cache(高速緩沖存儲(chǔ)器)是存在于處理器核與主存之間的存儲(chǔ)器,在多核的處理器系統(tǒng)當(dāng)中,當(dāng)多個(gè)Cache包含同一塊數(shù)據(jù)時(shí),如果其中任意一個(gè)Cache修改了該數(shù)據(jù)塊而沒有通知其他的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)過片上互聯(lián)網(wǎng)絡(luò)寫入主存時(shí)要經(jīng)過較長(zhǎng)的路徑,需要對(duì)流經(jīng)網(wǎng)絡(luò)的數(shù)據(jù)正確性進(jìn)行檢查,驗(yàn)證環(huán)境的復(fù)雜程度越來越高。在驗(yàn)證環(huán)境搭建與驗(yàn)證覆蓋率收集方面,驗(yàn)證人員往往需要投入大量的精力,導(dǎo)致Cache一致性驗(yàn)證周期耗時(shí)較長(zhǎng)。




本文詳細(xì)內(nèi)容請(qǐng)下載:http://www.xxav2194.com/resource/share/2000002949




作者信息:

范君健1,晁張虎1,楊慶娜1,劉  琪1,朱  紅1,單建旗2

(1.天津飛騰信息技術(shù)有限公司,天津102209;2 Cadence,廣東 深圳518040)

此內(nèi)容為AET網(wǎng)站原創(chuàng),未經(jīng)授權(quán)禁止轉(zhuǎn)載。
主站蜘蛛池模板: 91制片厂制作果冻传媒168| 久久狠狠高潮亚洲精品| 精品日韩欧美一区二区在线播放| 国内少妇人妻丰满AV| 中文字幕无码人妻aaa片| 欧洲成人午夜精品无码区久久| 你是我的女人中文字幕高清 | 麻豆传煤入口麻豆公司传媒| 在线免费观看一区二区三区| 中文字幕人成乱码熟女| 最新日韩在线观看| 亚洲精品无码不卡| 精品熟人妻一区二区三区四区不卡 | 裙子底下真空h揉搓小雪| 国产精品成人无码视频| chinesestockings国产| 无码中文人妻在线一区二区三区| 亚洲av日韩综合一区久热| 激性欧美激情在线| 午夜国产福利在线| 蜜臀AV一区二区| 国产成人精品无码片区在线观看 | 中文字幕第23页| 日韩美女hd高清电影| 亚洲性无码av在线| 理论片手机在线观看免费视频| 四虎影视免费永久在线观看| 麻豆传煤入口麻豆公司传媒| 国产精品va无码免费麻豆| 91短视频网站| 天天天天天天天操| 一级一级18女人毛片| 无码吃奶揉捏奶头高潮视频| 久久精品无码一区二区三区 | 99精品全国免费观看视频| 性之道在线观看| 久久久久99精品成人片欧美| 日韩精品有码在线三上悠亚| 亚洲啪啪综合AV一区| 熟妇人妻不卡中文字幕| 制服丝袜一区二区三区|