Abstract: It relates to an apparatus, a device, a method, and a computer program for generating test cases for a verification of hardware instructions of a hardware device in a hypervisor. The apparatus comprises circuitry configured to generate a transition table based on a specification of the hardware device. The transition table comprises a plurality of entries. Each entry represents a change of a state of the hardware device in response to an event. The circuitry is configured to determine entries of the transition table that are equivalent. The circuitry is configured to generate a plurality of test cases based on the entries of the transition table. At least one entry of the transition table is omitted in the generation of the test cases due to being equivalent to another entry of the transition table.

Abstract: A control apparatus (10), control device, control method and computer program for controlling one or more parameters of a hypervisor (100) and an apparatus, device, method, and computer program for a virtual machine (200). The control apparatus (10) comprises circuitry configured to obtain information on respective performance targets of two or more virtual machines (200) being hosted by the hypervisor (100). The circuitry is configured to set the one or more parameters of the hypervisor (100) to one or more initial values. The circuitry is configured to obtain respective results of a benchmark being run in the two or more virtual machines (200), the results of the benchmark indicating a performance of the respective virtual machines (200) with respect to the respective performance targets, with the results of the benchmark being affected by the one or more parameters.

Abstract: Examples relate to an apparatus, a device, a method, and a computer program for generating a test specification for testing software code of a function under test. The apparatus for generating the test specification for testing software code of a function under test comprises circuitry configured to extract a plurality of symbols from the software code of the function under test, generate a plurality of test vectors with corresponding sets of expected results for the function under test based on the plurality of symbols, and generate a test specification based on the plurality of test vectors and the corresponding sets of expected results.

Abstract: Examples relate to an apparatus, a device, a method and a computer program for generating code for test cases for testing a function under test. The apparatus comprises circuitry configured to obtain a diagram representation of the function under test, select a plurality of symbols of interest from the diagram representation of the function under test, the symbols of interest being based on a pre-defined set of symbols of interest, and generate, for the symbols of interest, code of a plurality of test cases based on a pre-defined set of checks related to the pre-defined symbols of interest.

Abstract: A substrate is disclosed, the substrate includes a plurality of electrically interconnected metal layers sequentially stacked from the top downward and dielectric layers interposed between the metal layers. The substrate has a low-side power connection region where metal strips in at least one of the metal layers extend in a direction different from a direction of extension of metal strips in another one of the metal layers extend. This enables a package structure incorporating the substrate to have a good stress distribution, which guarantees reliability required by long-term use. Also provided is a package structure including the substrate and a semiconductor die flipped and mounted on the substrate.

Abstract: A control circuit for a resonant converter has a communication interface, a memory, and a primary switching control circuit. The memory provides a frequency setting signal capable of being programmed through a communication interface, the primary switching control circuit provides a first control signal to control a high-side switch and a second control signal to control a low-side switch. When the resonant converter works in an open loop mode, a frequency of the first control signal and the second control signal is determined by the frequency setting signal, an on-time period of the high-side switch equals an on-time period of the low-side switch, less than half of a resonant period.

Abstract: A control circuit for a resonant converter has a communication interface, a memory, and a primary switching control circuit. The memory provides a frequency setting signal capable of being programmed through a communication interface, the primary switching control circuit provides a first control signal to control a high-side switch and a second control signal to control a low-side switch. When the resonant converter works in an open loop mode, a frequency of the first control signal and the second control signal is determined by the frequency setting signal, an on-time period of the high-side switch equals an on-time period of the low-side switch, less than half of a resonant period.

Abstract: A current threshold regulation method is used in a switching converter with a tank element and a transistor. The current threshold regulation method includes: detecting whether the input voltage is lower than an input under voltage threshold and generating an input under voltage indication signal; detecting whether the output voltage is lower than an output under voltage threshold and generating an output under voltage indication signal; generating a current threshold based on the input under voltage indication signal and output under voltage indication signal; comparing a current flowing though the tank element with the current threshold and generating a current comparison signal; and generating a control signal based on the current comparison signal to control the transistor.

Abstract: A method for automatically testing a voltage regulator, including: providing an auto-test setting to a test master, wherein the auto-test setting specifies an auto-sweep setting and a loop comprising an ordered set of serial command frames; producing, in the test master, a test suite comprising a plurality of serial command frames by executing the loop multiple times according to the auto-sweep setting until an array of a preset variable corresponding to the auto-sweep setting is traversed, wherein the preset variable is changed in each iteration of the loop; sequentially transmitting every serial command frame to the voltage regulator; and receiving every resulting behavior of the voltage regulator when operated in accordance with the every serial command frame.

