Abstract: A novel semiconductor device or a semiconductor device capable of preventing overcharging is provided. A power receiving portion has a function of generating a signal for canceling a wireless signal transmitted from a power feeding portion when the charging is completed. Specifically, when the remaining battery capacity of the power receiving portion is one hundred percent or higher than or equal to a predetermined reference value, the power receiving portion has a function of generating an electromagnetic wave for canceling an electromagnetic wave transmitted from the power feeding portion. Thus, a magnetic field for canceling a magnetic field formed of the electromagnetic wave transmitted from the power feeding portion is formed, so that overcurrent in the power receiving portion can be prevented.

Abstract: An effective spacing is calculated for each physical spacing between two or more neighbor nets of a target net. Segment boundaries are determined based on the calculated effective spacing to define segments for the target net and one of the segments is selected. A metal configuration for the selected segment is identified and a table of capacitance per-unit-length is accessed for the identified metal configuration to return an above capacitance value, a below capacitance value, a left-side capacitance value, and a right-side capacitance value for the corresponding segment, the table comprising at least a two-dimensional (2D) table. The capacitance values are scaled based on a corresponding segment length determined from the calculated effective spacing. The selecting, identifying, accessing and scaling operations are repeated for each remaining segment of the target net. Optionally, the above, below, left, and right capacitance values for all segments of the target net are summed.

Abstract: A contactless charger system for charging a power storage unit of an electrically driven vehicle, such as an e-bike. The contactless charger system has a power transmission part with a primary coil around a primary magnetic circuit part including two primary pole faces, and a power receiving part with a secondary coil around a secondary magnetic circuit part having two secondary pole faces (8). In operation, the two primary pole faces and the two secondary pole faces are aligned such that the primary and secondary magnetic circuit parts form a closed magnetic circuit. The secondary magnetic circuit part is an integral part of an electrically driven vehicle stand.

Abstract: A method of identifying cell-internal defects: obtaining a circuit design of an integrated circuit, the circuit design including netlists of one or more cells coupled to one another; identifying the netlist corresponding to one of the one or more cells; injecting a defect to one of a plurality of circuit elements and one or more interconnects of the cell; retrieving a first current waveform at a location of the cell where the defect is injected by applying excitations to inputs of the cell; retrieving, without the defect injected, a second current waveform at the location of the cell by applying the same excitations to the inputs of the cell; and selectively annotating, based on the first current waveform and the second current waveform, an input/output table of the cell with the defect.

Abstract: The present disclosure relates to a wireless charging receiving end, a terminal device and a method for wireless charging. The wireless charging receiving end includes an energy receiver, a receiving end processor and a wireless charging management chip. The receiving end processor is connected with the energy receiver and the wireless charging management chip, converts an alternating current into a direct current and modulates and demodulates wireless signals. The wireless charging management chip is connected with a battery, and controls charging of the battery.

Abstract: Method, apparatus and product for modeling of quantum circuits and usages thereof. A method includes obtaining a model of a quantum circuit that comprises a set of decision variables, corresponding domains, and constraints, wherein the set of decision variables comprise gate assignment decision variables that define an assignment of a gate to a qubit in a cycle in the quantum circuit. The method includes automatically determining a set of valuations for the set of decision variables. The set of valuations are selected from the corresponding domains and satisfy the constraints. Based on the set of valuations the quantum circuit is synthesized.

Abstract: A method and apparatus for forming a plurality of vias in panels for advanced packaging applications is disclosed, according to one embodiment. A redistribution layer is deposited on a substrate layer. The redistribution layer may be deposited using a spin coating process, a spray coating process, a drop coating process, or lamination. The redistribution layer is then micro-imprinted using a stamp inside a chamber. The redistribution layer and the stamp are then baked inside the chamber. The stamp is removed from the redistribution layer to form a plurality of vias in the redistribution layer. Excess residue built-up on the redistribution layer may be removed using a descumming process. A residual thickness layer disposed between the bottom of each of the plurality of vias and the top of the substrate layer may have thickness of less than about 1 ?m.

Abstract: A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block; synthesizing a gate-level representation of the quantum circuit based on the functional-level representation of the quantum circuit, wherein the gate-level representation of the quantum circuit comprises a first sub-circuit and a second sub-circuit; providing the gate-level representation to a gate-level processing component; obtaining, from the gate-level processing component, a change indication indicating that the gate-level processing component modified the first sub-circuit, whereby determining a modified first sub-circuit; in response to the change indication, synthesizing a modified second sub-circuit based on a knowledge of an existence of the modified first sub-circuit.

Abstract: An input and output device of an inspection device is configured to instruct charging devices capable of charging respective cells to perform constant current charging or constant voltage charging, and acquire a voltage value and a current value of each of the cells from corresponding one of the charging devices. A controller of the inspection device is configured to instruct the charging devices to perform constant current charging of the respective cells, and perform constant voltage charging of the respective cells when a voltage value of each of the cells acquired from corresponding one of the charging devices reaches a preset value. The controller of the inspection device is configured to determine presence or absence of a micro-short circuit in each of the cells with reference to a peak current value of corresponding one of the cells generated in switching from the constant current charging to the constant voltage charging.

Abstract: A method, an electronic device and a storage medium are provided for improving a wireless charging efficiency. The method includes: a current capacitance value of a resonant capacitor in a receiver of the electronic device is adjusted to a target capacitance value, where a wireless charging efficiency corresponding to the target capacitance value is superior to a wireless charging efficiency corresponding to the current capacitance value.

