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

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

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