驗(yàn)證電源管理系統(tǒng)的方法及驗(yàn)證裝置的制造方法
【專(zhuān)利摘要】本發(fā)明實(shí)施例提供了一種驗(yàn)證電源管理系統(tǒng)的方法及驗(yàn)證裝置，能夠快速且容易地驗(yàn)證電源管理系統(tǒng)。其中，電源管理系統(tǒng)包括控制器和多個(gè)電源設(shè)備，其中控制器接收輸入信號(hào)以產(chǎn)生用于控制多個(gè)電源設(shè)備的控制信號(hào)。該方法包括：確定每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模式；當(dāng)每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模式時(shí)，確定每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的目標(biāo)組合；使用輸入信號(hào)的輸入組合來(lái)無(wú)圖案地驗(yàn)證控制器的行為，以產(chǎn)生每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果；比較每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合與目標(biāo)組合；以及當(dāng)所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合等于所述目標(biāo)組合時(shí)，確定所述輸入組合為有效。
【專(zhuān)利說(shuō)明】
驗(yàn)證電源管理系統(tǒng)的方法及驗(yàn)證裝置
技術(shù)領(lǐng)域
[0001] 本發(fā)明一般設(shè)及用于驗(yàn)證電源管理系統(tǒng)的方法和裝置，尤其設(shè)及一種更快速和更 容易地驗(yàn)證電源管理系統(tǒng)的方法和裝置。
【背景技術(shù)】
[0002] 隨著電子裝置領(lǐng)域的快速進(jìn)步，電子裝置比W往需要更多的電源供應(yīng)，W致迫切 地需要含有更多電源通道的電源管理系統(tǒng)。但是，電源管理系統(tǒng)具有的電源裝置越多，對(duì)每 個(gè)電源裝置的控制越復(fù)雜。因此，使得控制器(用于控制電源管理系統(tǒng)中的每個(gè)電源通道） 更加復(fù)雜，W控制迅速增加的大量所需的電源通道。
[0003] 另外，由于電源管理系統(tǒng)中的控制器變得更復(fù)雜，因此需要更多時(shí)間和資源來(lái)驗(yàn) 證控制器的控制邏輯是否有效。因此，迫切地需要更加有效的方式來(lái)驗(yàn)證控制器的控制邏 輯。

【發(fā)明內(nèi)容】

[0004] 有鑒于此，本發(fā)明實(shí)施例提供了一種驗(yàn)證電源管理系統(tǒng)的方法和驗(yàn)證裝置，能夠 快速且容易地對(duì)電源管理系統(tǒng)進(jìn)行驗(yàn)證。
[0005] 本發(fā)明提供了一種驗(yàn)證電源管理系統(tǒng)的方法，所述電源管理系統(tǒng)包括:控制器W 及多個(gè)電源設(shè)備，其中，所述控制器接收輸入信號(hào)W產(chǎn)生用于控制所述多個(gè)電源設(shè)備的控 制信號(hào)，所述方法包括：
[0006] 當(dāng)所述電源管理系統(tǒng)工作在電源配置下時(shí)，確定每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模 式；
[0007] 當(dāng)每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模式時(shí)，確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的 目標(biāo)組合；
[000引使用所述輸入信號(hào)的輸入組合來(lái)無(wú)圖案地驗(yàn)證所述控制器的行為，從而產(chǎn)生所述 每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果，所述輸入信號(hào)的輸入組合用于使所述電源管理 系統(tǒng)工作在所述電源配置之下；
[0009] 比較所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合與所述目標(biāo)組合;W及
[0010] 當(dāng)所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合等于所述目標(biāo)組合時(shí)，確 定所述輸入組合為有效。
[0011] 其中，所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)為單個(gè)信號(hào)。
[0012] 其中，所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)為多個(gè)信號(hào)的組合；
[0013] 所述多個(gè)電源設(shè)備包括:第一電源設(shè)備和第二電源設(shè)備；
[0014] 所述確定每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模式的步驟包括:確定所述第一電源設(shè)備工 作在第一模式W及確定所述第二電源設(shè)備工作在第二模式；
[0015] 所述確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的目標(biāo)組合的步驟包括：當(dāng)所述第一 電源設(shè)備工作在所述第一模式時(shí)，確定所述第一電源設(shè)備對(duì)應(yīng)的多個(gè)第一控制信號(hào)的第一 目標(biāo)組合；w及當(dāng)所述第二電源設(shè)備工作在所述第二模式時(shí)，確定所述第二電源設(shè)備對(duì)應(yīng) 的多個(gè)第二控制信號(hào)的第二目標(biāo)組合.
[0016] 所述產(chǎn)生所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的步驟包括:產(chǎn)生所述多 個(gè)第一控制信號(hào)的第一計(jì)算結(jié)果W及所述多個(gè)第二控制信號(hào)的第二計(jì)算結(jié)果；
[0017] 所述比較所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合與所述目標(biāo)組合 的步驟包括:比較所述第一計(jì)算結(jié)果和所述第一目標(biāo)組合；W及比較所述第二計(jì)算結(jié)果和 所述第二目標(biāo)組合；
[0018] 所述確定所述輸入組合為有效的步驟包括：當(dāng)所述第一和第二計(jì)算結(jié)果分別等于 所述第一和第二目標(biāo)組合時(shí)，確定所述輸入組合為有效。
[0019] 其中，進(jìn)一步包括：
[0020] 當(dāng)所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合不等于所述目標(biāo)組合時(shí)， 確定所述輸入組合為無(wú)效；
[0021] 修改所述輸入組合或者修改所述控制器的行為，W使得所述計(jì)算結(jié)果的組合等于 所述目標(biāo)組合。
[0022] 其中，所述無(wú)圖案地驗(yàn)證所述控制器的行為的步驟包括：
[0023] 產(chǎn)生等價(jià)于所述控制器的行為的邏輯方程；
[0024] 確定所述輸入信號(hào)的所述輸入組合;W及
[0025] 根據(jù)所述邏輯方程和所述輸入組合來(lái)產(chǎn)生所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的 所述計(jì)算結(jié)果。
[0026] 其中，所述邏輯方程用于模擬所述控制器接收所述輸入信號(hào)W產(chǎn)生對(duì)應(yīng)的控制信 號(hào)的行為。
[0027] 其中，根據(jù)所述控制器的邏輯功能，產(chǎn)生所述邏輯方程。
[0028] 其中，確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的所述目標(biāo)組合的步驟包括：
[0029] 訪問(wèn)查找表，所述查找表列出了每個(gè)電源設(shè)備的所有工作模式W及對(duì)應(yīng)的控制信 號(hào)；W及
[0030] 根據(jù)查找表和所述每個(gè)電源設(shè)備工作的模式，確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制 信號(hào)的目標(biāo)組合。
[0031 ]其中，所述每個(gè)電源設(shè)備為電源開(kāi)關(guān)或者穩(wěn)壓器。
[0032] 其中，所述穩(wěn)壓器為低壓差穩(wěn)壓器或者直流-直流開(kāi)關(guān)式穩(wěn)壓器。
[0033] 本發(fā)明還提供了一種驗(yàn)證裝置，包括:電源管理系統(tǒng)與微處理器；
[0034] 所述電源管理系統(tǒng)，工作在電源配置之下，其中所述電源管理系統(tǒng)包括：
[0035] 控制器，用于接收輸入信號(hào)，W產(chǎn)生第一控制信號(hào)W及第二控制信號(hào)；
[0036] 第一電源設(shè)備，用于根據(jù)所述第一控制信號(hào)工作在第一模式；W及
[0037] 第二電源設(shè)備，用于根據(jù)所述第二控制信號(hào)工作在第二模式；
[0038] 所述微處理器，用于當(dāng)所述第一電源設(shè)備工作在所述第一模式時(shí)，確定所述第一 控制信號(hào)的第一目標(biāo)值，當(dāng)所述第二電源設(shè)備工作在所述第二模式時(shí)，確定所述第二控制 信號(hào)的第二目標(biāo)值;使用所述輸入信號(hào)的輸入組合來(lái)無(wú)圖案地驗(yàn)證所述控制器的行為，從 而產(chǎn)生所述第一控制信號(hào)的第一計(jì)算結(jié)果W及所述第二控制信號(hào)的第二計(jì)算結(jié)果，其中所 述輸入信號(hào)的所述輸入組合用于使所述電源管理系統(tǒng)工作在所述電源配置之下；比較所述 第一計(jì)算結(jié)果和所述第一目標(biāo)信號(hào)；比較所述第二計(jì)算結(jié)果和所述第二目標(biāo)值；w及當(dāng)所 述第一和第二計(jì)算結(jié)果分別等于所述第一和第二目標(biāo)值時(shí)，確定所述輸入組合為有效。
[0039] 其中，所述第一控制信號(hào)為單個(gè)信號(hào)或者多個(gè)信號(hào)的組合，所述第一目標(biāo)值對(duì)應(yīng) 地為單個(gè)值或者為多個(gè)值的組合;所述第二控制信號(hào)為單個(gè)信號(hào)或者多個(gè)信號(hào)的組合，所 述第二目標(biāo)信號(hào)對(duì)應(yīng)地為單個(gè)值或多個(gè)值的組合。
[0040] 其中，所述微處理器，還用于當(dāng)所述第一計(jì)算結(jié)果不等于所述第一目標(biāo)值或者所 述第二計(jì)算結(jié)果不等于所述第二目標(biāo)值時(shí)，確定所述輸入組合為無(wú)效；W及修改所述輸入 組合或者修改所述控制器的行為，W使得所述第一計(jì)算結(jié)果和所述第二計(jì)算結(jié)果分別等于 所述第一目標(biāo)值和所述第二目標(biāo)值。
[0041] 其中，所述微處理器，具體用于產(chǎn)生等價(jià)于所述控制器的行為的邏輯方程，確定所 述輸入信號(hào)的所述輸入組合;根據(jù)所述邏輯方程和所述輸入組合，產(chǎn)生所述第一控制信號(hào) 的所述第一計(jì)算結(jié)果；W及根據(jù)所述邏輯方程和所述輸入組合，產(chǎn)生所述第二控制信號(hào)的 所述第二計(jì)算結(jié)果。
[0042] 其中，所述邏輯方程用于模擬所述控制器接收所述輸入信號(hào)W產(chǎn)生對(duì)應(yīng)的所述第 一和第二控制信號(hào)的行為。
[0043] 其中，所述微處理器，具體用于訪問(wèn)第一查找表，W及通過(guò)所述第一查找表和對(duì)應(yīng) 的所述第一模式，確定所述第一目標(biāo)值;其中，所述第一查找表列出了所述第一電源設(shè)備的 所有工作模式W及對(duì)應(yīng)的所述第一控制信號(hào)。
[0044] 其中，所述微處理器，具體用于訪問(wèn)第二查找表，W及通過(guò)所述第二查找表和對(duì)應(yīng) 的所述第二模式，確定所述第二目標(biāo)值;其中，所述第二查找表列出了所述第二電源設(shè)備的 所有工作模式W及對(duì)應(yīng)的所述第二控制信號(hào)。
[0045] 其中，所述第一電源設(shè)備為電源開(kāi)關(guān)或者穩(wěn)壓器，所述第二電源設(shè)備為所述電源 開(kāi)關(guān)或者所述穩(wěn)壓器。
[0046] 其中，所述穩(wěn)壓器為低壓差穩(wěn)壓器或者直流-直流開(kāi)關(guān)式穩(wěn)壓器。
[0047] 本發(fā)明實(shí)施例的有益效果是：
[0048] 本發(fā)明實(shí)施例，先由每個(gè)電源設(shè)備工作的模式，確定每個(gè)電源設(shè)備的控制信號(hào)的 目標(biāo)組合，并由輸入信號(hào)的輸入組合和控制器的行為，來(lái)產(chǎn)生每個(gè)電源設(shè)備的控制信號(hào)的 計(jì)算結(jié)果;然后通過(guò)確定每個(gè)電源設(shè)備的控制信號(hào)的目標(biāo)組合和計(jì)算結(jié)果的組合相等來(lái)認(rèn) 定輸入組合為有效，從而實(shí)現(xiàn)對(duì)電源管理系統(tǒng)的更加快速和容易地驗(yàn)證。
【附圖說(shuō)明】
[0049] 圖1是根據(jù)本發(fā)明實(shí)施例的驗(yàn)證裝置的結(jié)構(gòu)示意圖；
[0050] 圖2是根據(jù)本發(fā)明實(shí)施例的驗(yàn)證圖1中的控制器的方法的流程示意圖；
[0051] 圖3示出了根據(jù)本發(fā)明實(shí)施例的輸入信號(hào)SI和第一控制信號(hào)SCI之間關(guān)系的行為 模型。
【具體實(shí)施方式】
[0052] 為了使本發(fā)明所解決的技術(shù)問(wèn)題、技術(shù)方案及有益效果更加清楚明白，W下結(jié)合 附圖及實(shí)施例，對(duì)本發(fā)明進(jìn)行進(jìn)一步詳細(xì)說(shuō)明。應(yīng)當(dāng)理解，此處所描述的具體實(shí)施例僅僅用 w解釋本發(fā)明，并不用于限定本發(fā)明。
[0053] 在本申請(qǐng)說(shuō)明書(shū)及權(quán)利要求當(dāng)中使用了某些詞匯來(lái)指稱(chēng)特定的組件。本領(lǐng)域技術(shù) 人員應(yīng)可理解，硬件制造商可能會(huì)用不同的名詞來(lái)稱(chēng)呼同一個(gè)組件。本說(shuō)明書(shū)及權(quán)利要求 并不W名稱(chēng)的差異作為區(qū)分組件的方式，而是W組件在功能上的差異作為區(qū)分的準(zhǔn)則。在 通篇說(shuō)明書(shū)及權(quán)利要求當(dāng)中所提及的"包括"、"包含"為一開(kāi)放式的用語(yǔ)，故應(yīng)解釋成"包括 (含)但不限定于"。另外，"禪接"一詞在此為包括任何直接及間接的電氣連接手段。因此，若 文中描述第一裝置禪接于第二裝置，則代表該第一裝置可直接電氣連接至該第二裝置，或 透過(guò)其它裝置或連接手段間接地電氣連接至該第二裝置。
[0054] 圖1是根據(jù)本發(fā)明實(shí)施例的驗(yàn)證裝置的結(jié)構(gòu)示意圖。如圖1所示，驗(yàn)證裝置100包 括：電源管理系統(tǒng)110和微處理器120。電源管理系統(tǒng)110包括:控制器111、第一電源設(shè)備112 W及第二電源設(shè)備113?？刂破?11接收輸入信號(hào)SIW產(chǎn)生用于控制第一電源設(shè)備112的第 一控制信號(hào)SCI W及產(chǎn)生用于控制第二電源設(shè)備113的第二控制信號(hào)SC2。根據(jù)本發(fā)明實(shí)施 例，輸入信號(hào)SI為單個(gè)輸入信號(hào)。根據(jù)本發(fā)明另一實(shí)施例，輸入信號(hào)SI為含有多個(gè)輸入信號(hào) 的信號(hào)總線（signal bus)。
[0055] 根據(jù)本發(fā)明實(shí)施例，第一電源設(shè)備112根據(jù)第一控制信號(hào)SCI工作在多個(gè)第一模 式。根據(jù)實(shí)施例，第一控制信號(hào)SCI是含有多個(gè)第一控制信號(hào)的信號(hào)總線，W控制第一電源 設(shè)備112工作在多個(gè)第一模式。根據(jù)本發(fā)明另一實(shí)施例，第一控制信號(hào)SCI為單個(gè)控制信號(hào)。
[0056] 根據(jù)本發(fā)明實(shí)施例，第二電源設(shè)備113根據(jù)第二控制信號(hào)SC2工作在多個(gè)第二模 式。根據(jù)實(shí)施例，第二控制信號(hào)SC2為含有多個(gè)第二控制信號(hào)的信號(hào)總線，W控制第二電源 設(shè)備113工作在多個(gè)第二模式。根據(jù)本發(fā)明另一實(shí)施例，第二控制信號(hào)SC2為單個(gè)控制信號(hào)。 在下述描述中，第一控制信號(hào)SCI和第二控制信號(hào)SC2示例為含有多個(gè)控制信號(hào)的信號(hào)總 線。
[0057] 在設(shè)計(jì)了電源管理系統(tǒng)之后，需要驗(yàn)證控制器111的控制邏輯。微處理器120用于 驗(yàn)證控制器111的控制邏輯。根據(jù)本發(fā)明實(shí)施例，微處理器120為帶有設(shè)計(jì)驗(yàn)證工具的計(jì)算 機(jī)，諸如無(wú)圖案(pattern-less)驗(yàn)證工具。
[0058] 根據(jù)本發(fā)明實(shí)施例，第一電源設(shè)備112和第二電源設(shè)備113均要么是電源開(kāi)關(guān)，要 么是穩(wěn)壓器。根據(jù)本發(fā)明實(shí)施例，穩(wěn)壓器為低壓差（low-dropout,LD0)穩(wěn)壓器或者開(kāi)關(guān)式 (switched-mode)穩(wěn)壓器。根據(jù)本發(fā)明實(shí)施例，開(kāi)關(guān)式穩(wěn)壓器為降壓、增壓或降壓-增壓開(kāi)關(guān) 式穩(wěn)壓器。根據(jù)本發(fā)明另一實(shí)施例，開(kāi)關(guān)式穩(wěn)壓器為DC-DC(直流-直流)開(kāi)關(guān)式穩(wěn)壓器。根據(jù) 本發(fā)明又一實(shí)施例，開(kāi)關(guān)式穩(wěn)壓器為任何類(lèi)型的需要模式選擇的開(kāi)關(guān)式穩(wěn)壓器。需要注意 的是:電源管理系統(tǒng)110含有的2個(gè)數(shù)量的電源設(shè)備僅是典型示例，而不是限制。
[0059] 圖2是根據(jù)本發(fā)明實(shí)施例的用于驗(yàn)證圖1中的控制器的方法的流程示意圖。在下述 描述中，使用圖1來(lái)解釋圖2中的流程。首先，微處理器120確定電源管理系統(tǒng)110包括第一電 源設(shè)備112和第二電源設(shè)備113(步驟S1)。微處理器120進(jìn)一步確定第一電源設(shè)備112能夠工 作的所有工作模式，W及確定第二電源設(shè)備113能夠工作的所有工作模式(步驟S2)。
[0060] 當(dāng)電源管理系統(tǒng)110工作在電源配置下時(shí)，微處理器120確定第一電源設(shè)備112工 作在第一模式W及第二電源設(shè)備113工作在第二模式(步驟S3)。微處理器120確定第一控制 信號(hào)SCI的第一目標(biāo)組合，該第一目標(biāo)組合用于使第一電源設(shè)備112工作在第一模式，W及 確定第二控制信號(hào)SC2的第二目標(biāo)組合，該第二目標(biāo)組合用于使第二電源設(shè)備113工作在第 二模式(步驟S4)。
[0061] 根據(jù)本發(fā)明實(shí)施例，存在列出了第一電源設(shè)備112的所有工作模式W及該工作模 式對(duì)應(yīng)的第一控制信號(hào)SCI的第一查找表。微處理器120訪問(wèn)該第一查找表，從而確定用于 使第一電源設(shè)備112工作在第一模式中的第一目標(biāo)組合。
[0062] 根據(jù)本發(fā)明實(shí)施例，存在列出了第二電源設(shè)備113的所有工作模式W及該工作模 式對(duì)應(yīng)的第二控制信號(hào)SC2的第二查找表。微處理器120訪問(wèn)該第二查找表，從而確定用于 使第二電源設(shè)備113工作在第二模式的第二目標(biāo)組合。
[0063] 在步驟S5,微處理器120產(chǎn)生等價(jià)于控制器111的行為的邏輯方程。根據(jù)本發(fā)明實(shí) 施例，由于控制器111為轉(zhuǎn)換輸入信號(hào)SI為第一控制信號(hào)SCI和第二控制信號(hào)SC2的邏輯電 路，因此微處理器120產(chǎn)生邏輯方程(例如根據(jù)控制器111的邏輯功能來(lái)產(chǎn)生該邏輯方程)來(lái) 模擬控制器111接收輸入信號(hào)SIW產(chǎn)生第一控制信號(hào)SCI和第二控制信號(hào)SC2的關(guān)系。
[0064] 在產(chǎn)生了邏輯方程之后，微處理器120為工作在電源配置之下的電源管理系統(tǒng)110 確定輸入信號(hào)SI的輸入組合(步驟S6)。然后，微處理器120通過(guò)將輸入組合帶入該邏輯方程 中來(lái)產(chǎn)生第一控制信號(hào)SCI的第一計(jì)算結(jié)果W及第二控制信號(hào)SC2的第二計(jì)算結(jié)果（步驟 S7)。根據(jù)本發(fā)明實(shí)施例，步驟S5~S7也被稱(chēng)為無(wú)圖案驗(yàn)證。
[0065] 微處理器120比較第一計(jì)算結(jié)果與第一目標(biāo)組合W及比較第二計(jì)算結(jié)果和第二目 標(biāo)組合，W確定輸入組合是否有效(步驟S8)。當(dāng)?shù)谝缓偷诙?jì)算結(jié)果分別等于第一和第二 目標(biāo)組合時(shí)，微處理器120確定輸入組合為有效(步驟S9)。當(dāng)?shù)谝挥?jì)算結(jié)果或者第二計(jì)算結(jié) 果不等于對(duì)應(yīng)的第一或第二目標(biāo)組合時(shí)，微處理器120確定輸入組合為無(wú)效(步驟S10)。然 后，微處理器120發(fā)出通知W修改輸入組合或者修改控制器111的行為(步驟S11)。
[0066] 根據(jù)本發(fā)明實(shí)施例，當(dāng)確定輸入組合為無(wú)效時(shí)，微處理器120通知設(shè)計(jì)者修改輸入 組合，從而產(chǎn)生另一第一計(jì)算結(jié)果和另一第二計(jì)算結(jié)果，W確保得到第一和第二目標(biāo)組合。 根據(jù)本發(fā)明另一實(shí)施例，當(dāng)確定輸入組合為無(wú)效時(shí)，微處理器120通知設(shè)計(jì)者修改控制器 111的行為，從而確保得到第一和第二目標(biāo)組合。
[0067] 根據(jù)本發(fā)明實(shí)施例，在修改輸入組合或者修改控制器111的行為之后，微處理器 120返回步驟S5W產(chǎn)生等價(jià)于控制器111的行為的另一邏輯方程，或者返回步驟S6W確定輸 入信號(hào)SI的另一輸入組合，W便于確保當(dāng)電源管理系統(tǒng)110工作在電源配置下時(shí)，第一電源 設(shè)備112工作在第一模式W及第二電源設(shè)備113工作在第二模式。
[0068] 為了進(jìn)一步解釋本發(fā)明，在下述段落中示出了一個(gè)例子。假定當(dāng)電源管理系統(tǒng)110 工作在電源配置SP之下時(shí)，第一電源設(shè)備112工作在第一模式L1W及第二電源設(shè)備113工作 在第二模式L2。另外，輸入信號(hào)SI為含有第一信號(hào)XI、第二信號(hào)X2、第Ξ信號(hào)X3W及第四信 號(hào)X4的信號(hào)總線，但是僅第一信號(hào)XI和第二信號(hào)X2用于確定第一控制信號(hào)SCI和第二控制 信號(hào)SC2。
[0069]
[0070] 表一
[0071] 表一示出了第一控制信號(hào)SCI和第二控制信號(hào)SC2的真值表，其中該真值表對(duì)應(yīng)電 源管理系統(tǒng)110工作在電源配置SP之下、第一電源設(shè)備112工作在第一模式L1之下W及第二 電源設(shè)備113工作在第二模式L2之下。在圖2的步驟S3,微處理器120確定第一控制信號(hào)SCI 為用于第一電源設(shè)備112工作在第一模式L1的二進(jìn)制值"rW及第二控制信號(hào)SC2為用于第 二電源設(shè)備113工作在第二模式L2的二進(jìn)制值"0"，如此電源管理系統(tǒng)110工作在電源配置 SP下。
[0072] 在圖2的步驟S5中，微處理器120產(chǎn)生等價(jià)于控制器111的行為的邏輯方程，并且該 邏輯方程為SC1 = (X1XX2) + (X3XX4)，該邏輯方程模擬控制器111接收輸入SIW產(chǎn)生第一 控制信號(hào)SCI的關(guān)系。
[0073] 圖3示出了根據(jù)本發(fā)明實(shí)施例的輸入信號(hào)SI和第二控制信號(hào)SCI之間的關(guān)系的行 為模型。根據(jù)本發(fā)明實(shí)施例，圖3中示出的行為模型301為SC1 = (X1XX2) + (X3XX4)的邏輯 方程。通過(guò)該行為模型301的計(jì)算，微處理器120更容易且更快速地驗(yàn)證輸入信號(hào)SI和第一 控制信號(hào)SCI之間的關(guān)系。
[0074] 在圖2的步驟S6中，微處理器120確定用于電源管理系統(tǒng)110工作在電源配置SP之 下的第一信號(hào)XI為"rw及第二信號(hào)X2為"0"。在將第一信號(hào)XI和第二信號(hào)X2帶入邏輯方程 之后，第一控制信號(hào)SCI然后是由第Ξ信號(hào)X3和第四信號(hào)X4來(lái)確定。由于第一信號(hào)X巧P第二 信號(hào)X2不能夠保證第一控制信號(hào)SCI為"Γ，因此微處理器120目前在圖2的步驟S10中。
[0075] 然后，為了電源管理系統(tǒng)工作在電源配置SP之下，微處理器120通知設(shè)計(jì)者要么修 改輸入信號(hào)SI的狀態(tài)，要么修改控制器111的行為，即修改邏輯方程。因此，有效地驗(yàn)證控制 器111的控制邏輯。
[0076] W上所述僅為本發(fā)明的較佳實(shí)施例而已，并不用W限制本發(fā)明，凡在本發(fā)明的精 神和原則之內(nèi)所作的任何修改、等同替換和改進(jìn)等，均應(yīng)包含在本發(fā)明的保護(hù)范圍之內(nèi)。
【主權(quán)項(xiàng)】
1. 一種驗(yàn)證電源管理系統(tǒng)的方法，所述電源管理系統(tǒng)包括:控制器以及多個(gè)電源設(shè)備， 其中，所述控制器接收輸入信號(hào)以產(chǎn)生用于控制所述多個(gè)電源設(shè)備的控制信號(hào)，其特征在 于，所述方法包括： 當(dāng)所述電源管理系統(tǒng)工作在電源配置下時(shí)，確定每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模式； 當(dāng)每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模式時(shí)，確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的目標(biāo) 組合； 使用所述輸入信號(hào)的輸入組合來(lái)無(wú)圖案地驗(yàn)證所述控制器的行為，從而產(chǎn)生所述每個(gè) 電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果，所述輸入信號(hào)的輸入組合用于使所述電源管理系統(tǒng) 工作在所述電源配置之下； 比較所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合與所述目標(biāo)組合；以及 當(dāng)所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合等于所述目標(biāo)組合時(shí)，確定所 述輸入組合為有效。2. 如權(quán)利要求1所述的方法，其特征在于，所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)為單個(gè)信 號(hào)。3. 如權(quán)利要求1所述的方法，其特征在于，所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)為多個(gè)信 號(hào)的組合； 所述多個(gè)電源設(shè)備包括:第一電源設(shè)備和第二電源設(shè)備； 所述確定每個(gè)電源設(shè)備工作在對(duì)應(yīng)的模式的步驟包括:確定所述第一電源設(shè)備工作在 第一模式以及確定所述第二電源設(shè)備工作在第二模式； 所述確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的目標(biāo)組合的步驟包括：當(dāng)所述第一電源 設(shè)備工作在所述第一模式時(shí)，確定所述第一電源設(shè)備對(duì)應(yīng)的多個(gè)第一控制信號(hào)的第一目標(biāo) 組合；以及當(dāng)所述第二電源設(shè)備工作在所述第二模式時(shí)，確定所述第二電源設(shè)備對(duì)應(yīng)的多 個(gè)第二控制信號(hào)的第二目標(biāo)組合； 所述產(chǎn)生所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的步驟包括:產(chǎn)生所述多個(gè)第 一控制信號(hào)的第一計(jì)算結(jié)果以及所述多個(gè)第二控制信號(hào)的第二計(jì)算結(jié)果； 所述比較所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合與所述目標(biāo)組合的步 驟包括：比較所述第一計(jì)算結(jié)果和所述第一目標(biāo)組合；以及比較所述第二計(jì)算結(jié)果和所述 第二目標(biāo)組合； 所述確定所述輸入組合為有效的步驟包括：當(dāng)所述第一和第二計(jì)算結(jié)果分別等于所述 第一和第二目標(biāo)組合時(shí)，確定所述輸入組合為有效。4. 如權(quán)利要求1至3中任一項(xiàng)所述的方法，其特征在于，進(jìn)一步包括： 當(dāng)所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的計(jì)算結(jié)果的組合不等于所述目標(biāo)組合時(shí)，確定 所述輸入組合為無(wú)效； 修改所述輸入組合或者修改所述控制器的行為，以使得所述計(jì)算結(jié)果的組合等于所述 目標(biāo)組合。5. 如權(quán)利要求1至3中任一項(xiàng)所述的方法，其特征在于，所述無(wú)圖案地驗(yàn)證所述控制器 的行為的步驟包括： 產(chǎn)生等價(jià)于所述控制器的行為的邏輯方程； 確定所述輸入信號(hào)的所述輸入組合；以及 根據(jù)所述邏輯方程和所述輸入組合來(lái)產(chǎn)生所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的所述 計(jì)算結(jié)果。6. 如權(quán)利要求5所述的方法，其特征在于，所述邏輯方程用于模擬所述控制器接收所述 輸入信號(hào)以產(chǎn)生對(duì)應(yīng)的控制信號(hào)的行為。7. 如權(quán)利要求5所述的方法，其特征在于，根據(jù)所述控制器的邏輯功能，產(chǎn)生所述邏輯 方程。8. 如權(quán)利要求1所述的方法，其特征在于，確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào)的所 述目標(biāo)組合的步驟包括： 訪問(wèn)查找表，所述查找表列出了每個(gè)電源設(shè)備的所有工作模式以及對(duì)應(yīng)的控制信號(hào)； 以及 根據(jù)查找表和所述每個(gè)電源設(shè)備工作的模式，確定所述每個(gè)電源設(shè)備對(duì)應(yīng)的控制信號(hào) 的目標(biāo)組合。9. 如權(quán)利要求1所述的方法，其特征在于，所述每個(gè)電源設(shè)備為電源開(kāi)關(guān)或者穩(wěn)壓器。10. 如權(quán)利要求9所述的方法，其特征在于，所述穩(wěn)壓器為低壓差穩(wěn)壓器或者直流-直流 開(kāi)關(guān)式穩(wěn)壓器。11. 一種驗(yàn)證裝置，其特征在于，包括：電源管理系統(tǒng)與微處理器； 所述電源管理系統(tǒng)，工作在電源配置之下，其中所述電源管理系統(tǒng)包括： 控制器，用于接收輸入信號(hào)，以產(chǎn)生第一控制信號(hào)以及第二控制信號(hào)； 第一電源設(shè)備，用于根據(jù)所述第一控制信號(hào)工作在第一模式；以及 第二電源設(shè)備，用于根據(jù)所述第二控制信號(hào)工作在第二模式； 所述微處理器，用于當(dāng)所述第一電源設(shè)備工作在所述第一模式時(shí)，確定所述第一控制 信號(hào)的第一目標(biāo)值，當(dāng)所述第二電源設(shè)備工作在所述第二模式時(shí)，確定所述第二控制信號(hào) 的第二目標(biāo)值;使用所述輸入信號(hào)的輸入組合來(lái)無(wú)圖案地驗(yàn)證所述控制器的行為，從而產(chǎn) 生所述第一控制信號(hào)的第一計(jì)算結(jié)果以及所述第二控制信號(hào)的第二計(jì)算結(jié)果，其中所述輸 入信號(hào)的所述輸入組合用于使所述電源管理系統(tǒng)工作在所述電源配置之下；比較所述第一 計(jì)算結(jié)果和所述第一目標(biāo)信號(hào)；比較所述第二計(jì)算結(jié)果和所述第二目標(biāo)值；以及當(dāng)所述第 一和第二計(jì)算結(jié)果分別等于所述第一和第二目標(biāo)值時(shí)，確定所述輸入組合為有效。12. 如權(quán)利要求11所述的驗(yàn)證裝置，其特征在于，所述第一控制信號(hào)為單個(gè)信號(hào)或者多 個(gè)信號(hào)的組合，所述第一目標(biāo)值對(duì)應(yīng)地為單個(gè)值或者為多個(gè)值的組合； 所述第二控制信號(hào)為單個(gè)信號(hào)或者多個(gè)信號(hào)的組合，所述第二目標(biāo)信號(hào)對(duì)應(yīng)地為單個(gè) 值或多個(gè)值的組合。13. 如權(quán)利要求11或12所述的驗(yàn)證裝置，其特征在于，所述微處理器，還用于當(dāng)所述第 一計(jì)算結(jié)果不等于所述第一目標(biāo)值或者所述第二計(jì)算結(jié)果不等于所述第二目標(biāo)值時(shí)，確定 所述輸入組合為無(wú)效；以及修改所述輸入組合或者修改所述控制器的行為，以使得所述第 一計(jì)算結(jié)果和所述第二計(jì)算結(jié)果分別等于所述第一目標(biāo)值和所述第二目標(biāo)值。14. 如權(quán)利要求11或12所述的驗(yàn)證裝置，其特征在于，所述微處理器，具體用于產(chǎn)生等 價(jià)于所述控制器的行為的邏輯方程，確定所述輸入信號(hào)的所述輸入組合;根據(jù)所述邏輯方 程和所述輸入組合，產(chǎn)生所述第一控制信號(hào)的所述第一計(jì)算結(jié)果；以及根據(jù)所述邏輯方程 和所述輸入組合，產(chǎn)生所述第二控制信號(hào)的所述第二計(jì)算結(jié)果。15. 如權(quán)利要求14所述的驗(yàn)證裝置，其特征在于，所述邏輯方程用于模擬所述控制器接 收所述輸入信號(hào)以產(chǎn)生對(duì)應(yīng)的所述第一和第二控制信號(hào)的行為。16. 如權(quán)利要求11或12所述的驗(yàn)證裝置，其特征在于，所述微處理器，具體用于訪問(wèn)第 一查找表，以及通過(guò)所述第一查找表和對(duì)應(yīng)的所述第一模式，確定所述第一目標(biāo)值;其中， 所述第一查找表列出了所述第一電源設(shè)備的所有工作模式以及對(duì)應(yīng)的所述第一控制信號(hào)。17. 如權(quán)利要求11或12所述的驗(yàn)證裝置，其特征在于，所述微處理器，具體用于訪問(wèn)第 二查找表，以及通過(guò)所述第二查找表和對(duì)應(yīng)的所述第二模式，確定所述第二目標(biāo)值;其中， 所述第二查找表列出了所述第二電源設(shè)備的所有工作模式以及對(duì)應(yīng)的所述第二控制信號(hào)。18. 如權(quán)利要求11或12所述的驗(yàn)證裝置，其特征在于，所述第一電源設(shè)備為電源開(kāi)關(guān)或 者穩(wěn)壓器，所述第二電源設(shè)備為所述電源開(kāi)關(guān)或者所述穩(wěn)壓器。19. 如權(quán)利要求18所述的驗(yàn)證裝置，其特征在于，所述穩(wěn)壓器為低壓差穩(wěn)壓器或者直 流-直流開(kāi)關(guān)式穩(wěn)壓器。
【文檔編號(hào)】G05B19/042GK105824268SQ201610028327
【公開(kāi)日】2016年8月3日
【申請(qǐng)日】2016年1月15日
【發(fā)明人】林健偉
【申請(qǐng)人】聯(lián)發(fā)科技股份有限公司