Abstract: The disclosed technology provides an electronic device including a metal casing surrounding the electronic device. The metal casing has a first aperture including at least two sub-apertures connected by a channel. The metal casing also has a first surface on a charging target side of the metal casing and a second surface on a charging source side of the metal casing. The electronic device also includes a wireless charging coil located on the charging source side of the metal casing of the electronic device. The wireless charging coil is supplied with current from a power source. The current flowing through the wireless charging coil induces a surface current in the metal casing surrounding the electronic device. The current flowing through the wireless charging coil and the surface current cause a combined magnetic field.

Abstract: A method for correcting a mask layout includes providing a mask layout including first patterns, each of the first patterns having a size related to a first critical dimension (CD) value, obtaining topography data on a region of a wafer, generating a defocus map using the topography data, and correcting the mask layout on the basis of the defocus map. The generating of the defocus map includes respectively setting second CD values for a plurality of sub-regions of the mask layout. The second CD values may be set based on the topography data. The correcting of the mask layout on the basis of the defocus map comprises correcting the sizes of the first patterns to be related to the second CD values.

Abstract: A method includes calculating a maximum value of an on-die decoupling capacitor for an integrated circuit (IC) design based on a switching current defined by a number of simultaneously switching bits for the IC design. The method also includes calculating a total decoupling capacitance value offered by spacer cells in the IC design. The method further includes determining an optimal on-die decoupling capacitance value for the IC design as a function of the maximum value of the on-die decoupling capacitor and the total decoupling capacitance value offered by the spacer cells.

Abstract: A system and method to perform risk assessment or design rule determination for an integrated circuit involves generating two or more process variation contours based on corresponding two or more combinations of two or more factors that affect manufacturability of the integrated circuit. Each of the two or more process variation contours is associated with a probability. The method also includes generating a random number to select from among the two or more process variation contours based on a cumulative probability value associated with each of the two or more process variation contours. The cumulative probability values are determined from the probabilities. The risk assessment or the design rule determination is performed using selected ones of the two or more process variation contours. Fabrication yield is increased based on finalizing the physical layout using the process variation contours.

Abstract: According to one embodiment of the present invention a circuit simulator configured to simulate a degraded output of a circuit including a plurality of transistors includes: a behavioral recurrent neural network configured to receive an input waveform and to compute a circuit output waveform; a feature engine configured to model one or more degraded circuit elements in accordance with an aging time, to receive the circuit output waveform and to output a plurality of degraded features; and a physics recurrent neural network configured to receive the plurality of degraded features from the feature engine and to simulate the degraded output of the circuit.

Abstract: A model-building method comprises following operations: reading a top netlist and a block model, wherein the top netlist comprises a first input node, a first output node and a multivibrator, the block model comprises a input node and a output node; obtaining a first subnetlist from the top netlist, wherein the first subnetlist comprises a component coupled between the input node and the first input node or the multivibrator; obtaining a second subnetlist from the top netlist, wherein the second subnetlist comprises a component coupled between the output node and the first output node or the multivibrator; obtaining a third subnetlist from the top netlist, wherein the third subnetlist comprises a component coupled between a clock input node of the multivibrator and a top clock input node of the top netlist; generating a top ILM according to the first to the third subnetlist.

Abstract: A method and apparatus for ranking combinations of mutants, test cases and random seeds in mutation testing, comprising obtaining, based on a signal of a test case target, logic gates related to the signal of the test case target and mutants on the related logic gates, for a compiled integrated circuit under test; calculating distances between the mutants and the signal of the test case target; performing a circuit simulation on the compiled integrated circuit under test to obtain activation cycle numbers corresponding to combinations of the mutants, test cases and random seeds; obtaining activation cycle number variances corresponding to combinations of the mutants and the test cases; and ranking the combinations of the mutants, the test cases and the random seeds based on the distances, the activation cycle numbers and the activation cycle number variances. The invention can reduce the probability that the mutation simulation selects equivalent mutants.

Abstract: A power receiving apparatus receives power wirelessly transmitted by a power transmission apparatus, and stores the received power. The power receiving apparatus includes a communication unit configured to transmit and receive a control signal in a wireless power transmission system. The power receiving apparatus switches a supply source of power to the communication unit when a power storage capacity is less than a threshold value.

Abstract: The present invention relates to a wireless power transmission network and to a wireless power transmission method. In the wireless power transmission method according to one aspect of the present invention, a base station, which wirelessly transmits power using a magnetic field, performs in-band communication through the magnetic field used for wireless power transmission in order to determine whether an electronic device receiving power is in a charging area or in a communication area, and transmits wireless power accordingly.

Abstract: Techniques for controlling dispatch of electric vehicles (EVs) to perform vehicle-to-grid regulation of power of an electric grid are presented. An aggregator component can individually control transitioning respective EVs of a set of EVs between a charging state and a not-charging state. The aggregator component includes a dispatch controller component (DCC) that can employ a defined dispatch algorithm for EVs to facilitate enabling the DCC to perform unidirectional regulation. The DCC can switch EV charging stations on and off using remote switches to meet a system regulation signal. The DCC can use the dispatch algorithm to make determinations regarding which EV to switch using charging priorities, in accordance defined power regulation criterion(s). The aggregator component can reduce communication signals used to adjust dispatch by sending switching signals to only those EVs of the set of EVs that are changing their charging state at a given time.

