北橋芯片功能驗證中的覆蓋率分析.pdf

1、隨著半導體工藝突飛猛進的發(fā)展，ASIC設計的復雜程度也呈指數(shù)增長，功能驗證的復雜度也不斷提高，這使得覆蓋率分析(coverage analysis)成為ASIC設計驗證中的一個重要環(huán)節(jié)。 本文先從功能驗證入手，系統(tǒng)的介紹了這個領域內已有的成熟技術，形式驗證和模擬仿真驗證。并將模擬仿真驗證技術應用于北橋的驗證工程項目之中。模擬仿真驗證包括測試生成、結果檢測和覆蓋率分析。在測試生成方面，采用了帶約束的隨機測試生成；在結果檢測方面，使

2、用了現(xiàn)在最流行的基于斷言的結果檢測方法，取得了不錯的效果。在覆蓋率方面，使用了代碼覆蓋率和功能覆蓋率兩種分析方法。 在驗證過程中，代碼覆蓋率檢測激勵所執(zhí)行測試代碼的驗證效率；功能覆蓋率用于檢測激勵所執(zhí)行代碼功能的效率。本文給出了兩種覆蓋率分析方法在PCIBridge模塊上的實際應用。由于代碼覆蓋率和功能覆蓋率都有一定的局限性，所以嘗試了兩種覆蓋率相結合的覆蓋率分析方法。代碼覆蓋率與功能覆蓋率相結合的方法是在同一個測試平臺加載同樣