本發(fā)明涉及芯片存儲(chǔ)器驗(yàn)證技術(shù)領(lǐng)域，具體涉及一種針對(duì)邏輯和CPU均可讀寫(xiě)存儲(chǔ)器的測(cè)試方法。

背景技術(shù)：

針對(duì)邏輯和CPU均可讀寫(xiě)的存儲(chǔ)器，兩者的讀寫(xiě)仲裁需要充分測(cè)試，一旦仲裁邏輯出現(xiàn)問(wèn)題，將會(huì)導(dǎo)致CPU或者邏輯操作失敗。傳統(tǒng)的測(cè)試方法只能將CPU操作和邏輯操作放在不同的測(cè)試?yán)珠_(kāi)來(lái)測(cè)試，這樣無(wú)法充分驗(yàn)證CPU和邏輯對(duì)存儲(chǔ)器同時(shí)進(jìn)行操作的情況。由于CPU讀寫(xiě)存儲(chǔ)器的結(jié)果和時(shí)序緊密相關(guān)，而驗(yàn)證模型主要用來(lái)驗(yàn)證邏輯電路行為的正確性，因此驗(yàn)證模型中通常沒(méi)有CPU操作的存儲(chǔ)器接口。在仿真測(cè)試時(shí)，如果CPU和邏輯同時(shí)讀寫(xiě)存儲(chǔ)器，且被測(cè)對(duì)象中存儲(chǔ)器的某個(gè)條目被CPU改寫(xiě)，這樣驗(yàn)證模型從存儲(chǔ)器讀到的值和被測(cè)電路讀到的值就不一樣，導(dǎo)致被測(cè)電路和驗(yàn)證模型結(jié)果檢查不能通過(guò)，最后導(dǎo)致仿真測(cè)試失敗，無(wú)法驗(yàn)證CPU和邏輯讀寫(xiě)操作的正確性。

技術(shù)實(shí)現(xiàn)要素：

針對(duì)現(xiàn)有技術(shù)的不足，本發(fā)明的主要目的在于：提出一種針對(duì)邏輯和CPU均可讀寫(xiě)存儲(chǔ)器的測(cè)試方法，以測(cè)試邏輯和CPU對(duì)存儲(chǔ)器同時(shí)進(jìn)行操作的正確性，使得邏輯設(shè)計(jì)得到充分的測(cè)試和驗(yàn)證。

為實(shí)現(xiàn)前述目的，本發(fā)明公開(kāi)了一種針對(duì)邏輯和CPU均可讀寫(xiě)存儲(chǔ)器的測(cè)試方法，具體包括：

分配邏輯和CPU對(duì)存儲(chǔ)器操作的地址，分配的地址不超過(guò)所述存儲(chǔ)器的地址邊界，且邏輯操作的地址與CPU操作的地址互不相同；

發(fā)送一定數(shù)量的激勵(lì)，進(jìn)行模擬仿真測(cè)試，并在測(cè)試期間監(jiān)測(cè)對(duì)所述存儲(chǔ)器操作的正確性。

優(yōu)選地，所述激勵(lì)包括邏輯和CPU對(duì)所述存儲(chǔ)器的讀寫(xiě)操作。

優(yōu)選地，所述在測(cè)試期間監(jiān)測(cè)對(duì)所述存儲(chǔ)器操作的正確性包括：

在仿真測(cè)試期間監(jiān)測(cè)CPU動(dòng)態(tài)寫(xiě)所述存儲(chǔ)器操作、CPU動(dòng)態(tài)讀所述存儲(chǔ)器操作以及邏輯讀寫(xiě)所述存儲(chǔ)器操作的正確性。

優(yōu)選地，所述方法還包括在仿真測(cè)試前，打開(kāi)驗(yàn)證模型自動(dòng)檢查開(kāi)關(guān)，將驗(yàn)證模型與邏輯操作結(jié)果進(jìn)行比較，用于檢查邏輯設(shè)計(jì)的正確性。

優(yōu)選地，隨機(jī)分配邏輯和CPU對(duì)存儲(chǔ)器操作的地址。

