[發明專利]多電壓域數字電路的驗證裝置及其運行方法

有效

• 申請號: 201410220198.4
• 申請日: 2014-05-22
• 公開（公告）號: CN105137330B
• 公開（公告）日: 2018-09-25
• 發明（設計）人: 聶晶;龐雪
• 申請（專利權）人: 炬芯（珠海）科技有限公司
• 主分類號: G01R31/317
• 分類號: G01R31/317
• 代理公司: 上海一平知識產權代理有限公司 31266
• 代理人: 成春榮;竺云

1.一種多電壓域數字電路的驗證裝置，其特征在于，該裝置包括：

軟件配置控制器，用于讀取測試文件，根據所述測試文件控制總線驅動器通過電源狀態模擬器對待測電路進行配置，并控制所述電源狀態模擬器給所述待測電路提供多個電源工作模式和提供所述電源工作模式之間的切換操作；

總線驅動器，用于將從所述軟件配置控制器接收到的控制命令轉化成所述待測電路能夠識別的信號；

電源狀態模擬器，用于在所述多個電源工作模式的不同模式下，將從所述總線驅動器接收的信號選擇性地傳輸給所述待測電路；以及

斷言監視器，用于基于斷言驗證方法對所述待測電路進行監測，其中

所述軟件配置控制器用于控制所述電源狀態模擬器通過開啟相應的使能控制信號將從所述總線驅動器接收的相應工作電壓下的時鐘信號和復位信號傳輸給所述待測電路，以給所述待測電路提供相應電源工作模式下的時鐘信號和復位信號。

2.根據權利要求1所述的多電壓域數字電路的驗證裝置，其特征在于，所述軟件配置控制器用于控制所述電源狀態模擬器產生用于切換所述電源工作模式的條件信號；和/或

所述軟件配置控制器用于在所述電源工作模式下控制所述電源狀態模擬器通過開啟相應的使能控制信號，使所述電源狀態模擬器從所述待測電路接收相應的輸出信號以作為條件信號來切換所述電源工作模式。

3.根據權利要求1所述的多電壓域數字電路的驗證裝置，其特征在于，在所述多個電源工作模式的不同模式下，所述電源狀態模擬器通過開啟相應的使能控制信號將從所述總線驅動器接收的所述待測電路相應的輸入信號傳輸給所述待測電路。

4.根據權利要求1所述的多電壓域數字電路的驗證裝置，其特征在于，所述斷言監視器將覆蓋到的和未覆蓋到的驗證點都進行記錄和報告，并將違背待測電路功能的驗證點進行記錄和報告。

5.根據權利要求1至4中任一項所述的多電壓域數字電路的驗證裝置，其特征在于，所述電源狀態模擬器包括狀態寄存器和處理邏輯電路；

所述處理邏輯電路處于第一電源工作模式并在所述軟件配置控制器控制下接收到待機條件信號時，所述處理邏輯電路關閉第一時鐘使能控制信號和第一復位使能控制信號以禁止將從所述總線驅動器接收的第一時鐘信號和第一復位信號傳輸給所述待測電路，所述處理邏輯電路進入第二電源工作模式，并且所述狀態寄存器的值由第一電源工作模式的值變為第二電源工作模式的值；

所述處理邏輯電路處于第一電源工作模式并在所述軟件配置控制器控制下接收到關機條件信號時，所述處理邏輯電路關閉第一時鐘使能控制信號和第一復位使能控制信號以禁止將從所述總線驅動器接收的第一時鐘信號和第一復位信號傳輸給所述待測電路，所述處理邏輯電路進入第三電源工作模式，并且所述狀態寄存器的值由第一電源工作模式的值變為第三電源工作模式的值；

所述處理邏輯電路處于第一電源工作模式并在所述軟件配置控制器控制下接收到掉電條件信號時，所述處理邏輯電路關閉第一時鐘使能控制信號和第一復位使能控制信號、第二時鐘使能控制信號和第二復位使能控制信號以禁止將從所述總線驅動器接收的第一時鐘信號和第一復位信號、第二時鐘信號和第二復位信號傳輸給所述待測電路，所述處理邏輯電路進入第四電源工作模式，并且所述狀態寄存器的值由第一電源工作模式的值變為第四電源工作模式的值；

所述處理邏輯電路處于第二電源工作模式并從所述待測電路接收到第一喚醒條件信號或在所述軟件配置控制器控制下接收到開機條件信號時，所述處理邏輯電路開啟第一時鐘使能控制信號和第一復位使能控制信號以使能將從所述總線驅動器接收的第一時鐘信號和第一復位信號傳輸給所述待測電路，所述處理邏輯電路進入第一電源工作模式，并且所述狀態寄存器的值由第二電源工作模式的值變為第一電源工作模式的值；

所述處理邏輯電路處于第三電源工作模式并從所述待測電路接收到第二喚醒條件信號或在所述軟件配置控制器控制下接收到開機條件信號時，所述處理邏輯電路開啟第一時鐘使能控制信號和第一復位使能控制信號以使能將從所述總線驅動器接收的第一時鐘信號和第一復位信號傳輸給所述待測電路，所述處理邏輯電路進入第一電源工作模式，并且所述狀態寄存器的值由第三電源工作模式的值變為第一電源工作模式的值；

所述處理邏輯電路處于第二電源工作模式并在所述軟件配置控制器控制下接收到超時條件信號時，所述處理邏輯電路進入第三電源工作模式，并且所述狀態寄存器的值由第二電源工作模式的值變為第三電源工作模式的值；

所述處理邏輯電路處于第二電源工作模式或第三電源工作模式并在所述軟件配置控制器控制下接收到掉電條件信號時，所述處理邏輯電路關閉第二時鐘使能控制信號和第二復位使能控制信號以禁止將從所述總線驅動器接收的第二時鐘信號和第二復位信號傳輸給所述待測電路，所述處理邏輯電路進入第四電源工作模式，并且所述狀態寄存器的值由第二電源工作模式的值或第三電源工作模式的值變為第四電源工作模式的值；

所述處理邏輯電路處于第四電源工作模式并在所述軟件配置控制器控制下接收到上電條件信號時，所述處理邏輯電路開啟第一時鐘使能控制信號和第一復位使能控制信號、第二時鐘使能控制信號和第二復位使能控制信號以使能將從所述總線驅動器接收的第一時鐘信號和第一復位信號、第二時鐘信號和第二復位信號傳輸給所述待測電路，所述處理邏輯電路進入第一電源工作模式，并且所述狀態寄存器的值由第四電源工作模式的值變為第一電源工作模式的值。