[發明專利]跨時鐘域模型檢查器的控制方法、裝置及電子設備

有效

• 申請號: 202011555344.0
• 申請日: 2020-12-23
• 公開（公告）號: CN112580283B
• 公開（公告）日: 2022-04-29
• 發明（設計）人: 沈旭
• 申請（專利權）人: 海光信息技術股份有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33
• 代理公司: 北京超凡宏宇專利代理事務所(特殊普通合伙) 11463
• 代理人: 蔣姍

本申請提供了一種跨時鐘域模型檢查器的控制方法、裝置及電子設備，其中，該方法包括：通過波形分析工具對跨時鐘域模型進行分析，以得到跨時鐘域模型的模型信息；對模型信息進行解析，以得到跨時鐘域模型的例化信息；通過遍歷跨時鐘域模型的例化信息，生成用于控制例化單元對應的檢查器的控制代碼；將控制代碼、預定義的用戶接口封裝至驗證環境中的控制模塊中，以及將預定義的控制文件添加至驗證環境中的指定位置，以得到目標驗證環境，通過所述目標驗證環境對所述跨時鐘域模型對應的檢查器進行控制。能夠提高對跨時鐘域模型中的功能驗證的效率。

技術領域

本申請涉及計算機技術領域，具體而言，涉及一種跨時鐘域模型檢查器的控制方法、裝置及電子設備。

背景技術

芯片設計和驗證一般都需要針對跨時鐘域(Clock Domain Crossing，以下簡稱CDC)電路進行驗證。

由于芯片設計和仿真的場景的多樣性，針對跨時鐘域電路的驗證和檢查，需要配合實際跨時鐘域電路和應用情況來做調整和控制，以確定用于檢測跨時鐘域電路的檢查器的檢查規則都是合理的。例如，一般驗證人員專門撰寫代碼做針對性的精細控制，以控制檢查器需要開或者關的時機。

發明內容

本申請的目的在于提供一種跨時鐘域模型檢查器的控制方法、裝置及電子設備，能夠解決對跨時鐘域模型中的功能驗證問題。

第一方面，本發明實施例提供一種跨時鐘域模型檢查器的控制方法，包括：

通過波形分析工具對跨時鐘域模型進行分析，以得到所述跨時鐘域模型的模型信息，所述跨時鐘域模型為一芯片設計模型；

對所述模型信息進行解析，以得到所述跨時鐘域模型的例化信息，所述例化信息用于描述例化單元；

通過遍歷所述跨時鐘域模型的例化信息，生成用于控制例化單元對應的檢查器的控制代碼；

將所述控制代碼、預定義的用戶接口封裝至驗證環境中的控制模塊中，以及將預定義的控制文件添加至所述驗證環境中的指定位置，以得到目標驗證環境；

通過所述目標驗證環境對所述跨時鐘域模型對應的檢查器進行控制。

在可選的實施方式中，所述通過遍歷所述跨時鐘域模型的例化信息，生成用于控制例化單元對應的檢查器的控制代碼，包括：

根據預定義的控制代碼生成腳本，遍歷所述跨時鐘域模型的例化信息，并生成用于控制例化單元對應的檢查器的控制代碼。

在本申請實施例中，通過控制代碼生成腳本直接生成控制代碼，可以減少人工編寫代碼的操作，從而可以復用至需要的環境中，從而可以提高針對跨時鐘域模型在跨時鐘域下的各個功能的驗證效率。

在可選的實施方式中，所述根據預定義的控制代碼生成腳本，遍歷所述跨時鐘域模型的例化信息，并生成用于控制例化單元對應的檢查器的控制代碼，包括：

根據預定義的控制代碼生成腳本，遍歷所述跨時鐘域模型的例化信息得到目標例化信息，以及根據所述目標例化信息生成用于控制所述目標例化信息的目標例化單元對應的檢查器的控制代碼，所述目標例化信息為所述跨時鐘域模型的例化信息中的任意一個例化信息。

在本申請實施例中，基于不同驗證需求，例如，需要進行精確控制時，則每一個例化信息需要對應精確的控制代碼，則可以匹配為每一個例化信息生成一個對應的控制代碼，從而實現一對一的精確控制。

在可選的實施方式中，所述根據預定義的控制代碼生成腳本，遍歷所述跨時鐘域模型的例化信息，并生成用于控制例化單元對應的檢查器的控制代碼，包括：

根據預定義的控制代碼生成腳本，遍歷所述跨時鐘域模型的例化信息得到的同一類例化信息，以及生成用于控制所述同一類例化信息下的例化單元對應的檢查器的控制代碼，所述跨時鐘域模型的例化信息包括一類或多類例化信息。