對一種SOC總線系統(tǒng)的驗證.pdf

1、SOC(system On a chip)設(shè)計的顯著特點為IP的可重用性，從而保證了較短的開發(fā)時間，由于底層已驗證模塊的大量使用，各模塊的粘合，即總線系統(tǒng)的設(shè)計問題顯得越來越突出。 隨著集成電路規(guī)模的不斷擴大，設(shè)計驗證成為集成電路設(shè)計中最重要的任務(wù)。不同的驗證方法不斷出現(xiàn)，包括隨機測試生成，基于覆蓋率驅(qū)動的測試方法等等，但都有其缺點。 本文對于SOC總線系統(tǒng)的驗證，提出一種基于模擬仿真和覆蓋率分析的方法。前期使用帶約束的

2、隨機測試向量輸入待驗證系統(tǒng)進行模擬仿真，在達(dá)到一定條件后停止仿真。然后分析結(jié)果：如果仿真時間已經(jīng)足夠長但是覆蓋率并不高，則改進測試向量的產(chǎn)生方法，調(diào)整其約束，重新產(chǎn)生測試向量進行模擬仿真；如果覆蓋率已經(jīng)達(dá)到要求，則分析當(dāng)前的覆蓋率情況，然后手工生成測試向量來驗證尚未驗證到的部分。然后本文對一款SOC的總線系統(tǒng)進行了驗證。首先通過模塊劃分的辦法，對SOC總線的各個模塊分別進行驗證完畢后再進行整個系統(tǒng)的驗證，從而減少驗證時模擬仿真所需時間，

3、降低驗證的難度。然后使用此方法此SOC的總線系統(tǒng)的各個部分進行驗證，得到了良好的驗證結(jié)果。 然后本文使用抽象模型檢測技術(shù)，對SOC總線系統(tǒng)的一級總線進行進一步的驗證。首先通過引進虛擬時鐘代替原來時鐘的辦法，解決了多時鐘域電路形式化驗證時無法識別多個時鐘因而無法進行驗證的問題，然后分析了引進虛擬時鐘后的復(fù)雜度，證明此方法對于驗證的復(fù)雜度并無多大影響。然后通過使用對無關(guān)變量進行約束，模塊細(xì)化以及相似性縮略等辦法，把原來要驗證的模塊逐