[發(fā)明專利]一種芯片低功耗驗(yàn)證方法

有效

• 申請?zhí)枺?/td>: 202110244312.7
• 申請日: 2021-03-04
• 公開（公告）號: CN112861458B
• 公開（公告）日: 2023-08-04
• 發(fā)明（設(shè)計(jì)）人: 文進(jìn);霍靜;秦韋俊;熊科宇;何晨瑤;孫偉;梁伯植
• 申請（專利權(quán)）人: 西安石油大學(xué)
• 主分類號: G06F30/3308
• 分類號: G06F30/3308;G06F30/327
• 代理公司: 西安通大專利代理有限責(zé)任公司 61200
• 代理人: 馬貴香

1.一種芯片低功耗驗(yàn)證方法，其特征在于，包括如下驗(yàn)證過程：

步驟1，模擬芯片初始掉電狀態(tài)；

步驟2，模擬芯片上電復(fù)位；

步驟3，讀取boot模式及啟動(dòng)地址，讀取CPU指令，按照芯片低功耗場景進(jìn)行用例配置，CPU配置待機(jī)；

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

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

步驟6，淺睡模式下，驗(yàn)證平臺(tái)模擬產(chǎn)生喚醒激勵(lì)，電源管理模塊的狀態(tài)機(jī)接收到喚醒激勵(lì)后，電源管理模塊狀態(tài)機(jī)從淺睡狀態(tài)跳轉(zhuǎn)到喚醒狀態(tài)；CPU從待機(jī)狀態(tài)恢復(fù)到正常狀態(tài)，從睡眠前指令地址處繼續(xù)讀指令，執(zhí)行后續(xù)操作；

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

所述SVA斷言自動(dòng)化產(chǎn)生過程為：根據(jù)CPF文件隔離值定義及隔離產(chǎn)生條件，提取隔離使能生效時(shí)定義的信號隔離值，且自動(dòng)化產(chǎn)生SVA斷言。

2.根據(jù)權(quán)利要求1所述的芯片低功耗驗(yàn)證方法，其特征在于，在RTL仿真和PG網(wǎng)表兩個(gè)階段均進(jìn)行芯片低功耗驗(yàn)證。

3.根據(jù)權(quán)利要求2所述的芯片低功耗驗(yàn)證方法，其特征在于，在RTL仿真階段，通過仿真參數(shù)中添加CPF文件并設(shè)置CPF仿真參數(shù)進(jìn)行低功耗仿真；CPF文件用于定義電源域、各電源域掉電條件、隔離使能生效條件及信號隔離值。

4.根據(jù)權(quán)利要求1所述的芯片低功耗驗(yàn)證方法，其特征在于，在步驟1之前，編寫自動(dòng)化腳本，提取含有initial語句的model，將提取的model添加到CPF文件中，通過參數(shù)選項(xiàng)設(shè)置，使model每次上電后都重新進(jìn)行初始化。