Abstract: Disclosed are techniques for implementing parallel fills for electronic designs These techniques identify a shape and one or more neighboring shapes of the shape by searching design data of a region of a layout of an electronic design, classify the shape and the one or more neighboring shapes by examining respective characteristics of and to categorize the shape and the one or more neighboring shapes into one or more classes, implement one or more parallel fill shapes for at least one shape of the shape and the one or more neighboring shapes by aggregating the one or more parallel fill shapes to the at least one shape based in part or in whole upon the one or more classes while automatically satisfying one or more design rules, and perform one or more post-layout operations on the layout including the one or more parallel fill shapes.

Abstract: A method of performing logic synthesis of at least a part of an integrated circuit design. The method comprises identifying a first and at least one further module within the IC design that are mutually exclusive, selecting at least one register element within the first identified module and at least one register element within the at least one further identified module to be shared, and merging the first and at least one further mutually exclusive modules such that at least one common register element is shared between the first and at least one further mutually exclusive modules for the register elements selected to be shared.

Abstract: A system comprises a processor-implemented tool configured to generate a layout of an integrated circuit (IC) die. At least one non-transitory machine readable storage medium includes a first portion encoded with a first gate-level description of first and second circuit patterns to be formed on first and second integrated circuit (IC) dies, respectively, and a second portion encoded with a second gate level description of the first and second circuit patterns received from the processor implemented tool. The second gate level description includes power and ground ports, and the first gate level description does not include power and ground ports. A processor-implemented first verification module is provided for comparing the first and second gate level descriptions and outputting a verified second gate-level description of the first and second circuit patterns.

Abstract: An electronic apparatus includes a power receiving means for wirelessly receiving power, a detection means for detecting whether the electronic apparatus is in a predetermined state, a load means supplied with power from the power receiving means, and a control means that performs control so a second power is supplied from the power receiving means to the load means if the detection means detects that the electronic apparatus is in the predetermined state and a first power is supplied from the power receiving means to the load means, wherein the second power is lower than the first power, and the control means further performs control so the first power is supplied from the power receiving means to the load means if the detection means detects the electronic apparatus is in a state different from the predetermined state and the supplied power is reduced to a predetermined power value or less.

Abstract: The storage battery system includes a storage battery comprising a plurality of battery modules; a plurality of voltage monitoring circuits for monitoring a voltage of the battery module; and a control device that controls charging and discharging of the storage battery on the basis of monitoring information that is obtained by carrying out communication with the voltage monitoring circuits, wherein the control device comprises a determination unit that calculates an estimated output voltage of the storage battery by using the monitoring information that is obtained from any one of the voltage monitoring circuits before occurrence of a communication failure in a case where the communication failure with any one of the voltage monitoring circuits occurs, and compares the estimated output voltage and an output voltage of the storage battery after occurrence of the communication failure to determine an abnormal site of the communication failure.

Abstract: The present invention provides a SOI MOS device modeling method. The SOI MOS device is one having a source-drain injection not reaching the bottom. The method comprises: a) establishing an overall model comprising a primary MOS device model simulating an SOI MOS device having the source-drain injection reaching the bottom, a source body PN junction bottom capacitance model simulating a source body PN junction bottom capacitance, and a drain body PN junction bottom capacitance model simulating a drain body PN junction bottom capacitance; and b) extracting parameters respectively for the primary MOS device model, the source body PN junction bottom capacitance model, and the drain body PN junction bottom capacitance model in the overall model. In the prior art, the source body junction bottom capacitance and the drain body junction bottom capacitance in the SOI MOS device having a source-drain injection not reaching the bottom affect the performances of the device.

Abstract: Operation of an arbiter in a hardware design is verified. The arbiter receives a plurality of requests over a plurality of clock cycles, including a monitored request and outputs the requests in priority order. The requests received by and output from the arbiter in each clock cycle are identified. The priority of the watched request relative to other pending requests in the arbiter is then tracked using a counter that is updated based on the requests input to and output from the arbiter in each clock cycle and a mask identifying the relative priority of requests received by the arbiter in the same clock cycle. The operation of the arbiter is verified using an assertion which establishes a relationship between the counter and the clock cycle in which the watched request is output from the arbiter.

Abstract: Embodiments relate to pre-silicon device testing using a persistent command table. An aspect includes receiving a value for a persistent command parameter from a user. Another aspect includes determining whether the value of the persistent command parameter is greater than zero. Another aspect includes based on determining whether the value of the persistent command parameter is greater than zero, selecting a number of commands equal to the value of the persistent command parameter from a regular command table of a driver of a device under test. Another aspect includes adding the selected commands to the persistent command table of the driver. Another aspect includes performing testing of the device under test via the driver using only commands that are in the persistent command table of the driver.

Abstract: A battery characteristic converter comprises an interface to a battery and to an electronic device to be powered with energy supplied by the battery. The interface to the battery and the interface to the electronic device are connected using a bidirectional voltage ratio converter. The bidirectional voltage ratio converter is controlled so that the characteristics at the interface to the electronic device are adapted to the electronic device, independently of the battery characteristics. Energy may flow to the electronic device to power the electronic device or from the electronic device to the battery to charge the battery, depending on a comparison of the characteristics at the interfaces.

