[發明專利]在功能安全應用、相關產品中校驗地址和控制信號完整性的方法、相關產品

在審

• 申請號: 201980091540.6
• 申請日: 2019-04-02
• 公開（公告）號: CN113454611A
• 公開（公告）日: 2021-09-28
• 發明（設計）人: 何曉飛;杰弗里·楚;阮航
• 申請（專利權）人: 杭州飛步科技有限公司
• 主分類號: G06F12/14
• 分類號: G06F12/14
• 代理公司: 北京同立鈞成知識產權代理有限公司 11205
• 代理人: 王茜;臧建明

本公開提供了一種待校驗信號的校驗方法及相關產品。該方法應用于校驗設備(400)，包括：第一獲得模塊(401)，用于獲得攜帶第一控制信息的待校驗信號，其中，第一控制信息是基于原始控制信息生成的；第二獲得模塊(402)，用于獲得原始校驗信息；確定模塊(403)，用于根據待校驗信號確定第一控制信息；和校驗模塊(404)，用于根據原始校驗信息校驗第一控制信息的正確性。本公開可用于在最初設計的沒有旨在支持那些功能的特征的設備上實現可靠性和功能安全性。

技術領域

本公開涉及計算機技術領域，尤其涉及一種在要求高可靠性和/或功能安全的產品中地址或控制信號的校驗方法及相關產品。

背景技術

當處理器或支持直接存儲器訪問(direct memory access，DMA)的設備需要讀取或寫入存儲器位置時，根據控制總線上用于讀取或寫入的命令，適當的線(讀取或寫入)將處于活動狀態(邏輯1)，然后地址總線指定地址總線上的存儲器位置，從而實現對數據總線上載有的數據的讀取或寫入。

數據驗證是保證數據完整性所必需的，即保證要讀取或寫入的數據既正確又有用。數據驗證使用例程，通常稱為“驗證規則”、“驗證約束”或“校驗例程”，用于校驗輸入到系統的數據的正確性、意義和安全性。數據驗證不僅適用于寫入或讀取數據本身的正確性，還適用于讀取和寫入數據的位置。例如，對于每個存儲器訪問命令，要從存儲器寫入或讀取的每個數據字的地址和有效字節將作為事務的一部分發布。即使數據本身是正確的，如果要訪問的地址或有效字節數不正確，存儲器訪問也是無效的。例如，如果指示要寫入的字節數的控件長1個字節，則盡管寫入存儲器的數據是有效的，但系統中的有效數據可能會被破壞。

提供該背景信息以揭示申請人認為可能與本公開相關的信息。不一定要承認也不應解釋為任何前述信息構成對本公開的現有技術。

發明內容

有鑒于此，本公開提供了一種地址或控制信號的校驗方法，例如，具有最小硬件面積/成本和最小甚至沒有計算開銷的地址和控制信令。本公開可用于在最初設計的沒有旨在支持那些功能的特征的設備上實現可靠性和功能安全性。

前述和其他目的由獨立權利要求的主題實現。從從屬權利要求、說明書和附圖，進一步的實施形式是顯而易見的。

本發明第一方面涉及一種待校驗信號的校驗方法，包括：

獲得攜帶第一控制信息的待校驗信號，其中第一控制信息是基于原始控制信息生成的，原始控制信息指示校驗設備要訪問的原始地址和校驗設備要執行的原始操作中的至少一個；

獲得原始校驗信息；

根據待校驗信號確定第一控制信息；以及

根據原始校驗信息校驗第一控制信息的正確性。

本發明第二方面涉及一種第一校驗設備，包括：

第一獲得模塊，用于獲得攜帶第一控制信息的待校驗信號，其中，第一控制信息是基于原始控制信息生成的；

第二獲得模塊，用于獲得原始校驗信息；

確定模塊，用于根據待校驗信號確定第一控制信息；以及

校驗模塊，用于根據原始校驗信息校驗第一控制信息的正確性。

本公開的第三方面涉及一種第一校驗設備，包括處理器裝置和存儲計算機程序的存儲器裝置，該計算機程序在被處理器裝置執行時使處理器裝置：

獲得攜帶第一控制信息的待校驗信號，其中第一控制信息是基于原始控制信息生成的；

獲得原始校驗信息；

根據待校驗信號確定第一控制信息；以及

根據原始校驗信息校驗第一控制信息的正確性。