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: An apparatus and method predict an initial deformation temperature of coal without an additional test by using a predictive model. The apparatus includes a parameter extractor configured to analyze characteristics of test coal and to extract parameters of the test coal based on the test coal characteristic analysis; a temperature analyzer configured to analyze an initial deformation temperature (IDT) of the test coal; a modeler configured to derive an IDT predictive model for predicting the test coal IDT using the extracted parameters of the test coal and the test coal IDT; and a predictor configured to predict an initial deformation temperature (IDT) of target coal to be supplied to the coal-fired power plant by substituting parameters of the target coal into the IDT predictive model. The test coal characteristics are analyzed by ash component analysis, elementary analysis, industrial analysis, or calorific value analysis.

Abstract: Embodiments of the present disclosure provide techniques and configurations for controlled power level adjustment of a wireless charging apparatus. In one instance, the apparatus may comprise a charging module to radiate an electromagnetic field to wirelessly charge an electronic device in proximity to the wireless charging apparatus; and a control module communicatively coupled with the charging module to adjust a power level of the electromagnetic field, radiated by the charging module, in response to a determination of an environmental condition in relation to the wireless charging apparatus. The control module may be configured to receive information indicative of the environmental condition from multiple sources distributed between the apparatus and the electronic device, and make the determination based at least in part on the received information. The environmental condition may comprise a presence of human tissue in proximity to the wireless charging apparatus.

Abstract: Techniques are described for systematically and efficiently converting or otherwise accelerating latent defects in semiconductor devices into gross defects by applying appropriate defect acceleration stimulus to the semiconductor devices. Techniques are also described for evaluating test patterns to determine their effectiveness in accelerating the transition of latent defects to gross defects. This evaluation effectively allows various stress patterns to be graded or ranked, so that an optimal or high-confidence one can be selected. Such grading of possible stress patterns increases the probability that a given latent defect will escalate or otherwise manifest.

Abstract: An integrated circuit includes a first type-one transistor, a second type-one transistor, a first type-two transistor, a second type-two transistor, a third type-one transistor, a fourth type-one transistor, and a fifth type-one transistor. The first type-one transistor has a gate configured to have a first supply voltage of a first power supply. The first type-two transistor has a gate configured to have a second supply voltage of the first power supply. The first active-region of the third type-one transistor is connected with an active-region of the first type-one transistor. The second active-region and the gate of the third type-one transistor are connected together. The first active-region of the fifth type-one transistor is connected with the gate of the third type-one transistor. The second active-region of the fifth type-one transistor is configured to have a first supply voltage of a second power supply.

Abstract: An electrical circuit and a method for using the electrical circuit are disclosed. In an embodiment an electrical circuit includes an energy transducer, an energy storage system, a first terminal and a second terminal, wherein the energy transducer is electrically coupled with the first and second terminals, wherein the energy storage system is electrically coupled with the first and second terminals, wherein the energy transducer is configured to charge the energy storage system at discrete time intervals, wherein the energy storage system is configured to provide energy continuously, wherein the energy transducer includes a solar cell, and wherein the energy storage system includes a solid-state storage battery.

Abstract: Subject matter disclosed herein relates to an integrated circuit device having a socket interconnect region for connecting a plurality of conductive lines at a first vertical level to interconnect structures formed at a second vertical level different from the first vertical level. The conductive lines include a plurality of contacted lines that are vertically connected to the interconnect structures at the socket interconnect region, a plurality of terminating lines terminating at the socket interconnect region, and a plurality of pass-through lines that pass through the socket interconnect region without being vertically connected and without being terminated at the socket interconnect region.

Abstract: A method for assertion-based formal verification includes executing a plurality of formal verification regression runs on a model of an electronic design; for each of the regression runs, using a unique signature function, calculating and saving a unique signature value for each instantiation of a property of a plurality of properties of the model of the electronic design and a status result for that instantiation of the property in that regression run; and signing off a current version of the model of the electronic device and presenting as a status result for each the instantiations of a plurality of the properties of the current version of the model of the electronic design the preferred status result obtained for that instantiation of the property per the same unique signature value that was calculated for that instantiation of the property in previous runs of the plurality of formal verification regression runs.

Abstract: A method of operating a buck converter is disclosed. The buck converter includes a first capacitor, a second capacitor, and an inductor between a node and an output of the buck converter. The method includes, during a first portion of a cycle, coupling the first capacitor and the second capacitor in series between an input of the buck converter and a ground, wherein the first capacitor is coupled between the input of the buck converter and the node, and the second capacitor is coupled between the node and the ground. The method also includes, during a second portion of the cycle, coupling the second capacitor and the first capacitor in series between the input of the buck converter and the ground, wherein the second capacitor is coupled between the input of the buck converter and the node, and the first capacitor is coupled between the node and the ground.

Abstract: Embodiments include herein are directed towards a method for static timing analysis. Embodiments included herein may include providing, using at least one processor, a database of predefined script tags and causing a display of a script at a graphical user interface. Embodiments may also include receiving an insertion of at least one tag from the database within the script and generating one or more timing reports based upon, at least in part, the script and the at least one tag.

