微處理器功能驗(yàn)證自動(dòng)化方法的研究和實(shí)現(xiàn).pdf

1、隨著IC技術(shù)的不斷發(fā)展，設(shè)計(jì)的復(fù)雜度和集成度不斷提高，驗(yàn)證工作所花費(fèi)的時(shí)間和人力開銷越來越大，而其中又以微處理器的驗(yàn)證為最復(fù)雜和最困難。近年來，學(xué)術(shù)領(lǐng)域和業(yè)界對(duì)驗(yàn)證特別是處理器的驗(yàn)證進(jìn)行了大量的研究和嘗試，對(duì)驗(yàn)證方法學(xué)不斷改進(jìn)完善，并開發(fā)出很多新的驗(yàn)證語(yǔ)言及驗(yàn)證工具，不過其中的核心問題就是如何在保證驗(yàn)證覆蓋率的前提下提高驗(yàn)證自動(dòng)化或者效率。 T DSP為自主開發(fā)的一款低功耗16位定點(diǎn)DSP，超哈佛多總線結(jié)構(gòu)，六級(jí)流水。本文研究和

2、比較了多種常用的功能驗(yàn)證方法和相應(yīng)的覆蓋率的評(píng)估，并詳細(xì)介紹了T DSP項(xiàng)目中自動(dòng)化驗(yàn)證平臺(tái)的實(shí)現(xiàn)和相應(yīng)的偽隨機(jī)測(cè)試指令生成器的實(shí)現(xiàn)機(jī)制，具有很高的自動(dòng)化和可重用性。 另外，在應(yīng)用偽隨機(jī)驗(yàn)證方法的前提下，針對(duì)大量冗余向量帶來的額外時(shí)間和計(jì)算能力的開銷，進(jìn)行了部分改進(jìn)，引入了人工神經(jīng)網(wǎng)絡(luò)來動(dòng)態(tài)調(diào)整待測(cè)向量的優(yōu)先級(jí)，有針對(duì)性的將優(yōu)先級(jí)最高的向量輸出進(jìn)行驗(yàn)證，并給出了一種可以通用的優(yōu)先級(jí)表示方法，可以獨(dú)立于待驗(yàn)證微處理器架構(gòu)和指令集。