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

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

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