Abstract: Disclosed herein are a method, a system, and a computer-readable storage-medium embodiments of automatic elastic CPU for a physical verification job. An embodiment includes generating multiple commands for a physical verification job of a design. The multiple commands are related by a dependency graph. The embodiment further includes allocating an initial amount of computing resources to execute the multiple commands, queuing a subset of the multiple commands for execution based on the dependency graph, adding an estimated amount of computing resources to the initial amount based on the number of the queued subset of commands and an estimated time to complete the queued subset of commands, and releasing a portion of the estimated amount of computing resources in response to the portion of the estimated amount of computing resources being idle for an amount of time greater than a target time.

Abstract: Systems and methods for designing a robotic system architecture are disclosed. The methods include generating a model that defines one or more requirements for a robotic device for a mapping between a software graph and a hardware graph. The model is used for allocating a plurality of computational tasks in a computational path included in the software graph to a plurality of hardware components of the robotic device to yield a robotic system architecture. The methods also include using the robotic system architecture to configure the robotic device to be capable of performing functions corresponding to the software graph, where the robotic system architecture is optimized to meet one or more latency requirements.

Abstract: A method for modelling timing behavior using augmented sensitivity data for physical parameters is disclosed. The method includes acquiring timing library data and sensitivity data for a physical parameter associated with a circuit design, generating a timing behavior model for the circuit design based on the timing library data and sensitivity data for the physical parameter, and storing the timing behavior model. The timing behavior model reduces a difference between a current known best measurement associated with the circuit design and a static timing analysis timing for the circuit design.

Abstract: A method for managing a battery to perform a final action, the method includes determining a battery supplying power to an electronic device is discharging and receiving battery specification information for the battery. The method includes receiving environmental condition information for the battery and determining an open circuit voltage for the battery. The method includes determining a base capacity for the battery, a first capacity reduction for the battery based on the battery specification, and a second capacity reduction for the battery based on the environmental condition information. The method includes determining an overall expected capacity for the battery based on the first capacity reduction and the second capacity reduction, where the overall expected capacity represents available energy. Responsive to determining the available energy for the battery is less than a required energy to perform an action prior to battery depletion, the method includes sending a warning notification.

Abstract: A method, an apparatus, and a system for checking a schematic circuit diagram are provided. The method includes: determining a netlist file and a bill of material (BOM) list of the schematic circuit diagram, where the schematic circuit diagram is drawn by an electronic design automation (EDA) tool; and determining whether parts in the schematic circuit diagram are in a preset part list and determining whether connection relationships among the parts meet preset connection relationships, according to the netlist file and the BOM list, to obtain a check result, where the preset part list includes standard part information of multiple parts.

Abstract: Methods and apparatuses for designing quantum circuits include generating a Pauli graph from Pauli strings in a qubit Hamiltonian. Nodes are merged in the Pauli graph, responsive to a determination that some Pauli strings are observables that are jointly measurable by entangled measurement. A quantum circuit based is generated on a merged Pauli graph that results from merging the nodes.

Abstract: A wireless power reception apparatus includes a coil, a first rectifying unit, a second rectifying unit, and a charging unit. The coil includes a first end, a second end, and a tap. The coil defined by the first end and the second end is configured to provide a first voltage. The coil defined by the first end and the tap provides a second voltage. The first rectifying unit is coupled with the first end and the second end of the coil, and has a working voltage which matches a first voltage to adapt to a first wireless charging mode. The second rectifying unit is coupled with the first end and the tap of the coil, and has a working voltage which matches a second voltage to adapt to a second wireless charging mode. The charging unit is configured to select the first or second rectifying unit to charge the battery.

Abstract: In a battery system, a battery module includes a plurality of cells. A management unit manages charging-discharging of the battery module and a temperature inside the battery module. The management unit estimates a maximum temperature of an inside of a cell in the battery module based on a measured temperature in the battery module, and controls, during charging-discharging of the battery module, a charging-discharging current of the battery module and/or cooling of the battery module in such a way that the estimated maximum temperature does not exceed an upper limit temperature.

Abstract: Methods, systems and computer readable media are provided. One example method includes establishing a connection with a vehicle over a wireless network, and associating the vehicle to a user account of an online service, wherein a vehicle type for the vehicle is identified in the user account. The method further includes receiving vehicle data for vehicle status information. The vehicle status information is for one or more vehicle systems of the vehicle. The method includes accessing one or more databases that include diagnostics data for the vehicle type and crowd sourced data for the vehicle type. The method includes processing the vehicle data that is received against the diagnostics data and the crowed sourced data. The processing is configured to select an alert from among a plurality of possible alerts. The crowd sourced data is configured to influence a confidence level for selecting the alert. The method includes sending a notification of the alert to the user account.

Abstract: A charging control apparatus measures a first temperature of a first secondary battery selected from the plurality of secondary batteries, a second temperature of a coolant flowing into the cooling device, a charging current of the secondary battery pack, a first terminal voltage of the first secondary battery and a second terminal voltage of a second secondary battery closest to the cooling device, estimates a temperature of a temperature estimation point of the second secondary battery from a lumped thermal model having a thermal resistance between two points selected from the temperature estimation point of the second secondary battery, the first temperature measurement point and the second temperature measurement point, and measurement data about temperature, current and voltage, and determines the estimated temperature as a minimum temperature of the secondary battery pack, and varies a charging power provided to the secondary battery pack according to the minimum temperature.

