[發明專利]一種用于邏輯仿真系統的信號波形存儲方法

在審

• 申請號: 202210467097.1
• 申請日: 2022-04-29
• 公開（公告）號: CN114818558A
• 公開（公告）日: 2022-07-29
• 發明（設計）人: 李立;魯俊
• 申請（專利權）人: 湖南泛聯新安信息科技有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33;G06F3/06
• 代理公司: 長沙市護航專利代理事務所(特殊普通合伙) 43220
• 代理人: 張潔

本發明公開了一種用于邏輯仿真系統的信號波形存儲方法，包括使用編譯器前端對源代碼進行編譯，得到對應的抽象語法樹；基于抽象語法樹，遍歷樹上的所有節點，基于該節點的語義生成對應的控制流和數據流節點，從而得到抽象語法樹對應的控制流圖和數據流圖，進而對邏輯仿真中的所有信號做關聯分析，得出信號間的關聯轉換函數；在邏輯仿真的過程中，依次記錄所有信號的波形；邏輯仿真完成后，基于記錄的所有信號的波形以及關聯轉換函數，做關聯轉換函數的正確性分析得到分析結果，根據分析結果標記信號并保存對應的關聯轉換函數；接收用戶發起的信號波形存儲的請求，根據請求存儲對應的信號波形。能夠大幅降低需要存儲的波形文件的大小。

技術領域

本發明屬于通信領域，特別是涉及一種用于邏輯仿真系統的信號波形存儲方法。

背景技術

信號波形存儲的目的就是在邏輯仿真后把結果保存下來，方便用于做詳細分析，研究以及再現這次仿真。普通的信號波形存儲方法就是把仿真邏輯系統中生成的所有信號波形導出并保存下來，中間并不涉及對于信號波形的處理和存儲的優化。相對較優的信號波形存儲方法允許用戶在仿真前對信號導出進行設定，包括需要記錄的信號等。

對于大型的邏輯仿真項目來說，需要觀察的信號波形非常多，仿真時間和密度相對都比較大，這就會導致波形文件非常大，打開非常慢，也會影響后續分析和研究的效率。因此，亟需提供一種優化后的波形存儲方法，以大幅降低需要存儲的波形文件的大小。

發明內容

針對以上技術問題，本發明提供一種用于邏輯仿真系統的信號波形存儲方法。

本發明解決其技術問題采用的技術方案是：

一種用于邏輯仿真系統的信號波形存儲方法，方法包括以下步驟：

步驟S100：使用編譯器前端對要進行邏輯仿真的硬件描述語言的源代碼進行編譯，得到對應的抽象語法樹；

步驟S200：基于抽象語法樹，遍歷樹上的所有節點，基于該節點的語義生成對應的控制流和數據流節點，從而得到抽象語法樹對應的控制流圖和數據流圖；

步驟S300：基于控制流圖和數據流圖，對邏輯仿真中的所有信號做關聯分析，得出信號間的關聯轉換函數；

步驟S400：在邏輯仿真的過程中，依次記錄所有信號的波形,用以做關聯轉換函數正確性的確認；

步驟S500：邏輯仿真完成后，基于記錄的所有信號的波形以及關聯轉換函數，做關聯轉換函數的正確性分析得到分析結果，根據分析結果標記信號并保存對應的關聯轉換函數；

步驟S600：接收用戶發起的信號波形存儲的請求，根據請求存儲對應的信號波形。

優選地，步驟S200中的節點包括條件語句、控制語句和賦值語句，對應生成流圖中的控制條件、分支和數據流。

優選地，步驟S300包括：

步驟S310：從控制流圖中提取得到仿真所有基本塊執行的可能順序；

步驟S320：從數據流圖中提取得到仿真信號數據所有的可能流向；

步驟S330：根據仿真所有基本塊執行的可能順序以及仿真信號數據所有的可能流向得到信號間的關聯轉換函數。

優選地，步驟S500中根據分析結果標記信號并保存對應的關聯轉換函數，包括：

當分析結果為記錄的信號波形和通過關聯轉換函數計算得出的波形一致，則標記該信號為不需要單獨記錄的信號并保存其關聯轉換函數；當分析結果為記錄的信號波形和通過關聯轉換函數計算得出的波形不一致，則標記該信號為需要單獨記錄的信號。