與現(xiàn)有技術(shù)相比，本發(fā)明的優(yōu)點(diǎn)在于：本發(fā)明公開(kāi)的一種針對(duì)邏輯和CPU均可讀寫(xiě)存儲(chǔ)器的測(cè)試方法，通過(guò)為邏輯操作和CPU操作劃分不同的訪問(wèn)地址，不僅可以測(cè)試邏輯和CPU同時(shí)讀寫(xiě)存儲(chǔ)器的正確性，還能驗(yàn)證仲裁邏輯的正確性，采用本發(fā)明的測(cè)試方法可降低芯片二次投片的風(fēng)險(xiǎn)，從而節(jié)省了經(jīng)濟(jì)費(fèi)用。

附圖說(shuō)明

圖1是本發(fā)明一實(shí)施例提出的邏輯和CPU同時(shí)讀寫(xiě)存儲(chǔ)器示意圖。

具體實(shí)施方式

鑒于現(xiàn)有技術(shù)中的不足，本案發(fā)明人經(jīng)長(zhǎng)期研究和大量實(shí)踐，得以提出本發(fā)明的技術(shù)方案。如下將對(duì)該技術(shù)方案、其實(shí)施過(guò)程及原理等作進(jìn)一步的解釋說(shuō)明。

本發(fā)明實(shí)施例提出一種將CPU操作和邏輯操作放在同一測(cè)試?yán)郎y(cè)試的方法，該方法為CPU操作和邏輯操作分配不同的訪問(wèn)地址，分配的地址不超過(guò)存儲(chǔ)器的地址邊界，且邏輯操作的地址與CPU操作的地址互不相同，同時(shí)記錄所述分配的操作地址。

將驗(yàn)證模型中輸出結(jié)果比較功能打開(kāi)，發(fā)送一定數(shù)量的激勵(lì)，進(jìn)行模擬仿真測(cè)試，并在測(cè)試期間監(jiān)測(cè)對(duì)所述存儲(chǔ)器操作的正確性，從而可以使用驗(yàn)證模型實(shí)時(shí)檢查設(shè)計(jì)的正確性，同時(shí)邏輯設(shè)計(jì)又達(dá)到了充分的測(cè)試和驗(yàn)證。

為了使本發(fā)明的目的、技術(shù)方案及優(yōu)點(diǎn)更加清楚明白，以下結(jié)合附圖及實(shí)施例，對(duì)本發(fā)明進(jìn)行進(jìn)一步詳細(xì)說(shuō)明。應(yīng)當(dāng)理解，此處所描述的具體實(shí)施例僅用以解釋本發(fā)明，并不用于限定本發(fā)明。

針對(duì)邏輯和CPU均可讀寫(xiě)存儲(chǔ)器的測(cè)試方法如下：

任意分配邏輯和CPU對(duì)存儲(chǔ)器Memory操作的地址，如圖1所示：存儲(chǔ)器中白色部分的存儲(chǔ)空間為邏輯操作的地址所對(duì)應(yīng)的存儲(chǔ)空間，帶陰影部分的存儲(chǔ)空間為CPU操作的地址所對(duì)應(yīng)的存儲(chǔ)空間。分配的地址不可超出存儲(chǔ)器的地址邊界，且邏輯操作和CPU操作的任意一個(gè)存儲(chǔ)空間未發(fā)生重合。通過(guò)任意分配地址，可提高CPU和邏輯讀寫(xiě)操作驗(yàn)證的隨機(jī)性。

打開(kāi)驗(yàn)證模型的自動(dòng)檢查開(kāi)關(guān)，發(fā)送一定數(shù)量的激勵(lì)，進(jìn)行模擬仿真測(cè)試，其中激勵(lì)包含邏輯和CPU對(duì)存儲(chǔ)器的讀寫(xiě)操作。在仿真測(cè)試期間監(jiān)測(cè)以下三個(gè)操作：

CPU動(dòng)態(tài)寫(xiě)存儲(chǔ)器的操作；

CPU動(dòng)態(tài)讀存儲(chǔ)器的操作；

