UVM的三個(gè)特點(diǎn)
時(shí)間：2021-11-12 14:15:40
手機(jī)看文章
掃描二維碼
隨時(shí)隨地手機(jī)看文章
[導(dǎo)讀]a.?基于事務(wù)級(jí)的驗(yàn)證框架UVM?是一個(gè)事務(wù)級(jí)（TBV,TransactionBasedVerification）的驗(yàn)證模型框架，解決了用低層次的信號(hào)比特或比特向量的形式帶來(lái)效率較低的問(wèn)題。在事務(wù)級(jí)的驗(yàn)證中，低層次的信號(hào)活動(dòng)被抽象成一個(gè)事務(wù)操作，這樣可以通過(guò)高層次事務(wù)操作來(lái)描述各...
a.?基于事務(wù)級(jí)的驗(yàn)證框架
UVM?是一個(gè)事務(wù)級(jí)（TBV, Transaction Based Verification）的驗(yàn)證模型框架，解決了用低層次的信號(hào)比特或比特向量的形式帶來(lái)效率較低的問(wèn)題。
在事務(wù)級(jí)的驗(yàn)證中，低層次的信號(hào)活動(dòng)被抽象成一個(gè)事務(wù)操作，這樣可以通過(guò)高層次事務(wù)操作來(lái)描述各種驗(yàn)證場(chǎng)景。具體來(lái)說(shuō)就是其測(cè)試激勵(lì)可以定義類似于數(shù)據(jù)幀這樣的抽象層次的事務(wù)?；谑聞?wù)的驗(yàn)證大大改善了驗(yàn)證的效率。b.?激勵(lì)隨機(jī)生成
在一個(gè)驗(yàn)證平臺(tái)中，需要定義好輸入 transaction 的結(jié)構(gòu)和約束。結(jié)構(gòu)包括transaction 中包括哪些內(nèi)容，約束包括長(zhǎng)度約束和值約束。
在驗(yàn)證過(guò)程中 UVM可以根據(jù)定義的結(jié)構(gòu)和內(nèi)容自動(dòng)生成隨機(jī)化的 transaction。只要隨機(jī)化的種子相同，則每次生成 transaction 序列也是相同的，但是序列中每一個(gè) transaction 是不同的。
約束隨機(jī)激勵(lì)測(cè)試能夠覆蓋大部分的代碼和功能，檢查出大部分的錯(cuò)誤，但是對(duì)于想要進(jìn)行更高質(zhì)量的驗(yàn)證則需要添加直接測(cè)試，即手動(dòng)生成 transaction。
c.?自動(dòng)化比較和覆蓋率統(tǒng)計(jì)分析
能夠自動(dòng)檢查仿真輸出和預(yù)期是否一致、能夠自動(dòng)完成代碼覆蓋率統(tǒng)計(jì)、狀態(tài)覆蓋率檢查、狀態(tài)變遷覆蓋率等。
UVM?是一個(gè)事務(wù)級(jí)（TBV, Transaction Based Verification）的驗(yàn)證模型框架，解決了用低層次的信號(hào)比特或比特向量的形式帶來(lái)效率較低的問(wèn)題。
在事務(wù)級(jí)的驗(yàn)證中，低層次的信號(hào)活動(dòng)被抽象成一個(gè)事務(wù)操作，這樣可以通過(guò)高層次事務(wù)操作來(lái)描述各種驗(yàn)證場(chǎng)景。具體來(lái)說(shuō)就是其測(cè)試激勵(lì)可以定義類似于數(shù)據(jù)幀這樣的抽象層次的事務(wù)?；谑聞?wù)的驗(yàn)證大大改善了驗(yàn)證的效率。b.?激勵(lì)隨機(jī)生成
在一個(gè)驗(yàn)證平臺(tái)中，需要定義好輸入 transaction 的結(jié)構(gòu)和約束。結(jié)構(gòu)包括transaction 中包括哪些內(nèi)容，約束包括長(zhǎng)度約束和值約束。
在驗(yàn)證過(guò)程中 UVM可以根據(jù)定義的結(jié)構(gòu)和內(nèi)容自動(dòng)生成隨機(jī)化的 transaction。只要隨機(jī)化的種子相同，則每次生成 transaction 序列也是相同的，但是序列中每一個(gè) transaction 是不同的。
約束隨機(jī)激勵(lì)測(cè)試能夠覆蓋大部分的代碼和功能，檢查出大部分的錯(cuò)誤，但是對(duì)于想要進(jìn)行更高質(zhì)量的驗(yàn)證則需要添加直接測(cè)試，即手動(dòng)生成 transaction。
c.?自動(dòng)化比較和覆蓋率統(tǒng)計(jì)分析
能夠自動(dòng)檢查仿真輸出和預(yù)期是否一致、能夠自動(dòng)完成代碼覆蓋率統(tǒng)計(jì)、狀態(tài)覆蓋率檢查、狀態(tài)變遷覆蓋率等。
下載文檔