Abstract: Methods, systems and storage media are disclosed for enhanced system boot processing that authenticates boot code based on biometric information of the user before loading the boot code to system memory. For at least some embodiments, the bio-metric authentication augments authentication of boot code based on a unique platform identifier. The enhanced boot code authentication occurs before loading of the operating system, and may be performed during a Unified Extensible Firmware Interface (UEFI) boot sequence. Other embodiments are described and claimed.

Abstract: An auto-loop regulation system for a voltage regulator receives a plurality of pre-determined loop parameters through an interactive computing equipment, and the voltage regulator operates according to the plurality of pre-determined loop parameters, wherein the interactive computing equipment regulates at least one of the loop parameters automatically in real time according to an online loop value when the voltage regulator is operating online, and the interactive computing equipment keeps regulating the loop parameters until the online value of the voltage regulator matches with a target value.

Abstract: An autonomous power system has a voltage regulator which converts an input voltage to an output voltage according to a reference voltage. A control method for the power system: receiving a voltage identification code sent by a processor; providing an autonomous voltage identification code when the voltage identification sent by the processor keeps constant during a first preset duration, wherein the autonomous voltage identification code can be updated self-adaptively; providing a reference voltage according to a sum of the voltage identification code and the autonomous identification code; and adjusting the output voltage according to the reference voltage.

Abstract: An over current protecting circuit, used with a switching converter having a switch, having: a current limiting circuit, configured to receive a limit indicating signal and to provide an on time signal to control an on time period of the switch based on the limit indicating signal, wherein if the limit indicating signal indicates a current flowing through the switch of the switching converter is larger than a limiting threshold, the on time period of a next switching cycle of the switch is subtracted with a first period, otherwise, the on time period of the switch of the next switching cycle is added with a second period; wherein a maximum on time period of the switch is fixed to be an on time reference.

Abstract: A current threshold regulation method is used in a switching converter with a tank element and a transistor. The current threshold regulation method includes: detecting whether the input voltage is lower than an input under voltage threshold and generating an input under voltage indication signal; detecting whether the output voltage is lower than an output under voltage threshold and generating an output under voltage indication signal; generating a current threshold based on the input under voltage indication signal and output under voltage indication signal; comparing a current flowing though the tank element with the current threshold and generating a current comparison signal; and generating a control signal based on the current comparison signal to control the transistor.

Abstract: A resonant converter highly improves light load efficiency. The resonant converter blocks control signals which are used to control power switches in an input power stage and an output stage in light load condition until an output voltage drops to a preset value. The input power stage and the output stage are coupled by way of a resonant net and a transformer.

Abstract: A system has a processor, a battery charging circuit, a voltage regulating circuit and a control circuit. The control circuit provides digitalized feedback signals representative of circuit parameters of the battery charging circuit and circuit parameters of the voltage regulating circuit to the processor and receives a first information and a second information from the processor. The processor is able to adjust its operating states in response to the digitalized feedback signals. The control circuit controls the battery charging circuit in response to the circuit parameters of the battery charging circuit and the first information received from the processor, and the control circuit controls the voltage regulating circuit in response to the circuit parameters of the voltage regulating circuit and the second information received from the processor.

Abstract: A DC-DC converter with transient control. The DC-DC converter includes a power switching circuit, a current to voltage converter, a PI circuit 403, a voltage to current converter 404 and a logic and control circuit 405. The DC-DC converter obtains the transient information of a current flowing through the power switching circuit, to slow down the variation of the output voltage, so as to eliminate the overshot issue.

Abstract: An auto-loop regulation system for a voltage regulator receives a plurality of pre-determined loop parameters through an interactive computing equipment, and the voltage regulator operates according to the plurality of pre-determined loop parameters, wherein the interactive computing equipment regulates at least one of the loop parameters automatically in real time according to an online loop value when the voltage regulator is operating online, and the interactive computing equipment keeps regulating the loop parameters until the online value of the voltage regulator matches with a target value.

Abstract: A resonant converter with adaptive switching frequency operates continuously at best efficiency point. A power switch at primary side is turned off when a current flowing through a corresponding output power stage at secondary side falls to zero.

Abstract: An over current protecting circuit, used with a switching converter having a switch, having: a current limiting circuit, configured to receive a limit indicating signal and to provide an on time signal to control an on time period of the switch based on the limit indicating signal, wherein if the limit indicating signal indicates a current flowing through the switch of the switching converter is larger than a limiting threshold, the on time period of a next switching cycle of the switch is subtracted with a first period, otherwise, the on time period of the switch of the next switching cycle is added with a second period; wherein a maximum on time period of the switch is fixed to be an on time reference.