[發(fā)明專利]可控性檢驗系統(tǒng)及方法

無效

• 申請?zhí)枺?/td>: 201310746659.7
• 申請日: 2013-12-31
• 公開（公告）號: CN104142675A
• 公開（公告）日: 2014-11-12
• 發(fā)明（設計）人: 塔米爾·海曼;丹·史密斯;浩崙·梁;胡塞姆·阿布海梅德;約格什·馬哈詹
• 申請（專利權）人: 輝達公司
• 主分類號: G05B23/02
• 分類號: G05B23/02
• 代理公司: 北京市磐華律師事務所 11336
• 代理人: 董巍;謝栒

技術領域

本發(fā)明涉及電源控制系統(tǒng)。特別地，本發(fā)明涉及電源管理可控性檢驗的系統(tǒng)和方法。

背景技術

電子系統(tǒng)和裝置(例如，大規(guī)模集成化芯片、中央加工單元、圖形加工單元等)為現(xiàn)代社會的進步做出了顯著的貢獻，其在廣泛地應用中獲得有益的結果。許多電子技術，如數(shù)字計算機、計算器、音頻設置、視頻設備和電話系統(tǒng)，促進在商業(yè)、科學、教育和娛樂等大部分領域中分析和交流數(shù)據(jù)的生產率提升和成本降低。這些電子技術經常涉及在非常大和復雜硬件設計中電源管理控制的嘗試。然而，在電源管理控制檢驗方面的傳統(tǒng)嘗試通常對非常大硬件設計應用的快速電源管理控制檢驗缺乏足夠容量和能力。缺乏對傳統(tǒng)可控性檢驗方法的快速響應經常導致對資源的低效占用。

控制非常大硬件設計應用的電源使用和供應的能力是非常重要的，且電源可控性經常可顯著地影響性能和功耗效率。電源管理可控性在涉及有限電源供應(例如，移動設備、電池供電設備等)的非常大硬件設計應用中非常關鍵。在一些傳統(tǒng)方法中，關閉(例如，當確定不使用它們時等)設備和系統(tǒng)的區(qū)域，這可導致電源支出的減少，否則會發(fā)生(例如，由于電源泄漏等)電源支出。在許多應用中，相對小的部件(例如，電源門、開關、晶體管等)被用于允許或防止設備或系統(tǒng)的各種部件的電源消耗。相對小的部件經常是由電源控制部件輸出的專門信號(例如，鉗位信號(clamp?signal)、休眠信號等)開啟或關閉。相對小的控制部件可控制各種部件或部件的區(qū)塊，電源可控性檢驗可用于各種粒度(例如，芯片的單個部件、芯片部件的區(qū)塊等)的部件。

通常，可控性是通過操控某輸入信號而改變系統(tǒng)狀態(tài)的能力。可控性通常是控制系統(tǒng)的輸出導致響應具體輸入配置的特定值的屬性。電源管理可控性檢驗通常試圖確定輸入集是否可控制輸出信號狀態(tài)。在一示例中，執(zhí)行檢查以確定，休眠控制信號或電源鉗位信號是否在輸入特定賦值時激活，并在另一輸入配置值時處于非活動狀態(tài)。一些傳統(tǒng)可控性檢驗檢查，電源控制信號集是否可設置和重設與其他輸入無關的電源門信號。

傳統(tǒng)可控性檢驗通常涉及邏輯方程，其定義所分析控制部件和產生輸出信號下、用于所分析控制部件的控制輸入終端上控制信號輸入C集的信號值、以及S值的目標值指定給或應用于控制信號輸入C集和已求解邏輯方程的目標值(例如通過所分析控制部件的模擬傳播值)。在將所賦值應用于控制信號輸入C集并求解方程后，若產生信號S得到目標值V，認為成功地發(fā)現(xiàn)或確定了提供可控性的控制信號輸入C的所請求賦值。

在非常大硬件設計中通常有很多輸入，識別許多輸入信號中的哪個影響電源可控性對于執(zhí)行電源控制和電源管理是重要的。大量的輸入使檢驗其中哪個影響電源管理可控性變得復雜和困難。在可控性檢驗中通常有許多集應用于控制信號輸入C的值。傳統(tǒng)方法通常包括可應用于控制信號輸入C的所有可能值的枚舉。在許多傳統(tǒng)檢驗可控性方法中，盡力從無考慮其他輸入由S得到V值的2|C|可能性中找出控制信號輸入的賦值。在控制信號輸入C的集多于非常小的集的情況下，每個可能值的枚舉導致檢驗多數(shù)可能性，該可能性通常消耗相當多的加工資源和時間。電源可控性檢驗的兩個可選擇傳統(tǒng)方法是X傳播可控性檢驗和常數(shù)傳播可控性檢驗。每個方法包括所有可能輸入值的枚舉，在非常大硬件設計應用中通常消耗相當多的加工資源和時間。

傳統(tǒng)X傳播可控性檢驗是基于三值模擬(0，1，X)。對于控制信號輸入(例如，每位輸入C上0和1)集的值的每個可能賦值，剩余的輸入終端設為X。然后，評估被“傳播”或應用于相應方程和信號S的值。例如，傳統(tǒng)電源門控的一個版本包括帶有兩輸入的AND邏輯門。若一輸入設為0，其他輸入設為X，AND門的輸出評估為常數(shù)0。在一示例中，帶有X值的s1信號和被否定或被反轉的s1信號是AND門的輸入。X傳播方法將評估該門為X，而其他更詳細的評估將會意識到其為常數(shù)0。即使賦值評估的X傳播技術對非常小尺寸集的控制信號輸入C可足夠地快，其仍然具有潛在的問題。其中的一個問題是它可能太過保守(導致假陰性)而跳過好賦值。進一步的，即使X傳播通常不需要表達的優(yōu)化，其仍然涉及對控制信號輸入C集的所有可能值的枚舉，并隨著控制信號輸入C集的尺寸增加而以指數(shù)方式地變得更慢。