芯片驗證

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

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

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

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

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