[發明專利]一種采用斷言和腳本提高統計功能覆蓋率效率的方法

在審

• 申請號: 201710790737.1
• 申請日: 2017-09-05
• 公開（公告）號: CN107506558A
• 公開（公告）日: 2017-12-22
• 發明（設計）人: 張永照;童元滿
• 申請（專利權）人: 鄭州云海信息技術有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 濟南信達專利事務所有限公司37100
• 代理人: 馮春連

1.一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，該方法通過將功能點按規則概況后統計入一個文件中，在設計中加入斷言，利用腳本的文本處理能力處理log信息，實現覆蓋率數據的實時統計。

2.根據權利要求1所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述設計為FIFO設計時，采用instance絕對層次路徑_當前FIFO instance_overflow概況功能點。

3.根據權利要求1所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述方法的實現步驟包括：

1）規則化描述功能點，統計功能點并寫入文件中；

2）根據功能點描述規則，在設計加入對應功能點的斷言，斷言成功功能點的描述至統一的斷言報告中；

3）開發同驗證環境并行運行的腳本，實時監測斷言報告內容是否發生變化，記錄發生變化的斷言報告內容，并在當前用例仿真結束時，給出覆蓋率。

4.根據權利要求3所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述步驟1）中，功能點寫入文件為FP.txt。

5.根據權利要求4所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述步驟2）中，功能點斷言成功后打印功能點命名內容至covered.log，功能點斷言失敗則打印功能點命名內容至uncovered.log。

6.根據權利要求5所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述covered.log為全局共享文件，所述uncovered.log為本地文件。

7.根據權利要求6所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述步驟3）中，實時監測covered.log是否發生變化，記錄發生變化的covered.log，并與功能點寫入的FP.txt文件作比較，以實時獲取覆蓋率。

8.根據權利要求7所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述腳本為本地文件，用于實時監測全局共享文件的變化。

9.根據權利要求1或3所述的一種采用斷言和腳本提高統計功能覆蓋率效率的方法，其特征在于，所述斷言的加入方式是：

采用直接在設計中添加的方式，或者，采用systemverilog中bind的方式。