基于多核片上系統(tǒng)的自動驗證平臺關(guān)鍵技術(shù)研究.pdf

1、集成電路制造工藝的不斷進步，電路的集成度越來越高，設(shè)計人員可以將更多的功能集成在單個芯片中，系統(tǒng)的功能越來越復(fù)雜，這使得驗證工作變得日益困難，驗證將成為集成電路設(shè)計過程中的瓶頸。業(yè)界雖然提出了很多新的驗證方法，但是仍沒有突破性的方法來解決這個瓶頸。在這種情況下，驗證人員就只能將精力放在如何更好地使用現(xiàn)有的方法對設(shè)計進行驗證。
　　 網(wǎng)絡(luò)處理器是一種面向網(wǎng)絡(luò)應(yīng)用領(lǐng)域的專用指令處理器，它的結(jié)構(gòu)復(fù)雜、功能豐富，因此如何對其進行高效的驗

2、證就成了一個難題。本文對當(dāng)前主流的驗證方法和技術(shù)進行了研究，為網(wǎng)絡(luò)處理器的功能驗證提出了一種集合面向?qū)ο缶幊?、約束隨機激勵產(chǎn)生機制、層次化驗證、斷言和覆蓋率驅(qū)動驗證等多種驗證技術(shù)的綜合驗證方法，這種方法能夠有效的提高驗證的效率。在此基礎(chǔ)上設(shè)計并使用硬件驗證語言SystemVerilog編寫了一個驗證平臺，并對該平臺進行了優(yōu)化，使其功能更加完善。該平臺為網(wǎng)絡(luò)處理器的驗證提供了一個層次化、可控制、可觀測和可重用的驗證環(huán)境，其中覆蓋率模型的建

3、立將功能覆蓋率定為了衡量驗證的進度的指標，通過觀測功能覆蓋率來調(diào)整驗證激勵的生成方式，讓激勵盡可能完備，最終使功能覆蓋率盡快達到收斂。
　　 本文在搭建完驗證平臺后，利用仿真工具QuestaSim對網(wǎng)絡(luò)處理器進行了仿真，仿真結(jié)果顯示本文定義的功能點全部被覆蓋，即功能覆蓋率達到了100％，代碼覆蓋率也達到了預(yù)定的目標。這表明驗證平臺能夠基本滿足網(wǎng)絡(luò)處理器功能驗證的要求。同時本文還通過驗證平臺收集的數(shù)據(jù)對網(wǎng)絡(luò)處理器的性能進行了分析，