Abstract: A system and method is disclosed for functional verification of multi-die 3D ICs. The system and method include a reusable verification environment for testing each die in a stack of dies individually without having to simultaneously operate all of the dies in the stack. The system and method includes converting an input/output (“IO”) trace from a die verification test from a first format to a second format to improve performance.

Abstract: One method disclosed herein involves, among other things, generating a set of mandrel mask rules, block mask rules and a virtual, software-based non-mandrel-metal mask. The method also includes creating a set of virtual non-mandrel mask rules that is a replica of the mandrel mask rules, generating a set of metal routing design rules based upon the mandrel mask rules, the block mask rules and the virtual non-mandrel mask rules, generating the circuit routing layout based upon the metal routing design rules, decomposing the circuit routing layout into a mandrel mask pattern and a block mask pattern, generating a first set of mask data corresponding to the mandrel mask pattern, and generating a second set of mask data corresponding to the block mask pattern.

Abstract: A charging device for commonly charging multiple digital electronic devices has a housing, a charge control unit and multiple outlet strips. The charge control unit is mounted inside the housing and has multiple relays. The outlet strips are electrically connected to the charge control unit with each outlet strip electrically connected to one of the relays. A charging method corresponding to the charging device is performed by the charge control unit without the need of users' configuration during a charge cycle. The charge method automatically determines if the outlet strips can simultaneously supply power to charge during each charge schedule of the charge cycle. At least one outlet strip supplies power to charge during each charge schedule, and each outlet strip supplies power to charge once, thereby achieving optimization for the charging process with automatic determination and enhancing charging efficiency and users' operational convenience.

Abstract: A method for predicting a condition in a circuit under design includes obtaining a set comprising first static noise margin curve for the circuit and a second static noise margin curve for the circuit, wherein the second static noise margin curve is complementary to the first static noise margin curve, matching the set to a two-dimensional model of a cell, and predicting the condition in accordance with hardware characterization data corresponding to the cell.

Abstract: Aspects of the disclosure include an integrated circuit that includes a plurality of functional circuit cells and a plurality of inactive spare functional circuit cells. Ones of the functional circuit cells respectively includes a set of first electrically interconnected transistors that define a first logic component and a first power rail configured to carry a first supply voltage. Ones of the inactive spare functional circuit cells respectively includes a set of second electrically interconnected transistors configured to define a second logic component and a second power rail configured to carry the first supply voltage. The set of electrically interconnected transistors is interconnected through a second set of conductive lines formed in the first conductive layer. The set of second electrically interconnected transistors is electrically disconnected from the second power rail.

Abstract: An improved approach is provided to implement equivalency checking. A check is performed as to whether two designs are equivalent without needing to analyze their outputs on a cycle-by-cycle basis. Instead, the two designs are checked to see if they are equivalent on the transaction-level. This approach abstracts the timing delays between the two designs, which allows verification of data transportation and transformation between the designs.

Abstract: A semiconductor device includes a semiconductor chip, which includes a substrate, a multilayer interconnect layer formed over the substrate, a first cell column disposed along an edge of the substrate in a plan view, the first cell column having a first I/O cell and a first power supply cell, second cell column disposed along the first cell column in plan view, the second cell column having a second I/O cell, a first pad supplying a first supply voltage to the first power supply cell, a first voltage supply wire disposed over the first cell column, a second voltage supply wire disposed over the second cell column, and a first connection wire crossing the first voltage supply wire and the second voltage supply wire.

Abstract: A system for generating processor hardware supports a language for significant extensions to the processor instruction set, where the designer specifies only the semantics of the new instructions and the system generates other logic. The extension language provides for the addition of processor state, including register files, and instructions that operate on that state. The language also provides for new data types to be added to the compiler to represent the state added. It allows separate specification of reference semantics and instruction implementation, and uses this to automate design verification. In addition, the system generates formatted instruction set documentation from the language specification.

Abstract: Methods, computer systems, and servers are provided for navigating a vehicle automatically from a current location to a destination location with or without a human operator controlling primary navigation of the vehicle. One example method includes identifying a vehicle location and determining if the vehicle location is near a self-park location. The method accesses mapping data for the self-park location and receiving a request to initiate a self-park process for the vehicle. The method includes forwarding instructions to the vehicle to proceed with the self-park process. The self-park process acting to control the vehicle to automatically move from a current location to a destination location in the self-park location, and the current location and the destination location are updated dynamically as the current location of the vehicle changes and based on conditions of the destination location.

Abstract: A wireless charging device for use in providing electrical power to one or more portable electronic devices is provided. The wireless charging device includes a transmission coil coupled to an electrical power source. The transmission coil selectively transmits power from the electrical power source to at least one receiving coil in a first portable electronic device of the one or more portable electronic devices. The wireless charging device also includes a positioning system coupled to the transmission coil. The positioning system is configured to selectively rotate said transmission coil about a first axis and about a second axis.

Abstract: According to an embodiment, a pattern data generation method is provided. In the pattern data generation method, when a resist on a substrate is exposed using a mask, an optical image at a designated resist film thickness position is calculated using a mask pattern. Feature quantity related to a shape of a resist pattern at the resist film thickness position is extracted, based on the optical image. Also, whether the resist pattern is failed is determined, based on the feature quantity, and pattern data of a mask pattern determined as failed is corrected.