Abstract: A method of electrical device manufacturing that includes measuring a first plurality of dimensions and electrical performance from back end of the line (BEOL) structures; and comparing the first plurality of dimensions with a second plurality of dimensions from a process assumption model to determine dimension variations by machine vision image processing. The method further includes providing a plurality of scenarios for process modifications by applying machine image learning to the dimension variations and electrical variations in the in line electrical measurements from the process assumption model. The method further includes receiving production dimension measurements and electrical measurements at a manufacturing prediction actuator. The at least one of the dimensions or electrical measurements received match one of the plurality of scenarios the manufacturing prediction actuator using the plurality of scenarios for process modifications effectuates a process change.

Abstract: A method for designing a system on a target device includes performing one of synthesis, placement, and routing on the system. A designer is presented with a timing analysis of the system after one of the synthesis, placement, and routing, wherein the timing analysis reflects register retiming optimizations predicted to be implemented on the system. One of the synthesis, placement, and routing is modified in response to input provided by the designer after the presenting.

Abstract: A method for docking an autonomous mobile floor cleaning robot with a charging dock, the robot including a receiver coil and a structured light sensor, the charging dock including a docking bay and a transmitter coil, includes: positioning the robot in a prescribed docked position in the docking bay using the structured light sensor and by sensing a magnetic field emanating from the transmitter coil; and thereafter induction charging the robot using the receiver coil and the transmitter coil with the robot in the docked position.

Abstract: In the disclosed design systems and methods, a schematic diagram includes nets and, connected to at least some nets, single-pin first and second imaginary devices. On any given net, a first imaginary device is associated with a tracking group property of the net (where nets in the same tracking group are in-phase) and a second imaginary device is associated with a voltage property of the net. A design layout generated based on the schematic diagram includes: net shapes representing the nets and, on net shapes that represent nets connected to the imaginary devices, tracking group and voltage labels corresponding to the tracking group and voltage properties. Net shape placement within the design layout and design rule checking are performed according to design rules that dictate placing net shapes with the same tracking group label together and further dictate minimum allowable spacing requirements depending upon the tracking group and voltage labels.

Abstract: An adapter (10) and a charging control method, the adapter (10) comprising: a power conversion unit (11), used for converting an inputted alternating current so as to obtain an output voltage and an output current of the adapter (10), the output current of the adapter (10) being an alternating current or a pulsed direct current; a voltage holding unit (12), an input end of the voltage holding unit (12) being connected to the power conversion unit (11), the voltage holding unit (12) being used for obtaining an input voltage having a pulsed waveform from the power conversion unit (11) and converting the input voltage having the pulsed waveform into a target voltage, an output end of the voltage holding unit (12) being connected to a device in the adapter (10), the target voltage being used to power the device in the adapter (10), a peak value of the target voltage being between the lowest operating voltage and the highest operating voltage of the device.

Abstract: A charge/discharge switch control circuit for a battery pack includes a set of driving terminals and detection circuitry coupled to the driving terminals. The driving terminals provide driving signals to control a status of a switch circuit to enable charging or discharging of the battery pack. The detection circuitry receives voltages at multiple terminals of the switch circuit, and detects a status of an interface of the battery pack according to the status of the switch circuit and a difference between the voltages. The interface can receive power to charge the battery pack and provide power from the battery pack to a load.

Abstract: An electronic charger for electric power distribution installations is provided. The electronic charger includes a DC/DC converter of the SEPIC type including an input stage, an output stage and a coupling capacitor. The input stage is electrically connected with input terminals and includes an input inductor and a switching device. The output stage is electrically connected with output terminals and includes an output inductor, an output capacitor and a blocking device. The coupling capacitor is configured to electrically couple the input stage and the output stage with a capacitive coupling. A first sensor provides a first sensing signal indicative of a charging current. A first controller receives the first sensing signal and a reference signal and provides a driving signal to control the switching device.

Abstract: Provided are a battery charging method, a battery charging information generating method, and a battery charging apparatus. The battery charging apparatus may measure a temperature of a battery, may estimate a state of charge (SOC) and a state of health (SOH) of the battery, may acquire an F mapping relationship that maps F values to C-rates and SOCs at the temperature and the SOH, the F value denoting a ratio of variation of SOC to variation of voltage, and may generate a charging profile that is a sequence of charging C-rates for each of the SOCs for charging the battery based on the estimated SOC and the F mapping relationship.

Abstract: A computer implemented layout method for an integrated circuit (IC) structure and IC structure are provided. Such a method includes: placing a power supply rail pattern in a first device layer of the IC; bundling, for purposes of placement, a voltage level shifter and one or more inter-layer vias together as an integral unit; and placing the integral unit in the first device layer of the IC design such that one or more metal line patterns in the voltage level shifter are located parallel to albeit without overlapping the power supply rail pattern. The placing the integral unit forms a direct electrical connection channel between the voltage level shifter and a metal pattern in a second device layer of the IC design. At least one of the placing operations is performed using a layout generating machine.

Abstract: The present invention relates to a system and a method of protecting a battery, and particularly to a system and a method of protecting a battery, which compare current state information of a battery with reference state information and control an operation of a power supplying unit that supplies power supplied from the battery to a load based on a result of the comparison in order to block power supplied from the battery that is in a problem state, thereby protecting a load from the battery in the problem state.