摘要:路由器是片上網(wǎng)絡(luò )的關(guān)鍵組件,其性能對于整個(gè)網(wǎng)絡(luò )的性能具有重要影響;針對片上網(wǎng)絡(luò )路由器進(jìn)行功能驗證,采用SystemVerilog和自動(dòng)化腳本搭建了基于通用驗證方法學(xué)(UVM)的驗證平臺,簡(jiǎn)化了驗證流程;在驗證平臺中,通過(guò)劃分多個(gè)agent向路由器的每個(gè)端口發(fā)送受約束的隨機激勵和定向測試序列,并創(chuàng )建了多個(gè)獨立的測試用例,對路由器的功能進(jìn)行充分的驗證;通過(guò)運用覆蓋率驅動(dòng)策略,對驗證進(jìn)程進(jìn)行了量化;根據路由器的設計要求,編寫(xiě)了覆蓋組和交叉覆蓋組以收集覆蓋率數據;此驗證平臺已應用于人工智能芯片的驗證工作,平臺中的組件和測試用例均可實(shí)現更高層次的復用;此外,通過(guò)VCS和Verdi的聯(lián)合仿真,實(shí)現了100%的功能覆蓋率和95.6%的代碼覆蓋率的目標。