Abstract: A method, for determining constraints related to a target circuit, includes following operations. First circuit speed results of the target circuit under different candidate constraint configurations are accumulated. Breakthrough probability distributions relative to each of the candidate constraint configurations are determined according to the first circuit speed results. First selected constraint configurations are determined from the candidate constraint configurations by sampling the breakthrough probability distributions. A first budget distribution is determined among the first selected constraint configurations. In response to that the first budget distribution is converged, the first selected constraint configurations in the first budget distribution is utilized for implementing the target circuit and generating an updated circuit speed result of the target circuit.

Abstract: A method and apparatus for controlling a battery operating mode. The method includes connecting an electronic processor to a first electrical contact of a battery interface via a switch; generating, with the electronic processor, an initialization pulse for a signal demultiplexer of a battery; transmitting the initialization pulse to the signal demultiplexer; generating, with the electronic processor, a data word indicating a desired operating mode; transmitting the data word to the signal demultiplexer; generating, with the signal demultiplexer, a signal to electrically connect a first battery switch to the first electrical contact, the first battery switch selected based on the data word; receiving, with an analog to digital converter of the electrical device, a signal indicating the operating mode voltage; and verifying, with the electronic processor, a correct operating mode based on the operating mode voltage.

Abstract: Disclosed is a system for providing an inference associated with delays in processing input data packet(s) by a Design Under Verification (DUV)/System Under Verification (SUV) characterized by maintaining timing information of the input data packet(s) is disclosed. To provide an inference, initially, an input data packet is processed by a DUV or SUV. Simultaneously, an expected data packet corresponding to the input data packet is predicted and a Unique Identifier is assigned to the expected data packet corresponding to the input data packet that entered into the DUV/SUV. After assigning the Unique Identifier, the plurality of data fields pertaining to the Unique Identifier are populated in an array of Packet Timing Entries based on a Delay Identifier (ID) and a Delay Mode. The plurality of data fields may then be used for reporting various delay statistics and operational behaviour of DUV/SUV.

Abstract: A method may designing electronic circuits is provided. The method may include generating a first user interface for displaying, at a client, a plurality of graphical elements for creating a state diagram. A scaffold may be added to the state diagram in response to the scaffold being selected from the plurality of graphical elements. A first state bubble may be attached to the scaffold in response to the first state bubble being selected from the plurality of graphical elements. A dimension of the scaffold and/or a position of the first state bubble on the scaffold may be adjusted in response to a second state bubble being added and/or removed from the state diagram. A second user interface may be generated for displaying, at the client, the state diagram. Related systems and articles of manufacture, including computer program products, are also provided.

Abstract: A wireless power system may have a wireless power transmitting device and wireless power receiving devices. The wireless power transmitting device has wireless power transmitting circuitry with coils to transmit wireless power to wireless power receiving devices. The wireless power receiving devices are placed on the wireless power transmitting device in an order. Batteries in the wireless power receiving devices are charged based at least partly on the order. Power allocation is based on utilization factor information such as information on a power draw associated with each of the power receiving devices. Measurement circuitry in the wireless power transmitting device is used to gather impedance images from the coils. Changes in the impedance images are used to temporarily halt power transmission. Power transmission is resumed depending on whether in-band communications are lost or are maintained.

Abstract: Non-standard sector size system support for SSD testing. An automated test equipment for simultaneous testing of multiple solid state drives (SSDs), wherein the SSD has a sector size that is not an integral power of two, includes a tester block configured to receive a command to read and verify an amount of data from the SSD starting at a starting address. The starting address is not constrained to correspond to a sector boundary and the amount of data is not constrained to be an integral multiple of the SSD data sector size. The test equipment also includes logic within said tester block configured to determine a starting sector of the SSD that the starting address points to, and logic within said tester block configured to determine a number of sectors required for the amount of data to be read. The tester block is configured to read a sector from the SSD.

Abstract: The present disclosure relates to charging a battery included in a robot. Standard deterioration cost information may be determined and stored based on an ambient temperature, a current rate, and a depth of discharge. This may include determining one standard deterioration cost information from among the stored standard deterioration cost information based on an ambient temperature of the robot and a current rate during an operation of the robot, and determining at least one depth of discharge at which the standard deterioration cost is equal to or less than a predetermined threshold based on the determined one standard deterioration cost information. The operation may be performed by repeating a process of charging and discharging the battery by a charge and discharge method based on the at least one depth of discharge.

Abstract: A charging pad for charging one or more receiver devices is disclosed. The charging pad includes a power drive unit configured to generate a first AC voltage signal having a first frequency and a second AC voltage signal having a second frequency. Further, the charging pad includes a transmitting unit including a single power exchange coil coupled to the power drive unit, wherein the single power exchange coil includes a first coil segment configured to transmit the first AC voltage signal having the first frequency when the first AC voltage signal is received from the power drive unit. Also, the single power exchange coil includes a second coil segment configured to transmit the second AC voltage signal having the second frequency when the second AC voltage signal is received from the power drive unit.

Abstract: Embodiments of the disclosure provide a battery management system (BMS) including: a first controller monitoring a first battery cell array having at least one battery cell and configured to measure an operating parameter of the first battery cell array; and a second controller monitoring a second battery cell array having at least one battery cell and configured to measure an operating parameter of the second battery cell array, and communicatively coupled to the first controller. The first controller is selectable between: an active mode for receiving the measured operating parameter of the second battery cell array from the second controller, and detecting a fault in the first or the second battery cell array based upon the measured operating parameters thereof, and a passive mode for measuring the operating parameter of the first battery cell array, and transmitting the measured operating parameter to the second controller.

Abstract: A method for designing a system on a target device includes identifying a length for a carry chain that is supported by predefined quanta of a resource on the target device. A plurality of logical adders is mapped onto a single logical adder implemented on the carry chain subject to the identified length to increase logic utilization in a design for the system.