Abstract: A secondary battery system and a secondary battery control method, wherein the system and the method include a plurality of unit cells connected in series, and a recovery charging controller that performs recovery charging of charging the plurality of unit cells while generating a micro short-circuit in at least one of the plurality of unit cells by charging the plurality of unit cells at a predetermined recovery charging current value which is higher than a upper limit current value during normal charging, wherein the unit cells are all-solid-state lithium secondary battery unit cells.

Abstract: A battery system includes high-voltage switches, including a multi-pole contactor. Multiple packs are connectable in a series or parallel configuration via the switches. The contactor includes first and second pairs of electrical terminals separated by a respective circuit gap, with respective contactor arms simultaneously closing or opening the gaps. At all times, internal switches formed by the gaps and arms have the same ON/OFF state corresponding to the circuit gaps both being closed or both being open. Two of the contactors may be used to connect the battery packs to a DC fast-charging station, and to connect electrode terminals of the battery packs to a bus rail, respectively. An electric powertrain includes the battery system and an electrical load, including a rotary electric machine, that is connected to a power inverter and to a mechanical load.

Abstract: Various examples of integrated circuit layouts with line-end extensions are disclosed herein. In an example, a method includes receiving an integrated circuit layout that contains: a first and second set of shapes extending in parallel in a first direction, wherein a pitch of the first set of shapes is different from a pitch of the second set of shapes. A cross-member shape is inserted into the integrated circuit layout that extends in a second direction perpendicular to the first direction, and a set of line-end extensions is inserted into the integrated circuit layout that extend from each shape of the first set of shapes and the second set of shapes to the cross-member shape. The integrated circuit layout containing the first set of shapes, the second set of shapes, the cross-member shape, and the set of line-end extensions is provided for fabricating an integrated circuit.

Abstract: In some embodiments, logic stored on a computer-readable medium, in response to execution, causes a computing system to conduct an inverse design process to generate a plurality of segmented designs corresponding to a plurality of device specifications, determine at least one highly impactful design area based on the plurality of segmented designs; and designate the at least one highly impactful design area as a static design area. In some embodiments, a product line comprising a plurality of physical devices is provided. Each physical device of the plurality of physical devices includes a design region that includes a static design area and a customized design area. The static design area for each physical device is the same for each physical device of the plurality of physical devices, and the customized design area for each physical device is different for each physical device of the plurality of physical devices.

Abstract: A machine learning model predicts the hardness of unsolved properties. For example, the machine learning model may predict the relative hardness of pairs of properties—i.e., which property in the pair is harder to solve. These hardness predictions may then be used to formulate a priority order for a formal verification process to attempt to solve the unsolved properties. As the formal verification process progresses, it generates results. For example, certain properties may be solved. These results are used to update a training set, which is used to further train the machine learning model. The machine learning model is trained at runtime with incremental fine-tuning as the formal verification process progresses.

Abstract: A vehicle charging system includes a vehicle propelled by an electric machine powered by a chargeable energy storage system. The charging system also includes a controller programmed to predict at least one upcoming plug-in event based on historical charging data, and define a plug-in routine based on a plurality of upcoming plug-in events. The controller is also programmed to set a charging schedule to coincide with the plug-in routine such that a target state of charge (SOC) is achieved at a conclusion of each of the plurality of upcoming plug-in events. Each target SOC corresponding to a plug-in event is based on minimizing a charging energy cost of the plug-in routine and an expected energy depletion ahead of a next subsequent plug-in event.

Abstract: A system includes a remote control device that is useable by an operator interacting with a materials handling vehicle. The remote control device includes a wireless communication system including a wireless transmitter and a rechargeable power source. The system further comprises: a receiver at the vehicle for receiving transmissions from the wireless transmitter; a controller at the vehicle that is communicably coupled to the receiver, the controller being responsive to receipt of transmissions from the remote control device; and a charging station at the vehicle, the charging station for charging the rechargeable power source of the remote control device.

Abstract: Method for balancing states of charge of an electrical energy store with a plurality of battery cells.

Abstract: An electronic device is provided that enables a secondary battery to be used until the end of an assumed battery life by appropriately setting charging conditions in accordance with an environment in which the secondary battery has been used. An electronic device is provided that includes: a measurement unit that measures an operation environment of a secondary battery; and a controller that reduces a charging voltage of the secondary battery by a predetermined amount, when the operation environment satisfies a predetermined condition.

Abstract: Systems and devices related to a transportation device sharing system including vehicles with integrated docking ports are disclosed. In one embodiment, a vehicle includes a docking system for a transportation device, including a docking port, adapted to receive the transportation device and secure the transportation device, a communication device to wirelessly transmit and receive data, one or more processors, and a memory communicably coupled to the one or more processors and storing a status module including instructions that when executed by the one or more processors cause the one or more processors to determine whether the transportation device is present in the docking port and cause the communication device to transmit location data indicating a location of the vehicle, and status data, indicating at least the presence or absence of the transportation device in the docking port, to an external receiver.