[發明專利]一種處理器內部鏡像控制模塊注錯驗證系統及方法

有效

• 申請號: 202011377474.X
• 申請日: 2020-11-30
• 公開（公告）號: CN112613254B
• 公開（公告）日: 2022-01-25
• 發明（設計）人: 楊慶娜;賈亞平;戴梅芝;朱紅;晁張虎;柏穎;王忠弈;張峰境;范君健;張菲娟;馬玲芝
• 申請（專利權）人: 飛騰信息技術有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33
• 代理公司: 湖南兆弘專利事務所(普通合伙) 43008
• 代理人: 周長清

本發明公開了一種處理器內部鏡像控制模塊注錯驗證系統及方法，該系統包括：注錯模塊，用來根據配置的敏感地址位以及請求的來源，生成不同狀態的讀響應；每一個注錯模塊和一個鏡像控制模塊相連；軟件測試模塊，用于根據注錯模塊配置的敏感地址位，構造與敏感地址位相匹配的不同讀寫請求報文激勵發往互為鏡像的一組鏡像控制模塊，并配合注錯模塊構造包含各種錯誤類型的驗證場景，實現對鏡像控制模塊功能的驗證。該方法可以基于上述系統來實現。本發明具有原理簡單、使用方便、靈活性好、適用范圍廣等優點。

技術領域

本發明主要涉及到集成電路功能驗證技術領域，特指一種處理器內部鏡像控制模塊注錯驗證方法及系統。

背景技術

隨著集成電路技術的快速發展，集成電路規模越來越大，成本也越來越高，一次流片的代價很大，因此芯片中有專門用于增強其可靠性和魯棒性的功能部件，對這類部件的設計及驗證工作尤為重要。

芯片的一般功能模塊是為了實現某種具體功能，而這種為了提高可靠性和魯棒性所設計的功能模塊更注重于對各種錯誤情況的容錯處理，其作用是保證芯片發生某一種特定錯誤時候，芯片仍然可以不受影響地穩定運行，大大減少了芯片因為出錯而報廢的幾率。

鏡像控制模塊是一種增強芯片可靠性的模塊，其功能是增強訪存的可靠性。如圖1所示，在存儲控制模塊0和存儲控制模塊1的上一級分別連接所述鏡像控制模塊0和鏡像控制模塊1；一個存儲控制模塊及與其相連的鏡像控制模塊構成一條訪存通路并與一個內存相連，鏡像控制模塊0和存儲控制模塊0構成訪存通路0并與內存0相連，鏡像控制模塊1和存儲控制模塊1構成訪存通路1并與內存1相連。

兩條訪存通路上的鏡像控制模塊0和鏡像控制模塊1互為一組鏡像，互為鏡像是指這兩條訪存通路上的內存模塊存儲相同的數據、互為備份，其作用在于通過減少一半的可用內存容量來換取數據的可靠性。

鏡像控制模塊的工作原理是，當CPU(Central Processing Unit，中央處理器)通過訪存通路0讀取內存0的某個地址的數據出現錯誤，鏡像控制模塊可以再一次或多次發送讀請求以獲取正確數據；當出現錯誤次數達到設定的閾值時，可以去內存1獲取正確的數據，同時對應內存0的錯誤地址計數值加1；當出現錯誤地址計數值達到設定的閾值時，可以判定內存0出現故障，后續讀請求不再通過訪存通路0訪問內存0，而是切換到訪存通路1，通過訪存通路1訪問內存1以獲取正確數據。

一般模塊的模塊級驗證工作，主要是開發參考模型用于功能比對并快速定位錯誤，開發驗證組件和測試激勵以驅動并監測接口報文信息，構造覆蓋率模型以收集功能覆蓋率確保驗證的完備性。但是，對于專用于增強可靠性的模塊，其模塊功能更多用于對各種錯誤類型的處理。除了開發上述的驗證組件外，還需要開發用于驗證其容錯處理功能的注錯模型以構造多種錯誤場景，而這些錯誤場景無法單獨通過激勵來構造。對于鏡像控制模塊驗證來說，構造錯誤場景的關鍵在于配合注錯模型構造發往鏡像控制模塊的包含錯誤狀態的讀響應信號，因此需要設計一種注錯模型及其相關方法以實現對鏡像控制模塊的驗證。

發明內容

本發明要解決的技術問題就在于：針對現有技術存在的技術問題，本發明提供一種原理簡單、使用方便、靈活性好、適用范圍廣的處理器內部鏡像控制模塊注錯驗證系統及方法。

為解決上述技術問題，本發明采用以下技術方案：

一種處理器內部鏡像控制模塊注錯驗證系統，其包括：

注錯模塊，用來根據配置的敏感地址位以及請求的來源，生成不同狀態的讀響應；每一個注錯模塊和一個鏡像控制模塊相連；

軟件測試模塊，用于根據注錯模塊配置的敏感地址位，構造與敏感地址位相匹配的不同讀寫請求報文激勵發往互為鏡像的一組鏡像控制模塊，并配合注錯模塊構造包含各種錯誤類型的驗證場景，實現對鏡像控制模塊功能的驗證。

作為本發明系統的進一步改進：所述讀響應包括以下一種或多種：