基于Specman Elite平臺(tái)的消息解調(diào)協(xié)處理器功能驗(yàn)證.pdf

1、在數(shù)字芯片設(shè)計(jì)中,規(guī)模越來(lái)越大,功能驗(yàn)證已經(jīng)成為芯片設(shè)計(jì)的一個(gè)瓶頸,設(shè)計(jì)團(tuán)隊(duì)得花50％～70％的時(shí)間進(jìn)行功能驗(yàn)證。傳統(tǒng)的驗(yàn)證方法難以構(gòu)建復(fù)雜的驗(yàn)證場(chǎng)景,并且邊緣場(chǎng)景難以覆蓋。隨著業(yè)界提出受限隨機(jī)矢量生成驗(yàn)證方法,驗(yàn)證的效率和質(zhì)量得到大大提高。Specman Elite驗(yàn)證平臺(tái)基于該驗(yàn)證方法,其支撐語(yǔ)言為E語(yǔ)言。E語(yǔ)言做為一種高級(jí)驗(yàn)證語(yǔ)言具有很大的靈活性,提供基于約束驅(qū)動(dòng)的隨機(jī)向量產(chǎn)生,自動(dòng)的數(shù)據(jù)及協(xié)議檢查和自動(dòng)的功能覆蓋的解決方案。

2、r>　　 本文基于Specman Elite驗(yàn)證平臺(tái)對(duì)WCDMA系統(tǒng)的無(wú)線基帶芯片中的消息解調(diào)協(xié)處理器進(jìn)行功能驗(yàn)證。首先,闡述了消息解調(diào)協(xié)處理器的實(shí)現(xiàn)方案。消息解調(diào)協(xié)處理器采用ARM與ASIC的軟硬件協(xié)作方式實(shí)現(xiàn),在滿足性能的基礎(chǔ)上大大節(jié)省了資源并且提供了良好的靈活性和可升級(jí)性。然后,詳細(xì)說(shuō)明了消息解調(diào)協(xié)處理器功能驗(yàn)證環(huán)境的搭建過(guò)程,驗(yàn)證環(huán)境中各個(gè)模塊的設(shè)計(jì)實(shí)現(xiàn)。利用Specman Elite平臺(tái)提供的eRM結(jié)構(gòu)搭建驗(yàn)證平臺(tái),大大提高