芯片驗(yàn)證

簡(jiǎn)單介紹一下自己，我是22屆的成都某雙非院校的電子信息畢業(yè)生?，F(xiàn)在從事驗(yàn)證已經(jīng)快兩年，這里想和大家分享一些入行驗(yàn)證后的經(jīng)驗(yàn)和心得。回想當(dāng)初快畢業(yè)了，對(duì)自己何去何從很是迷茫，電子信息本科學(xué)的東西突出一個(gè)泛泛又雜，幾乎沒有一點(diǎn)是精通的，在就業(yè)市場(chǎng)競(jìng)爭(zhēng)力非常小。我有幸通過IC修真院了解到IC行業(yè)當(dāng)時(shí)的火爆，并成功搭上了IC這條船。

芯片驗(yàn)證是為了發(fā)現(xiàn)芯片中的錯(cuò)誤而執(zhí)行的過程，它是一個(gè)破壞性的過程。完備的驗(yàn)證激勵(lì)可以更有效地發(fā)現(xiàn)芯片錯(cuò)誤，進(jìn)而縮短驗(yàn)證周期。合格的驗(yàn)證激勵(lì)必須能產(chǎn)生所有可能的驗(yàn)證場(chǎng)景(完備性)，包括合法和非法的場(chǎng)景，并保持最大的可擴(kuò)展性和可控性。

芯片驗(yàn)證是為了發(fā)現(xiàn)芯片中的錯(cuò)誤而執(zhí)行的過程，它是一個(gè)破壞性的過程。有效激勵(lì)灌入待測(cè)模塊后，需要判斷出不符合功能描述的行為。檢查器(Checker)就是用于查看待測(cè)模塊是否按照功能描述文檔做出期望的行為，識(shí)別出所有的設(shè)計(jì)缺陷。

狀態(tài)模式是一種行為設(shè)計(jì)模式， 讓你能在一個(gè)對(duì)象的內(nèi)部狀態(tài)變化時(shí)改變其行為， 使其看上去就像改變了自身所屬的類一樣。

在RTL設(shè)計(jì)中可能包含了復(fù)雜的多個(gè)訪問仲裁邏輯，使用了多種算法來確定訪問內(nèi)存優(yōu)先級(jí)順序，包括規(guī)定優(yōu)先級(jí)、輪詢仲裁等等。仲裁器的輸入是多個(gè)請(qǐng)求者信號(hào)，以及選擇要使用的仲裁算法的配置。根據(jù)選擇的類型和請(qǐng)求者信號(hào)的值，仲裁器確定具有最高優(yōu)先級(jí)的請(qǐng)求源，并授予它訪問內(nèi)存的權(quán)利。如下圖所示，仲裁類型可以動(dòng)態(tài)配置，這就是為什么該特性適合使用策略設(shè)計(jì)模式進(jìn)行建模。在該模式中，可以在testcase運(yùn)行中從提供的一系列算法中選擇要應(yīng)用的特定算法。此外，還可以直接為仲裁添加新算法，而無需修改之前代碼。值得注意的是，之前講到的裝飾器設(shè)計(jì)模式也可用于動(dòng)態(tài)更改行為，關(guān)鍵的區(qū)別在于，裝飾器模式在原功能基礎(chǔ)上添加額外的功能，而策略者模式直接更改原先功能。總得來說，策略模式可以讓你改變對(duì)象的內(nèi)部結(jié)構(gòu)，裝飾器模式允許你更改對(duì)象的皮膚。