Abstract: A design tool can implement phase algebra based design evaluation to evaluate a circuit design with a compact representation of numerous waveforms without simulating the individual waveforms. The design tool can determine two or more input sequences of signal transition representations associated with an input net of an indicated component in an RTL circuit design, where the two or more input sequences of signal transition representations are associated with a mode element. Each signal transition representation represents a nondeterministic transition from a previous signal state to possible signal state(s). The mode element indicates a selection between two or more output sequences of signal transition representations. It is determined, based on the indicated component and the mode element, two or more output sequences of signal transition representations derived from the input sequence(s) of signal transition representations.

Abstract: Reducing the runtime overhead needed for testing of an integrated circuit design. A determination may be made of parameters that clock routing and data routing in an integrated circuit are dependent upon. A determination is made of whether the parameters are suitable for compaction, such as by determining whether the parameters are utilized in only one of clock routing or data routing. The parameters suitable for compaction are defined or redefined into at least one proxy compacted parameter. A timing analysis for the integrated circuit is performed using the proxy compacted parameter instead of performing the timing analysis using the parameters suitable for compaction.

Abstract: A method (600, 700, 800) for charging a battery (102) comprises obtaining, by charging circuitry (120), an open circuitry voltage of the battery prior to a charging session. The charging circuitry is in electrical communication with a power source (110) and the battery. The method also comprises initiating the charging session to charge the battery at a constant charge current-constant charge voltage with power provided from the power source and obtaining an ambient temperature (T) measured by a temperature sensor (160) in communication with the charging circuitry. The method also comprises obtaining a charge termination time (tt) based on the ambient temperature and terminating the charging session when the charge termination time is reached.

Abstract: A communication apparatus, comprises a power receiving unit configured to be capable of wirelessly receiving power from another apparatus, a charging unit configured to be capable of charging a secondary battery using the power received from the another apparatus, a wireless communication unit configured to be capable of performing wireless communication with the another apparatus, a rectification smoothing unit configured to rectify and smooth the power received from the another apparatus, and output the rectified and smoothed power, a suppressing unit configured to suppress a transient voltage fluctuation in an output voltage of the rectification smoothing unit, and a driving unit configured to drive the suppressing unit so that the output voltage of the rectification smoothing unit generated by the power received from the another apparatus does not exceed a first voltage.

Abstract: A magnetic mass for an electric machine rotor movable about an axis extends along the axis and comprises: first longitudinal through-holes able to receive a respective first tie rod and at a first distance with respect to the axis of rotation, in a radial direction substantially perpendicular to the axis of rotation; first tie rods, received in a respective first longitudinal hole. The magnetic mass also comprises: at least one second longitudinal through-hole able to receive a respective second tie rod and at a second distance with respect to the axis of rotation in a radial direction substantially perpendicular to the axis of rotation, the second distance being different from the first distance, and at least one second tie rod received in a respective second longitudinal hole.

Abstract: A method is provided for processing on an acceleration component a deep neural network. The method includes configuring the acceleration component to perform forward propagation and backpropagation stages of the deep neural network. The acceleration component includes an acceleration component die and a memory stack disposed in an integrated circuit package. The memory stack has a memory bandwidth greater than about 50 GB/sec and a power efficiency of greater than about 20 MB/sec/mW.

Abstract: An exemplary emulation computer may allocate a portion of its emulation memory for capturing probe data during a runtime of emulating a device under test (DUT). The emulation computer may instantiate a plurality of streaming probes from dynamic netlists provided by a user. The streaming probes may capture non-transitory internal signals within the DUT and transmit the captured non-transitory internal signals to the allocated portion of the emulation memory, which in turn may store the received signals as waveform data records. During the runtime of emulating the DUT, the emulation computer may receive an upload request for the waveform data records from a workstation computer. In response to the request, the emulation computer may transmit the waveform data records to the workstation computer. The emulation computer does not have to pause or stop the runtime of emulating the DUT while transmitting the data records to the workstation computer.

Abstract: An approach is provided in which an information handling system creates a printed circuit board (PCB) layout based upon a set of packaged components. The information handling system modifies the PCB layout based upon an adjustment of the set of packaged components and generates board design data based on the modified PCB layout. In turn, the information handling system simulates the PCB layout using the board design data.

Abstract: An electronic apparatus includes solar cells, an accumulation portion that accumulates power generated by the solar cells, an electronic apparatus main body portion that is operated by using power accumulated in the accumulation portion, and an operation control circuit that performs control so that, in a case where a voltage of the accumulation portion increases, an operation of the electronic apparatus main body portion is started if the voltage of the accumulation portion exceeds a first threshold voltage, and, in a case where a voltage of the accumulation portion decreases, an operation of the electronic apparatus main body portion is stopped if the voltage of the accumulation portion is less than a second threshold voltage which is smaller than the first threshold voltage.

Abstract: A plug-in connector part for connection to a mating plug-in connector part includes: a housing part; at least one electrical contact element, which is arranged on the housing part, for establishing electrical contact with the mating plug-in connector part; and a temperature-monitoring device including at least one sensor device for detecting a rise in temperature of the at least one contact element. The temperature-monitoring device includes a support element that extends over an entire surface thereof along a plane and includes at least one opening and one contact surface arranged at the at least one opening, the at least one contact element extending through the at least one opening such that the at least one contact element abuts the contact surface, and the at least one sensor device being arranged on the support element so as to detect a rise in temperature of the at least one contact element.

