CN105824268B - 验证电源管理***的方法及验证装置 - Google Patents
验证电源管理***的方法及验证装置 Download PDFInfo
- Publication number
- CN105824268B CN105824268B CN201610028327.9A CN201610028327A CN105824268B CN 105824268 B CN105824268 B CN 105824268B CN 201610028327 A CN201610028327 A CN 201610028327A CN 105824268 B CN105824268 B CN 105824268B
- Authority
- CN
- China
- Prior art keywords
- power
- control signal
- supply device
- calculation
- input
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3177—Testing of logic operation, e.g. by logic analysers
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/31704—Design for test; Design verification
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/40—Testing power supplies
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/25—Testing of logic operation, e.g. by logic analysers
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- H—ELECTRICITY
- H02—GENERATION; CONVERSION OR DISTRIBUTION OF ELECTRIC POWER
- H02J—CIRCUIT ARRANGEMENTS OR SYSTEMS FOR SUPPLYING OR DISTRIBUTING ELECTRIC POWER; SYSTEMS FOR STORING ELECTRIC ENERGY
- H02J1/00—Circuit arrangements for dc mains or dc distribution networks
- H02J1/08—Three-wire systems; Systems having more than three wires
-
- H—ELECTRICITY
- H02—GENERATION; CONVERSION OR DISTRIBUTION OF ELECTRIC POWER
- H02J—CIRCUIT ARRANGEMENTS OR SYSTEMS FOR SUPPLYING OR DISTRIBUTING ELECTRIC POWER; SYSTEMS FOR STORING ELECTRIC ENERGY
- H02J1/00—Circuit arrangements for dc mains or dc distribution networks
- H02J1/14—Balancing the load in a network
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/20—Pc systems
- G05B2219/25—Pc structure of the system
- G05B2219/25338—Microprocessor
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F1/00—Details not covered by groups G06F3/00 - G06F13/00 and G06F21/00
- G06F1/26—Power supply means, e.g. regulation thereof
- G06F1/32—Means for saving power
- G06F1/3203—Power management, i.e. event-based initiation of a power-saving mode
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Power Engineering (AREA)
- Computer Hardware Design (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Automation & Control Theory (AREA)
- Supply And Distribution Of Alternating Current (AREA)
Abstract
本发明实施例提供了一种验证电源管理***的方法及验证装置,能够快速且容易地验证电源管理***。其中,电源管理***包括控制器和多个电源设备,其中控制器接收输入信号以产生用于控制多个电源设备的控制信号。该方法包括:确定每个电源设备工作在对应的模式;当每个电源设备工作在对应的模式时,确定每个电源设备对应的控制信号的目标组合;使用输入信号的输入组合来无图案地验证控制器的行为,以产生每个电源设备对应的控制信号的计算结果;比较每个电源设备对应的控制信号的计算结果的组合与目标组合;以及当所述每个电源设备对应的控制信号的计算结果的组合等于所述目标组合时,确定所述输入组合为有效。
Description
技术领域
本发明一般涉及用于验证电源管理***的方法和装置,尤其涉及一种更快速和更容易地验证电源管理***的方法和装置。
背景技术
随着电子装置领域的快速进步,电子装置比以往需要更多的电源供应,以致迫切地需要含有更多电源通道的电源管理***。但是,电源管理***具有的电源装置越多,对每个电源装置的控制越复杂。因此,使得控制器(用于控制电源管理***中的每个电源通道)更加复杂,以控制迅速增加的大量所需的电源通道。
另外,由于电源管理***中的控制器变得更复杂,因此需要更多时间和资源来验证控制器的控制逻辑是否有效。因此,迫切地需要更加有效的方式来验证控制器的控制逻辑。
发明内容
有鉴于此,本发明实施例提供了一种验证电源管理***的方法和验证装置,能够快速且容易地对电源管理***进行验证。
本发明提供了一种验证电源管理***的方法,所述电源管理***包括:控制器以及多个电源设备,其中,所述控制器接收输入信号以产生用于控制所述多个电源设备的控制信号,所述方法包括:
当所述电源管理***工作在电源配置下时,确定每个电源设备工作在对应的模式;
当每个电源设备工作在对应的模式时,确定所述每个电源设备对应的控制信号的目标组合;
使用所述输入信号的输入组合来无图案地验证所述控制器的行为,从而产生所述每个电源设备对应的控制信号的计算结果,所述输入信号的输入组合用于使所述电源管理***工作在所述电源配置之下;
比较所述每个电源设备对应的控制信号的计算结果的组合与所述目标组合;以及
当所述每个电源设备对应的控制信号的计算结果的组合等于所述目标组合时,确定所述输入组合为有效。
其中,所述每个电源设备对应的控制信号为单个信号。
其中,所述每个电源设备对应的控制信号为多个信号的组合;
所述多个电源设备包括:第一电源设备和第二电源设备;
所述确定每个电源设备工作在对应的模式的步骤包括:确定所述第一电源设备工作在第一模式以及确定所述第二电源设备工作在第二模式;
所述确定所述每个电源设备对应的控制信号的目标组合的步骤包括:当所述第一电源设备工作在所述第一模式时,确定所述第一电源设备对应的多个第一控制信号的第一目标组合;以及当所述第二电源设备工作在所述第二模式时,确定所述第二电源设备对应的多个第二控制信号的第二目标组合;
所述产生所述每个电源设备对应的控制信号的计算结果的步骤包括:产生所述多个第一控制信号的第一计算结果以及所述多个第二控制信号的第二计算结果;
所述比较所述每个电源设备对应的控制信号的计算结果的组合与所述目标组合的步骤包括:比较所述第一计算结果和所述第一目标组合;以及比较所述第二计算结果和所述第二目标组合;
所述确定所述输入组合为有效的步骤包括:当所述第一和第二计算结果分别等于所述第一和第二目标组合时,确定所述输入组合为有效。
其中,进一步包括:
当所述每个电源设备对应的控制信号的计算结果的组合不等于所述目标组合时,确定所述输入组合为无效;
修改所述输入组合或者修改所述控制器的行为,以使得所述计算结果的组合等于所述目标组合。
其中,所述无图案地验证所述控制器的行为的步骤包括:
产生等价于所述控制器的行为的逻辑方程;
确定所述输入信号的所述输入组合;以及
根据所述逻辑方程和所述输入组合来产生所述每个电源设备对应的控制信号的所述计算结果。
其中,所述逻辑方程用于模拟所述控制器接收所述输入信号以产生对应的控制信号的行为。
其中,根据所述控制器的逻辑功能,产生所述逻辑方程。
其中,确定所述每个电源设备对应的控制信号的所述目标组合的步骤包括:
访问查找表,所述查找表列出了每个电源设备的所有工作模式以及对应的控制信号;以及
根据查找表和所述每个电源设备工作的模式,确定所述每个电源设备对应的控制信号的目标组合。
其中,所述每个电源设备为电源开关或者稳压器。
其中,所述稳压器为低压差稳压器或者直流-直流开关式稳压器。
本发明还提供了一种验证装置,包括:电源管理***与微处理器;
所述电源管理***,工作在电源配置之下,其中所述电源管理***包括:
控制器,用于接收输入信号,以产生第一控制信号以及第二控制信号;
第一电源设备,用于根据所述第一控制信号工作在第一模式;以及
第二电源设备,用于根据所述第二控制信号工作在第二模式;
所述微处理器,用于当所述第一电源设备工作在所述第一模式时,确定所述第一控制信号的第一目标值,当所述第二电源设备工作在所述第二模式时,确定所述第二控制信号的第二目标值;使用所述输入信号的输入组合来无图案地验证所述控制器的行为,从而产生所述第一控制信号的第一计算结果以及所述第二控制信号的第二计算结果,其中所述输入信号的所述输入组合用于使所述电源管理***工作在所述电源配置之下;比较所述第一计算结果和所述第一目标信号;比较所述第二计算结果和所述第二目标值;以及当所述第一和第二计算结果分别等于所述第一和第二目标值时,确定所述输入组合为有效。
其中,所述第一控制信号为单个信号或者多个信号的组合,所述第一目标值对应地为单个值或者为多个值的组合;所述第二控制信号为单个信号或者多个信号的组合,所述第二目标信号对应地为单个值或多个值的组合。
其中,所述微处理器,还用于当所述第一计算结果不等于所述第一目标值或者所述第二计算结果不等于所述第二目标值时,确定所述输入组合为无效;以及修改所述输入组合或者修改所述控制器的行为,以使得所述第一计算结果和所述第二计算结果分别等于所述第一目标值和所述第二目标值。
其中,所述微处理器,具体用于产生等价于所述控制器的行为的逻辑方程,确定所述输入信号的所述输入组合;根据所述逻辑方程和所述输入组合,产生所述第一控制信号的所述第一计算结果;以及根据所述逻辑方程和所述输入组合,产生所述第二控制信号的所述第二计算结果。
其中,所述逻辑方程用于模拟所述控制器接收所述输入信号以产生对应的所述第一和第二控制信号的行为。
其中,所述微处理器,具体用于访问第一查找表,以及通过所述第一查找表和对应的所述第一模式,确定所述第一目标值;其中,所述第一查找表列出了所述第一电源设备的所有工作模式以及对应的所述第一控制信号。
其中,所述微处理器,具体用于访问第二查找表,以及通过所述第二查找表和对应的所述第二模式,确定所述第二目标值;其中,所述第二查找表列出了所述第二电源设备的所有工作模式以及对应的所述第二控制信号。
其中,所述第一电源设备为电源开关或者稳压器,所述第二电源设备为所述电源开关或者所述稳压器。
其中,所述稳压器为低压差稳压器或者直流-直流开关式稳压器。
本发明实施例的有益效果是:
本发明实施例,先由每个电源设备工作的模式,确定每个电源设备的控制信号的目标组合,并由输入信号的输入组合和控制器的行为,来产生每个电源设备的控制信号的计算结果;然后通过确定每个电源设备的控制信号的目标组合和计算结果的组合相等来认定输入组合为有效,从而实现对电源管理***的更加快速和容易地验证。
附图说明
图1是根据本发明实施例的验证装置的结构示意图;
图2是根据本发明实施例的验证图1中的控制器的方法的流程示意图;
图3示出了根据本发明实施例的输入信号SI和第一控制信号SC1之间关系的行为模型。
具体实施方式
为了使本发明所解决的技术问题、技术方案及有益效果更加清楚明白,以下结合附图及实施例,对本发明进行进一步详细说明。应当理解,此处所描述的具体实施例仅仅用以解释本发明,并不用于限定本发明。
在本申请说明书及权利要求当中使用了某些词汇来指称特定的组件。本领域技术人员应可理解,硬件制造商可能会用不同的名词来称呼同一个组件。本说明书及权利要求并不以名称的差异作为区分组件的方式,而是以组件在功能上的差异作为区分的准则。在通篇说明书及权利要求当中所提及的“包括”、“包含”为一开放式的用语,故应解释成“包括(含)但不限定于”。另外,“耦接”一词在此为包括任何直接及间接的电气连接手段。因此,若文中描述第一装置耦接于第二装置,则代表该第一装置可直接电气连接至该第二装置,或透过其它装置或连接手段间接地电气连接至该第二装置。
图1是根据本发明实施例的验证装置的结构示意图。如图1所示,验证装置100包括:电源管理***110和微处理器120。电源管理***110包括:控制器111、第一电源设备112以及第二电源设备113。控制器111接收输入信号SI以产生用于控制第一电源设备112的第一控制信号SC1以及产生用于控制第二电源设备113的第二控制信号SC2。根据本发明实施例,输入信号SI为单个输入信号。根据本发明另一实施例,输入信号SI为含有多个输入信号的信号总线(signal bus)。
根据本发明实施例,第一电源设备112根据第一控制信号SC1工作在多个第一模式。根据实施例,第一控制信号SC1是含有多个第一控制信号的信号总线,以控制第一电源设备112工作在多个第一模式。根据本发明另一实施例,第一控制信号SC1为单个控制信号。
根据本发明实施例,第二电源设备113根据第二控制信号SC2工作在多个第二模式。根据实施例,第二控制信号SC2为含有多个第二控制信号的信号总线,以控制第二电源设备113工作在多个第二模式。根据本发明另一实施例,第二控制信号SC2为单个控制信号。在下述描述中,第一控制信号SC1和第二控制信号SC2示例为含有多个控制信号的信号总线。
在设计了电源管理***之后,需要验证控制器111的控制逻辑。微处理器120用于验证控制器111的控制逻辑。根据本发明实施例,微处理器120为带有设计验证工具的计算机,诸如无图案(pattern-less)验证工具。
根据本发明实施例,第一电源设备112和第二电源设备113均要么是电源开关,要么是稳压器。根据本发明实施例,稳压器为低压差(low-dropout,LDO)稳压器或者开关式(switched-mode)稳压器。根据本发明实施例,开关式稳压器为降压、增压或降压-增压开关式稳压器。根据本发明另一实施例,开关式稳压器为DC-DC(直流-直流)开关式稳压器。根据本发明又一实施例,开关式稳压器为任何类型的需要模式选择的开关式稳压器。需要注意的是:电源管理***110含有的2个数量的电源设备仅是典型示例,而不是限制。
图2是根据本发明实施例的用于验证图1中的控制器的方法的流程示意图。在下述描述中,使用图1来解释图2中的流程。首先,微处理器120确定电源管理***110包括第一电源设备112和第二电源设备113(步骤S1)。微处理器120进一步确定第一电源设备112能够工作的所有工作模式,以及确定第二电源设备113能够工作的所有工作模式(步骤S2)。
当电源管理***110工作在电源配置下时,微处理器120确定第一电源设备112工作在第一模式以及第二电源设备113工作在第二模式(步骤S3)。微处理器120确定第一控制信号SC1的第一目标组合,该第一目标组合用于使第一电源设备112工作在第一模式,以及确定第二控制信号SC2的第二目标组合,该第二目标组合用于使第二电源设备113工作在第二模式(步骤S4)。
根据本发明实施例,存在列出了第一电源设备112的所有工作模式以及该工作模式对应的第一控制信号SC1的第一查找表。微处理器120访问该第一查找表,从而确定用于使第一电源设备112工作在第一模式中的第一目标组合。
根据本发明实施例,存在列出了第二电源设备113的所有工作模式以及该工作模式对应的第二控制信号SC2的第二查找表。微处理器120访问该第二查找表,从而确定用于使第二电源设备113工作在第二模式的第二目标组合。
在步骤S5,微处理器120产生等价于控制器111的行为的逻辑方程。根据本发明实施例,由于控制器111为转换输入信号SI为第一控制信号SC1和第二控制信号SC2的逻辑电路,因此微处理器120产生逻辑方程(例如根据控制器111的逻辑功能来产生该逻辑方程)来模拟控制器111接收输入信号SI以产生第一控制信号SC1和第二控制信号SC2的关系。
在产生了逻辑方程之后,微处理器120为工作在电源配置之下的电源管理***110确定输入信号SI的输入组合(步骤S6)。然后,微处理器120通过将输入组合带入该逻辑方程中来产生第一控制信号SC1的第一计算结果以及第二控制信号SC2的第二计算结果(步骤S7)。根据本发明实施例,步骤S5~S7也被称为无图案验证。
微处理器120比较第一计算结果与第一目标组合以及比较第二计算结果和第二目标组合,以确定输入组合是否有效(步骤S8)。当第一和第二计算结果分别等于第一和第二目标组合时,微处理器120确定输入组合为有效(步骤S9)。当第一计算结果或者第二计算结果不等于对应的第一或第二目标组合时,微处理器120确定输入组合为无效(步骤S10)。然后,微处理器120发出通知以修改输入组合或者修改控制器111的行为(步骤S11)。
根据本发明实施例,当确定输入组合为无效时,微处理器120通知设计者修改输入组合,从而产生另一第一计算结果和另一第二计算结果,以确保得到第一和第二目标组合。根据本发明另一实施例,当确定输入组合为无效时,微处理器120通知设计者修改控制器111的行为,从而确保得到第一和第二目标组合。
根据本发明实施例,在修改输入组合或者修改控制器111的行为之后,微处理器120返回步骤S5以产生等价于控制器111的行为的另一逻辑方程,或者返回步骤S6以确定输入信号SI的另一输入组合,以便于确保当电源管理***110工作在电源配置下时,第一电源设备112工作在第一模式以及第二电源设备113工作在第二模式。
为了进一步解释本发明,在下述段落中示出了一个例子。假定当电源管理***110工作在电源配置SP之下时,第一电源设备112工作在第一模式L1以及第二电源设备113工作在第二模式L2。另外,输入信号SI为含有第一信号X1、第二信号X2、第三信号X3以及第四信号X4的信号总线,但是仅第一信号X1和第二信号X2用于确定第一控制信号SC1和第二控制信号SC2。
SC1 | SC2 | 电源管理***110 | 第一电源设备112 | 第二电源设备113 |
1 | 0 | SP | L1 | L2 |
表一
表一示出了第一控制信号SC1和第二控制信号SC2的真值表,其中该真值表对应电源管理***110工作在电源配置SP之下、第一电源设备112工作在第一模式L1之下以及第二电源设备113工作在第二模式L2之下。在图2的步骤S3,微处理器120确定第一控制信号SC1为用于第一电源设备112工作在第一模式L1的二进制值“1”以及第二控制信号SC2为用于第二电源设备113工作在第二模式L2的二进制值“0”,如此电源管理***110工作在电源配置SP下。
在图2的步骤S5中,微处理器120产生等价于控制器111的行为的逻辑方程,并且该逻辑方程为SC1=(X1×X2)+(X3×X4),该逻辑方程模拟控制器111接收输入SI以产生第一控制信号SC1的关系。
图3示出了根据本发明实施例的输入信号SI和第二控制信号SC1之间的关系的行为模型。根据本发明实施例,图3中示出的行为模型301为SC1=(X1×X2)+(X3×X4)的逻辑方程。通过该行为模型301的计算,微处理器120更容易且更快速地验证输入信号SI和第一控制信号SC1之间的关系。
在图2的步骤S6中,微处理器120确定用于电源管理***110工作在电源配置SP之下的第一信号X1为“1”以及第二信号X2为“0”。在将第一信号X1和第二信号X2带入逻辑方程之后,第一控制信号SC1然后是由第三信号X3和第四信号X4来确定。由于第一信号X1和第二信号X2不能够保证第一控制信号SC1为“1”,因此微处理器120目前在图2的步骤S10中。
然后,为了电源管理***工作在电源配置SP之下,微处理器120通知设计者要么修改输入信号SI的状态,要么修改控制器111的行为,即修改逻辑方程。因此,有效地验证控制器111的控制逻辑。
以上所述仅为本发明的较佳实施例而已,并不用以限制本发明,凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明的保护范围之内。
Claims (19)
1.一种验证电源管理***的方法,所述电源管理***包括:控制器以及多个电源设备,其中,所述控制器接收输入信号以产生用于控制所述多个电源设备的控制信号,其特征在于,所述方法包括:
当所述电源管理***工作在电源配置下时,确定每个电源设备工作在对应的模式;
当每个电源设备工作在对应的模式时,确定所述每个电源设备对应的控制信号的目标组合;
使用所述输入信号的输入组合来验证所述控制器的行为,从而产生所述每个电源设备对应的控制信号的计算结果,所述输入信号的输入组合用于使所述电源管理***工作在所述电源配置之下;
比较所述每个电源设备对应的控制信号的计算结果的组合与所述目标组合;以及
当所述每个电源设备对应的控制信号的计算结果的组合等于所述目标组合时,确定所述输入组合为有效。
2.如权利要求1所述的方法,其特征在于,所述每个电源设备对应的控制信号为单个信号。
3.如权利要求1所述的方法,其特征在于,所述每个电源设备对应的控制信号为多个信号的组合;
所述多个电源设备包括:第一电源设备和第二电源设备;
所述确定每个电源设备工作在对应的模式的步骤包括:确定所述第一电源设备工作在第一模式以及确定所述第二电源设备工作在第二模式;
所述确定所述每个电源设备对应的控制信号的目标组合的步骤包括:当所述第一电源设备工作在所述第一模式时,确定所述第一电源设备对应的多个第一控制信号的第一目标组合;以及当所述第二电源设备工作在所述第二模式时,确定所述第二电源设备对应的多个第二控制信号的第二目标组合;
所述产生所述每个电源设备对应的控制信号的计算结果的步骤包括:产生所述多个第一控制信号的第一计算结果以及所述多个第二控制信号的第二计算结果;
所述比较所述每个电源设备对应的控制信号的计算结果的组合与所述目标组合的步骤包括:比较所述第一计算结果和所述第一目标组合;以及比较所述第二计算结果和所述第二目标组合;
所述确定所述输入组合为有效的步骤包括:当所述第一和第二计算结果分别等于所述第一和第二目标组合时,确定所述输入组合为有效。
4.如权利要求1至3中任一项所述的方法,其特征在于,进一步包括:
当所述每个电源设备对应的控制信号的计算结果的组合不等于所述目标组合时,确定所述输入组合为无效;
修改所述输入组合或者修改所述控制器的行为,以使得所述计算结果的组合等于所述目标组合。
5.如权利要求1至3中任一项所述的方法,其特征在于,所述验证所述控制器的行为的步骤包括:
产生等价于所述控制器的行为的逻辑方程;
确定所述输入信号的所述输入组合;以及
根据所述逻辑方程和所述输入组合来产生所述每个电源设备对应的控制信号的所述计算结果。
6.如权利要求5所述的方法,其特征在于,所述逻辑方程用于模拟所述控制器接收所述输入信号以产生对应的控制信号的行为。
7.如权利要求5所述的方法,其特征在于,根据所述控制器的逻辑功能,产生所述逻辑方程。
8.如权利要求1所述的方法,其特征在于,确定所述每个电源设备对应的控制信号的所述目标组合的步骤包括:
访问查找表,所述查找表列出了每个电源设备的所有工作模式以及对应的控制信号;以及
根据查找表和所述每个电源设备工作的模式,确定所述每个电源设备对应的控制信号的目标组合。
9.如权利要求1所述的方法,其特征在于,所述每个电源设备为电源开关或者稳压器。
10.如权利要求9所述的方法,其特征在于,所述稳压器为低压差稳压器或者直流-直流开关式稳压器。
11.一种验证装置,其特征在于,包括:电源管理***与微处理器;
所述电源管理***,工作在电源配置之下,其中所述电源管理***包括:
控制器,用于接收输入信号,以产生第一控制信号以及第二控制信号;
第一电源设备,用于根据所述第一控制信号工作在第一模式;以及
第二电源设备,用于根据所述第二控制信号工作在第二模式;
所述微处理器,用于当所述第一电源设备工作在所述第一模式时,确定所述第一控制信号的第一目标值,当所述第二电源设备工作在所述第二模式时,确定所述第二控制信号的第二目标值;使用所述输入信号的输入组合来验证所述控制器的行为,从而产生所述第一控制信号的第一计算结果以及所述第二控制信号的第二计算结果,其中所述输入信号的所述输入组合用于使所述电源管理***工作在所述电源配置之下;比较所述第一计算结果和所述第一目标值;比较所述第二计算结果和所述第二目标值;以及当所述第一和第二计算结果分别等于所述第一和第二目标值时,确定所述输入组合为有效。
12.如权利要求11所述的验证装置,其特征在于,所述第一控制信号为单个信号或者多个信号的组合,所述第一目标值对应地为单个值或者为多个值的组合;
所述第二控制信号为单个信号或者多个信号的组合,所述第二目标值对应地为单个值或多个值的组合。
13.如权利要求11或12所述的验证装置,其特征在于,所述微处理器,还用于当所述第一计算结果不等于所述第一目标值或者所述第二计算结果不等于所述第二目标值时,确定所述输入组合为无效;以及修改所述输入组合或者修改所述控制器的行为,以使得所述第一计算结果和所述第二计算结果分别等于所述第一目标值和所述第二目标值。
14.如权利要求11或12所述的验证装置,其特征在于,所述微处理器,具体用于产生等价于所述控制器的行为的逻辑方程,确定所述输入信号的所述输入组合;根据所述逻辑方程和所述输入组合,产生所述第一控制信号的所述第一计算结果;以及根据所述逻辑方程和所述输入组合,产生所述第二控制信号的所述第二计算结果。
15.如权利要求14所述的验证装置,其特征在于,所述逻辑方程用于模拟所述控制器接收所述输入信号以产生对应的所述第一和第二控制信号的行为。
16.如权利要求11或12所述的验证装置,其特征在于,所述微处理器,具体用于访问第一查找表,以及通过所述第一查找表和对应的所述第一模式,确定所述第一目标值;其中,所述第一查找表列出了所述第一电源设备的所有工作模式以及对应的所述第一控制信号。
17.如权利要求11或12所述的验证装置,其特征在于,所述微处理器,具体用于访问第二查找表,以及通过所述第二查找表和对应的所述第二模式,确定所述第二目标值;其中,所述第二查找表列出了所述第二电源设备的所有工作模式以及对应的所述第二控制信号。
18.如权利要求11或12所述的验证装置,其特征在于,所述第一电源设备和所述第二电源设备均为电源开关或者均为稳压器。
19.如权利要求18所述的验证装置,其特征在于,所述稳压器为低压差稳压器或者直流-直流开关式稳压器。
Applications Claiming Priority (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201562108163P | 2015-01-27 | 2015-01-27 | |
US62/108,163 | 2015-01-27 | ||
US14/993,364 | 2016-01-12 | ||
US14/993,364 US10101389B2 (en) | 2015-01-27 | 2016-01-12 | Power configuration verification of power-management system |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105824268A CN105824268A (zh) | 2016-08-03 |
CN105824268B true CN105824268B (zh) | 2018-09-28 |
Family
ID=56433478
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610028327.9A Active CN105824268B (zh) | 2015-01-27 | 2016-01-15 | 验证电源管理***的方法及验证装置 |
Country Status (2)
Country | Link |
---|---|
US (1) | US10101389B2 (zh) |
CN (1) | CN105824268B (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11609832B2 (en) | 2019-10-04 | 2023-03-21 | International Business Machines Corporation | System and method for hardware component connectivity verification |
CN111352025B (zh) * | 2020-03-13 | 2020-12-11 | 京微齐力(深圳)科技有限公司 | 一种fpga中配置控制器验证方法、***及设备 |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1932721A (zh) * | 2006-09-08 | 2007-03-21 | 华南理工大学 | 一种基于嵌入式***的动态电源管理架构 |
CN102055236A (zh) * | 2009-10-29 | 2011-05-11 | 胜德国际研发股份有限公司 | 智慧型电源管理***及其方法 |
TW201135434A (en) * | 2010-04-06 | 2011-10-16 | Hon Hai Prec Ind Co Ltd | System for power source management and portable electronic device using the same |
US8154315B2 (en) * | 2008-04-08 | 2012-04-10 | Formfactor, Inc. | Self-referencing voltage regulator |
TWI407302B (en) * | 2009-10-09 | 2013-09-01 | Smart power management system and the method thereof | |
CN103430266A (zh) * | 2011-02-23 | 2013-12-04 | 多菲诺斯电子机械制造公司 | 用来检查用于隔离开关的控制信号的装置和方法 |
TW201503525A (zh) * | 2013-07-15 | 2015-01-16 | Hon Hai Prec Ind Co Ltd | 電源裝置、電源管理系統及方法 |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9052892B2 (en) * | 2007-06-04 | 2015-06-09 | Ericsson Modems, SA | Power supply management integrated circuit |
US8195995B2 (en) * | 2008-07-02 | 2012-06-05 | Infineon Technologies Ag | Integrated circuit and method of protecting a circuit part of an integrated circuit |
US20120159274A1 (en) * | 2010-12-21 | 2012-06-21 | Balakrishnan Kedarnath J | Apparatus to facilitate built-in self-test data collection |
-
2016
- 2016-01-12 US US14/993,364 patent/US10101389B2/en active Active
- 2016-01-15 CN CN201610028327.9A patent/CN105824268B/zh active Active
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1932721A (zh) * | 2006-09-08 | 2007-03-21 | 华南理工大学 | 一种基于嵌入式***的动态电源管理架构 |
US8154315B2 (en) * | 2008-04-08 | 2012-04-10 | Formfactor, Inc. | Self-referencing voltage regulator |
TWI407302B (en) * | 2009-10-09 | 2013-09-01 | Smart power management system and the method thereof | |
CN102055236A (zh) * | 2009-10-29 | 2011-05-11 | 胜德国际研发股份有限公司 | 智慧型电源管理***及其方法 |
TW201135434A (en) * | 2010-04-06 | 2011-10-16 | Hon Hai Prec Ind Co Ltd | System for power source management and portable electronic device using the same |
CN103430266A (zh) * | 2011-02-23 | 2013-12-04 | 多菲诺斯电子机械制造公司 | 用来检查用于隔离开关的控制信号的装置和方法 |
TW201503525A (zh) * | 2013-07-15 | 2015-01-16 | Hon Hai Prec Ind Co Ltd | 電源裝置、電源管理系統及方法 |
Also Published As
Publication number | Publication date |
---|---|
CN105824268A (zh) | 2016-08-03 |
US20160218504A1 (en) | 2016-07-28 |
US10101389B2 (en) | 2018-10-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105425782B (zh) | 高速列车牵引传动控制***实时故障仿真平台 | |
CN106295956B (zh) | 一种考虑核电厂供电***可修复多状态复杂特性的可靠性评估方法 | |
CN100479306C (zh) | 一种集成电路电荷泵的优化装置及其方法 | |
CN105572498A (zh) | 一种电子产品可靠性加速试验方法 | |
CN107991902B (zh) | 一种航天器的供电***的建模及仿真方法 | |
CN107678356A (zh) | 基于fpga芯片平台的柔性直流输电***仿真实验装置及方法 | |
CN105824268B (zh) | 验证电源管理***的方法及验证装置 | |
CN102759702B (zh) | 用于检测芯片内工作电路的电压与频率关系的电路及方法 | |
US20150168259A1 (en) | Systems and Method for Developing and Testing Hybrid Energy Storage Devices | |
CN204965174U (zh) | 功率硬件在环测试*** | |
FI3000239T3 (fi) | Järjestelmä ja menetelmä elektroniikkalaitteiden yleisohjausta varten | |
CN108566548A (zh) | 一种多通道车载娱乐***倒车功能测试*** | |
CN102681450B (zh) | 一种芯片控制方法及设备 | |
CN106875293A (zh) | 一种风电场升压站主变压器故障发电量损失获取方法 | |
CN103425047A (zh) | 发电机组协调控制***和方法 | |
CN104317287B (zh) | 一种电机信号的模拟方法及*** | |
Beiranvand et al. | MatSim: a Matpower and Simulink based tool for power system dynamics course education | |
US10326436B2 (en) | Hot swap controller with multiple current limits | |
US20130293276A1 (en) | Avs master slave | |
CN107102943B (zh) | 一种智能电能表软件可靠性测试方法及*** | |
CN205210673U (zh) | 仪控功能测试仿真设备及*** | |
WO2016197724A1 (zh) | 一种实现高压读写电源的控制装置及方法 | |
CN110173845B (zh) | 空调器及空调器的通信控制方法、装置 | |
Zhao et al. | Controller analysis for active distribution nodes in advanced dc power systems | |
CN105515421B (zh) | 模块化多电平换流器子模块均压电阻阻值建模和计算方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |