航空總線協議芯片功能覆蓋測試技術研究與實現.pdf

1、2011年國際半導體技術發(fā)展藍圖報告指出，芯片設計制造業(yè)已經進入了“后摩爾”時代。芯片集成的功能越來越復雜，對芯片功能進行完備性驗證的難度也越來越大。功能覆蓋率作為功能驗證的完備性指標，它的重要性不言而喻。人們對功能覆蓋率測試技術的研究也從未停止。無論從驗證方法學還是到隨機激勵的生成，人們都研究得出了各種成果，也有其特殊的適用范圍。但是對判斷條件較多的總線協議類芯片，還沒有較快捷的測試方法。
　　本文針對協議芯片的特點，提出一種隨

2、機激勵生成方法。采用該方法，能夠提高這類芯片仿真測試過程中功能覆蓋率的收斂速度，而且不需要編寫隨機激勵的約束文件，在很大程度上提高了驗證的效率。
　　本文進行的研究分析，主要包括以下幾方面：
　　第一，對基于的設計——航空總線協議芯片進行結構分析，特別是芯片的內存實現架構、控制寄存器配置方式和命令幀的特點。通過對該芯片的分析提取驗證時需要隨機化的關鍵信息。根據芯片的規(guī)格要求制定驗證策略，并設置需要測試的功能。
　　第二

3、，根據總線協議類芯片對工作模式的判斷較多的特點，分析代碼中的各種條件判斷語句，對各種條件的執(zhí)行結果的發(fā)生概率進行分析總結。在此基礎上研究芯片功能測試中設定的功能點在代碼中的邏輯深度與測試向量覆蓋到功能點多少之間的關系。根據研究結果，提出了一種功能點權重的設置方法和測試激勵適應度的計算方法。然后結合遺傳算法提出了一種新的功能覆蓋率驅動的隨機激勵生成方法。
　　第三，根據航空總線協議芯片的驗證策略搭建 VMM驗證平臺，并在該平臺上實現