Abstract: An electronic device carried around by the user is desired to be used for a long period. In order to achieve this, a high-capacity battery may be incorporated. Since a high-capacity battery is large, its incorporation in an electronic device increases the weight of the electronic device. An electronic device used while being implanted in the body of the user, provided with an emergency power supply, is provided. In an electronic device provided with a plurality of batteries, a transmitting portion and a receiving portion conduct wireless charging among different batteries, and the battery to be charged or used is selected by a power supply management circuit depending on the circumstances.

Abstract: A method for reuse of extracted layout-dependent effects for circuit design using circuit stencils includes receiving a schematic of an integrated circuit including a circuit segment. A circuit stencil corresponding to the circuit segment is instantiated in a schematic of a second integrated circuit. The circuit stencil includes layout-dependent effects information for the circuit segment extracted from a layout of the first integrated circuit. Simulation is performed on the schematic of the second integrated circuit using the layout-dependent effects information for the circuit segment. A layout of at least a portion of the second integrated circuit corresponding to the circuit segment is generated responsive to performing the simulation.

Abstract: A modular energy storage system has: a battery module with a battery and internal circuitry; a control module with a power outlet, internal charge-and-discharge electrical components, and a power inlet for connection to a power source in use; the battery module defining a top seat that has an associated electrical connector; and the battery module being mounted to the control module below the control module by the top seat, whose respective associated electrical connector connects to the internal charge-and-discharge electrical components to permit the control module to: charge the battery module with power from the power source; and discharge the battery module by transferring power from the battery module to the power outlet.

Abstract: A method of designing a logic circuit with data-dependent delays is performed using an electronic design automation system. The logic circuit includes logic paths from logic inputs to at least one logic output. The method includes: obtaining an initial circuit design; specifying respective delays for multiple logic paths in the initial circuit design such that at least some of the outputs switch at different times within a clock cycle for different combinations of logic input levels; and forming a second circuit design having the specified respective delays along the respective logic paths by adding delay elements to the initial circuit design based on the specified respective delays.

Abstract: A design tool can implement phase algebra based design evaluation to evaluate a circuit design with a compact representation of numerous waveforms without simulating the individual waveforms. The design tool can determine an input sequence of signal transition representations associated with an input net of a component in RTL circuit design, where each signal transition representation represents a nondeterministic transition from a previous signal state to possible signal state(s). Determining the input sequence of signal transition representations includes determining that the input sequence of signal transition representations indicates an input gated clock waveform. The design tool also can determine, based on the indicated component and on the input gated clock waveform, an output sequence of signal transition representations derived from the input sequence of signal transition.

Abstract: A program embodied in a non-transitory computer readable medium includes instructions executable by a processor to perform a method of verifying a circuit design. The method includes the steps of performing an automated analysis of the circuit design by scanning an assertion description file and a signal list file of the circuit design, creating and displaying a scheme based on the assertion description file, wherein the scheme includes nodes and arcs, the nodes indicating output signals and the arcs indicating a transition relationship between nodes, and identifying in the scheme assertions that are missing from the assertion description, and recommending amendments to the assertion description to supply the missing assertions, the missing assertions, when added, being reflected in the display of the scheme.

Abstract: A method includes identifying the first path as a target path, wherein an operation speed of the target path is adjusted from the corner case; deriving and outputting first values from the lookup table by indexing the lookup table with a threshold voltage associated with the first path identified as the target path as the main threshold voltage and a threshold voltage associated with the second path as the slave threshold voltage; calculating a first extra time based on the first values and first cell delays associated with the first path.

Abstract: A vehicle charging includes a housing, a sensor system configured to detect if a vehicle is parked near the housing, and a notification system configured to communicate an alert if the vehicle is parked near the housing and charging has not been initiated within a threshold amount of time. The alert indicates improper usage of the vehicle charging station to an operator of the vehicle.

Abstract: A hand-held apparatus and a method for power charging management thereof are provided. The method for power charging management includes: providing a power charging voltage and a power charging current to perform a power charging process to the hand-held apparatus, and simultaneously detecting a surface temperature of the hand-held apparatus during the power charging process; activating a power charging management mechanism when the surface temperature is higher than a reference temperature, and simultaneously reducing a voltage value of the power charging voltage; and generating a comparing result by comparing the surface temperature with a plurality of threshold temperatures after the power charging management mechanism is activated, and adjusting a current value of the power charging current based on the comparing result. The reference temperature is lower than the plurality of threshold temperatures and values of the plurality of threshold temperatures are not the same.

Abstract: Implementing a kernel as circuitry in an integrated circuit can include determining, using a processor, memory access operations and work operations from kernel program code and generating, using the processor, a circuit design from the kernel program code. The circuit design implements a circuit architecture having a memory access circuit configured to perform the memory access operations and an execution circuit configured to perform the work operations concurrently with the memory access operations.