[發明專利]一種基于依賴關系進行參數求值的方法

有效

• 申請號: 202110771128.8
• 申請日: 2021-07-08
• 公開（公告）號: CN113536722B
• 公開（公告）日: 2022-05-24
• 發明（設計）人: 郭根華;徐啟迪;周振亞;吳大可;王曉光
• 申請（專利權）人: 北京華大九天科技股份有限公司
• 主分類號: G06F30/367
• 分類號: G06F30/367;G06F30/373;G06F115/06
• 代理公司: 北京德崇智捷知識產權代理有限公司 11467
• 代理人: 王金雙

一種基于依賴關系進行參數求值的方法，包括以下步驟：1)遍歷電路結構中定義的參數賦值表達式，建立參數之間的靜態依賴關系；2)對電路結構中定義的參數集合進行拓撲排序，并計算所有參數的值；3)遍歷電路實例化時的參數賦值表達式，建立參數之間的動態依賴關系；4)結合靜態參數和動態依賴關系，得到最終的求值參數集合；5)按順序遍歷最終的求值參數集合，直接進行求值計算。本發明適用于大規模模擬電路的時序仿真，可以有效地提高電路仿真過程中對電路參數進行求值計算的速度，從而大大減少建立電路拓撲結構的時間，加速了電路的整體設計周期。

技術領域

本發明涉及集成電路自動化產品設計領域，涉及電路仿真過程中對網表中電路的解析和拓撲構建過程，特別涉及一種基于依賴關系進行參數求值的方法。

背景技術

電路仿真是集成電路功能驗證的重要手段。由電路設計圖(Schematic)產生的網表文件，作為電路仿真的主要輸入，需要將其進行解析并且構建出電路的拓撲結構，然后才能建立電路方程組并進行求解。電路拓撲結構的構建，是一個復雜且耗時的過程，隨著集成電路規模的急劇增加，各層電路都可能會定義數量巨大的參數表達式，其中包括普通參數、器件參數和模型參數等，而在電路實例化過程中，每個電路實體都可以直接或間接改變電路結構中所定義的那些參數，因此，參數之間的依賴關系是一個龐大而復雜的集合。

在建立整個電路拓撲結構之前，必須將所有子電路實體最終使用的參數都計算出來，以便確定子電路中各器件、模型的參數值等，才能進一步判斷哪些電路實體可以共享相同的子電路拓撲結構。因此，電路參數的計算，是構建電路拓撲結構的前提條件，尤其是當掃描條件改變時，所影響的那些參數還可能需要進行多次求值計算。因此，設計一種快速高效的參數求值方法，對電路仿真的驗證工作具有很大的影響，對于實際電路設計也具有重要意義。

發明內容

為了解決現有技術存在的不足，本發明的目的在于提供一種基于依賴關系進行參數求值的方法，對電路結構定義的和實例化時的參數表達式進行遍歷，分別得到參數之間的靜態依賴關系和動態依賴關系，并結合兩者的集合求出最終的有序的影響參數集合，然后按順序依次進行求值，使得求值過程中無需再去查找和修改依賴關系，從而大大提高了電路拓撲結構的建立速度。

為實現上述目的，本發明提供的基于依賴關系進行參數求值的方法，包括以下步驟：

1)遍歷電路結構中定義的參數賦值表達式，建立參數之間的靜態依賴關系；

2)對電路結構中定義的參數集合進行拓撲排序，并計算所有參數的值；

3)遍歷電路實例化時的參數賦值表達式，建立參數之間的動態依賴關系；

4)結合靜態參數和動態依賴關系，得到最終的求值參數集合；

5)按順序遍歷最終的求值參數集合，直接進行求值計算。

進一步地，所述參數賦值表達式中只包含常數和參數ID兩種，其中參數ID是指參數的標識，所述參數ID的可訪問的范圍包括三種：父層電路可訪問、實例化所在電路可訪問、定義所在的電路可訪問。

進一步地，所述靜態依賴關系的表達方式采用數據結構中的有向圖，并以鄰接表形式存儲，其中有向圖中的節點記錄了參數ID和對應的鄰接表地址。

進一步地，所述步驟2)進一步包括對有向圖進行拓撲排序，得到按依賴關系排好序的參數集合，其中，在求值計算過程中，當參數的值無法求出時，將其暫時標記為未定義，等到實例化時進行處理。

進一步地，所述步驟3)的動態依賴關系的表達方式使用字典表的方式，其中鍵為賦值表達式左邊的參數ID，值為賦值表達式右側所有參數ID的無重復的集合，記作實例化參數的依賴集合，所述依賴集合中的所有參數都會直接影響當前參數的值。

進一步地，所述步驟4)的所述最終的求值參數集合，包括實例化參數集合本身和實例化參數集合所影響的所有參數的有序集合。