Abstract: Modular storage systems include load sensors disposed beneath or in association with platforms. The load sensors are pulse-sampled for signals corresponding to loads at time intervals, rather than continuously, in order to conserve electrical power. An item associated with a transaction is identified based on a change in the loads, as determined from the pulse-sampled signals. The platforms are aligned at horizontal or non-horizontal angles, and photovoltaic power sources with banks of photovoltaic cells are mounted to front edges of the platforms. When a user reaches over one of the photovoltaic cells to access an item on a platform, a level of power or voltage generated by the photovoltaic cell is diminished. The item closest to the photovoltaic cell having the diminished power or voltage, or a customer that accessed the item, may be identified accordingly.

Abstract: A method includes: training a machine learning model with a plurality of electronic circuit placement layouts; predicting, by the machine learning model, fix rates of design rule check (DRC) violations of a new electronic circuit placement layout; identifying hard-to-fix (HTF) DRC violations among the DRC violations based on the fix rates of the DRC violations of the new electronic circuit placement layout; and fixing, by an engineering change order (ECO) tool, the DRC violations.

Abstract: Certain aspects of the present disclosure provide techniques for testing integrated circuit designs based on test cases selected using machine learning models. An example method generally includes receiving a plurality of test cases for an integrated circuit. An embedding data set is generated from the plurality of test cases. A respective embedding for a respective test case of the plurality of test cases generally includes a mapping of the respective test case into a multidimensional space. A plurality of test case clusters is generated based on a clustering model and the embedding data set. A plurality of critical test cases for testing the integrated circuit is selected based on the plurality of test case clusters. The integrated circuit is timed based on the plurality of critical test cases and a hard macro defining the integrated circuit.

Abstract: A chip module, including a radio frequency integrated circuit (RFIC) chip and a package, and a method and system for designing the module. Chip and package design are performed so the RF front end (FE) is split between chip and package. The chip includes an amplifier with a first differential port and the package includes a passive device and matching network with a second differential port connected to the first differential port. The second differential port is power matched to the first differential port using complex power matching based on port voltage reflection coefficients in order to achieve improved performance (i.e., a peak power transfer across a bandwidth as opposed to at only one frequency). The power matching process can result in a chip power requirement reduction that allows for device size scaling. Thus, designing the chip and designing the package is iteratively repeated in a chip-package co-optimization process.

Abstract: The present disclosure provides a processing device including: a coarse-grained pruning unit configured to perform coarse-grained pruning on a weight of a neural network to obtain a pruned weight, an operation unit configured to train the neural network according to the pruned weight. The coarse-grained pruning unit is specifically configured to select M weights from the weights of the neural network through a sliding window, and when the M weights meet a preset condition, all or part of the M weights may be set to 0. The processing device can reduce the memory access while reducing the amount of computation, thereby obtaining an acceleration ratio and reducing energy consumption.

Abstract: A simulation method and system of verifying an operation of a semiconductor memory device of a memory module at a design level. The simulation method includes setting a configuration and an arrangement of a registered clock driver (RCD) and a configuration and an arrangement of first semiconductor memory devices to fourth semiconductor memory devices, on a printed circuit board (PCB) through a graphic user interface (GUI). When a RCD test execution command is applied through the GUI, executing a test program to apply control signals to control signal terminals of the PCB based on a command truth table, to compare the applied control signals and control signals output through first driver output terminals of the RCD, and to create an RCD test result. When the RCD operates normally, performing a test on the memory module.

Abstract: A method for determining electromagnetic fields associated with a mask model of a patterning process. The method includes obtaining a mask stack region of interest and an interaction order corresponding to the mask stack region of interest. The mask stack region of interest is divided into sub regions. The mask stack region of interest has one or more characteristics associated with propagation of electromagnetic waves through the mask stack region of interest. The method includes generating one or more electromagnetic field determination expressions based on the Maxwell Equations and the Quantum Schrodinger Equation. The method includes determining an electromagnetic field associated with the mask stack region of interest based on the sub regions of the mask stack region of interest and the characteristics associated with the propagation of electromagnetic waves through the mask stack region of interest, using the one or more electromagnetic field determination expressions.

Abstract: Various implementations described herein refer to an integrated circuit having multiple stages including a first stage, a second stage, and a third stage. The first stage has first logic structures coupled in series, and the first logic structures are activated with multiple signals. The second stage has second logic structures coupled in parallel, and the second logic structures are activated with the multiple signals. The third stage has a first input, a second input, and an output. The first input is coupled to the first stage, the second input is coupled to the second stage, and the output provides an output signal based on the multiple signals.

Abstract: The present invention relates to an autonomous wireless charging system, and more specifically, to a tray-type case and a high-precision autonomous wireless charging system based on power loss tracking, whereby, in terms of performance, the center position of a power receiving coil of a wireless device having a battery mounted therein, the wireless device being placed on top of a charger pad, is precisely tracked through a controller in the system by periodically tracking a difference in the increase/decrease of a power loss value generated in the process of foreign object detection of a power transmitter, and even when the position of the wireless device shifts, a power transmitting coil mounted in a moving device unit is accurately repositioned to the changed position through threshold value identification or, when necessary, by the selective use of a sensor matrix, thereby enabling the centers of the power transmitting coil and the power receiving coil to always coincide, and thus a maximum level of wirele

Abstract: A system and method for adjusting the shapes of polygons in a design. In some embodiments, the method includes inverting a first layer of the design, the first layer comprising one or more polygons, the inverting of the first layer forming a region complementary to the union of the polygons of the first layer, and including one or more inverse polygons. The method may further include performing a rounding operation on a first corner of a first inverse polygon of the one or more inverse polygons, to form a modified polygon.