多路系統(tǒng)Cache一致性驗(yàn)證中的錯(cuò)誤追蹤定位技術(shù)

摘要： 以某國(guó)產(chǎn)多路系統(tǒng)的驗(yàn)證為例，基于事務(wù)級(jí)驗(yàn)證TBV技術(shù)，提出并實(shí)現(xiàn)了一種可以應(yīng)用于模擬驗(yàn)證的自動(dòng)錯(cuò)誤追蹤定位技術(shù)，通過在驗(yàn)證環(huán)境中對(duì)處理器的特定功能流程、相關(guān)各種請(qǐng)求響應(yīng)、訪存地址和數(shù)據(jù)流等信息進(jìn)行事務(wù)級(jí)建模，記錄并生成了驗(yàn)證環(huán)境運(yùn)行產(chǎn)生的事務(wù)級(jí)信息庫(kù)，基于上述信息實(shí)現(xiàn)了錯(cuò)誤的自動(dòng)追蹤定位，顯著縮短了錯(cuò)誤定位時(shí)間，提升了多路系統(tǒng)模擬驗(yàn)證的查錯(cuò)效率。