邏輯讀寫(xiě)存儲(chǔ)器的操作。

上述設(shè)置已實(shí)現(xiàn)將邏輯操作和CPU操作放置在同一測(cè)試激勵(lì)中，且邏輯操作和CPU操作的地址不相同，若監(jiān)測(cè)到上述三個(gè)操作均無(wú)誤，則說(shuō)明邏輯和CPU同時(shí)讀寫(xiě)存儲(chǔ)器未發(fā)生錯(cuò)誤，同時(shí)驗(yàn)證了邏輯和CPU之間仲裁的正確性。

其中，判斷CPU讀寫(xiě)存儲(chǔ)器的正確性的方法為：上述激勵(lì)發(fā)送CPU指令，CPU先向存儲(chǔ)器的某個(gè)地址寫(xiě)入數(shù)據(jù)，再讀出該地址對(duì)應(yīng)的數(shù)據(jù)，將讀出來(lái)的數(shù)據(jù)與之前寫(xiě)入的數(shù)據(jù)進(jìn)行比較，若結(jié)果一致，說(shuō)明CPU讀寫(xiě)操作無(wú)誤。

判斷邏輯讀寫(xiě)存儲(chǔ)器的正確性的方法為：上述激勵(lì)發(fā)送邏輯報(bào)文至被測(cè)邏輯電路和驗(yàn)證模型，被測(cè)邏輯電路和驗(yàn)證模型根據(jù)報(bào)文信息對(duì)存儲(chǔ)器進(jìn)行讀寫(xiě)操作，通過(guò)驗(yàn)證模型自動(dòng)檢查，將驗(yàn)證模型與邏輯操作的結(jié)果進(jìn)行比較，若結(jié)果一致，說(shuō)明該邏輯設(shè)計(jì)準(zhǔn)確無(wú)誤。通過(guò)多次激勵(lì)測(cè)試，使邏輯設(shè)計(jì)得到了充分的測(cè)試和驗(yàn)證。

采用本發(fā)明提供的一種針對(duì)邏輯和CPU均可讀寫(xiě)存儲(chǔ)器的測(cè)試方法，不僅可以測(cè)試邏輯和CPU同時(shí)讀寫(xiě)存儲(chǔ)器的正確性，還可驗(yàn)證仲裁邏輯的正確性，通過(guò)該方法可避免由于CPU和邏輯同時(shí)操作存儲(chǔ)器出現(xiàn)錯(cuò)誤而影響芯片的數(shù)據(jù)讀寫(xiě)功能，甚至整個(gè)芯片的功能的情況，降低了芯片二次投片的風(fēng)險(xiǎn)，節(jié)省了經(jīng)濟(jì)費(fèi)用。

本發(fā)明技術(shù)方案具有通用性，對(duì)任意邏輯和CPU均可讀寫(xiě)的存儲(chǔ)器都可使用本發(fā)明的方法進(jìn)行測(cè)試，只需給邏輯的讀寫(xiě)和CPU的讀寫(xiě)分配不同的地址就可以實(shí)現(xiàn)，同時(shí)還可以將驗(yàn)證模型打開(kāi)進(jìn)行邏輯操作結(jié)果的比較，既可測(cè)試邏輯和CPU讀寫(xiě)的正確性，又驗(yàn)證了邏輯和CPU之間仲裁的正確性，同時(shí)邏輯設(shè)計(jì)達(dá)到充分的測(cè)試和驗(yàn)證。

應(yīng)當(dāng)理解，上述實(shí)施例僅為說(shuō)明本發(fā)明的技術(shù)構(gòu)思及特點(diǎn)，其目的在于讓熟悉此項(xiàng)技術(shù)的人士能夠了解本發(fā)明的內(nèi)容并據(jù)以實(shí)施，并不能以此限制本發(fā)明的保護(hù)范圍。凡根據(jù)本發(fā)明精神實(shí)質(zhì)所作的等效變化或修飾，都應(yīng)涵蓋在本發(fā)明的保護(hù)范圍之內(nèi)。