[發明專利]用于驗證cache的檢測器

有效

• 申請號: 202210357508.1
• 申請日: 2022-04-07
• 公開（公告）號: CN114428749B
• 公開（公告）日: 2022-06-10
• 發明（設計）人: 不公告發明人
• 申請（專利權）人: 沐曦科技（北京）有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京鍾維聯合知識產權代理有限公司 11579
• 代理人: 丁慧玲

本發明涉及一種用于驗證cache的檢測器，包括：信息獲取模塊：用于從待驗證的cache的所有外圍接口獲取外圍接口信息，外圍接口信息包括請求信息，以及在待驗證的cache處理請求信息的過程中，在待驗證的cache的tag模塊接口的tag更新點獲取對應的tag更新信息，并將interface信息和對應的tag更新信息發送給預測模塊；tag數組：用于存儲tag驗證信息；預測模塊：用于基于interface信息和對應的tag更新信息更新tag數組中的tag驗證信息；還用于在待驗證的cache在處理請求信息的過程中，完成tag數組中的tag驗證信息更新后，從tag模塊接口獲取待驗證的cache中當前的tag信息，并與當前的tag驗證信息進行逐條比對，如果不一致，則生成第一預警信息。本發明提高了cache驗證的準確性和效率。

技術領域

本發明涉及芯片技術領域，尤其涉及一種用于驗證cache的檢測器。

背景技術

在芯片設計過程中，需要對芯片設計進行驗證，cache（高速緩沖存儲器）是重要組成部分，也是需要驗證的一個重要模塊?，F有技術中，通常從cache的外圍接口（interface）獲取信息，預測目標數據，并與從cache實際獲取的目標數據進行對比，來驗證cache的正確性。但是，cache內部包含很多邏輯，僅從最后獲取的數據是否準確來驗證cache是不夠準確的。

例如，當一個請求通過cache獲取目標數據時，實際在cache執行過程中，并沒有在cache中查詢到目標數據，而是從外部memory中獲取的，而檢測預測的結果應該是直接在cache中獲取的，不應該出現miss的情況，但最后獲取到的目標數據與預測的目標數據是一致的，顯然沒有驗證出cache存在問題，導致cache驗證準確性差。此外，現有技術中即便驗證cache存在問題，通常還需要去回溯多個clock查找問題所在，導致cache驗證效率低。由此可知，如何提高cache驗證的準確性和效率成為亟待解決的技術問題。

發明內容

本發明目的在于，提供一種用于驗證cache的檢測器，提高了cache驗證的準確性和效率。

本發明提供了一種用于驗證cache的檢測器，包括信息獲取模塊、預測模塊和tag數組，其中，

所述信息獲取模塊用于從待驗證的cache的所有外圍接口獲取外圍接口信息，所述外圍接口信息包括請求信息，以及在待驗證的cache處理請求信息的過程中，在待驗證的cache的tag模塊接口的tag更新點獲取對應的tag更新信息，并將interface信息和對應的tag更新信息發送給所述預測模塊；

所述tag數組用于存儲tag驗證信息；

所述預測模塊用于基于interface信息和對應的tag更新信息更新所述tag數組中的tag驗證信息；

所述預測模塊用于在待驗證的cache在處理請求信息的過程中，完成tag數組中的tag驗證信息更新后，通過所述信息獲取模塊從所述tag模塊接口獲取待驗證的cache中當前的tag信息，并與當前的tag驗證信息進行逐條比對，如果不一致，則生成第一預警信息。

本發明與現有技術相比具有明顯的優點和有益效果。借由上述技術方案，本發明提供的一種用于驗證cache的檢測器可達到相當的技術進步性及實用性，并具有產業上的廣泛利用價值，其至少具有下列優點：

本發明通過在檢測器中設置tag數組，并在待驗證的cache對應的tag更新點更新所述tag數組中的tag驗證信息，在完成tag數組中的tag驗證信息更新后，及時通過所述信息獲取模塊從所述tag模塊接口獲取待驗證的cache中當前的tag信息，對tag模塊中的tag信息進行驗證，通過對tag信息的及時驗證，提高了cache驗證的準確性和效率。