[發明專利]一種芯片低功耗驗證方法

有效

• 申請號: 202110244312.7
• 申請日: 2021-03-04
• 公開（公告）號: CN112861458B
• 公開（公告）日: 2023-08-04
• 發明（設計）人: 文進;霍靜;秦韋俊;熊科宇;何晨瑤;孫偉;梁伯植
• 申請（專利權）人: 西安石油大學
• 主分類號: G06F30/3308
• 分類號: G06F30/3308;G06F30/327
• 代理公司: 西安通大專利代理有限責任公司 61200
• 代理人: 馬貴香

本發明提供一種芯片低功耗驗證方法，包括：模擬芯片初始掉電狀態；模擬芯片上電復位；讀取boot模式及啟動地址，讀取CPU指令，按照芯片低功耗場景進行用例配置，CPU配置待機；配置深睡場景的子系統處于掉電狀態，喚醒到來后，可以從掉電狀態直接恢復到上電狀態，喚醒方式需要進行遍歷測試；配置淺睡場景的子系統不掉電，處于待機狀態，喚醒來臨后，從待機狀態直接恢復到工作狀態。低功耗用例采用SVA斷言對掉電上電時序實時監測，減少驗證的人工檢查工作量，大大提高工作效率。

技術領域

本發明涉及芯片驗證方法，尤其是一種芯片低功耗驗證方法。

背景技術

隨著芯片應用場景越來越復雜，對于芯片的功耗要求越來越高，芯片低功耗設計成為芯片關鍵性的性能指標，芯片的低功耗驗證成為獨立驗證方向。

現在普遍采用的低功耗驗證主要是在PG網表階段進行驗證，驗證方法主要從波形上確認掉電后是否可以正常喚醒，且喚醒后cpu是否可以正常工作，對于全芯片上電時序及掉電前隔離使能生效后，信號隔離值檢查缺乏一個系統且全面的驗證。

發明內容

針對現有技術中存在的問題，本發明提供一種芯片低功耗驗證方法，通過自動化生成SVA斷言及編寫自動化腳本解決上述低功耗用例驗證盲點。

本發明是通過以下技術方案來實現：

一種芯片低功耗驗證方法，包括如下驗證過程：

步驟1，模擬芯片初始掉電狀態；

步驟2，模擬芯片上電復位；

步驟3，讀取boot模式及啟動地址，讀取CPU指令，按照芯片低功耗場景進行用例配置，CPU配置待機；

步驟4，用例配置場景如果為深睡模式，則進行步驟5，用例配置場景如果為淺睡模式，則進行步驟6；

步驟5，深睡模式下，子系統進入掉電狀態；驗證平臺模擬產生喚醒激勵，電源管理模塊的狀態機接收到喚醒激勵后，電源管理模塊輸出控制信號給芯片模擬部分，芯片模擬部分給子系統提供電源，子系統從掉電狀態跳轉到上電狀態；或者電源管理模塊直接給子系統供電，子系統從掉電狀態跳轉到上電狀態；子系統重新上電后，CPU從待機狀態恢復到正常狀態，重新boot或從待機前保存的指令指針處進行執行；驗證平臺中添加SVA斷言，用于檢查電源管理模塊的狀態機輸出控制信號時序及芯片模擬部分提供給子系統的供電時序；

步驟6，淺睡模式下，驗證平臺模擬產生喚醒激勵，電源管理模塊的狀態機接收到喚醒激勵后，電源管理模塊狀態機從淺睡狀態跳轉到喚醒狀態；CPU從待機狀態恢復到正常狀態，從睡眠前指令地址處繼續讀指令，執行后續操作。

優選的，在RTL仿真和PG網表兩個階段均進行驗證。

進一步的，在RTL仿真階段，通過仿真參數中添加CPF文件并設置CPF仿真參數進行低功耗仿真；CPF文件用于定義電源域、各電源域掉電條件、隔離使能生效條件及信號隔離值。

優選的，在步驟1之前，編寫自動化腳本，提取含有initial語句的model，將提取的model添加到CPF文件中，通過參數選項設置，使model每次上電后都重新進行初始化。

優選的，步驟5中，子系統對應的電源域掉電之前，隔離使能生效，采用SVA斷言檢測信號的隔離值是否正確，如果不正確，則打印錯誤原因，并停止仿真。

進一步的，所述SVA斷言自動化產生過程為：根據CPF文件隔離值定義及隔離產生條件，提取隔離使能生效時定義的信號隔離值，且自動化產生SVA斷言。

與現有技術相比，本發明具有以下有益的技術效果：