Abstract: Positive electrode active materials are described that have a high tap density and high specific discharge capacity upon cycling at room temperature and at a moderate discharge rate. Some materials of interest have the formula Li1+xNi?Mn?Co?O2, where x ranges from about 0.05 to about 0.25, ? ranges from about 0.1 to about 0.4, ? ranges from about 0.4 to about 0.65, and ? ranges from about 0.05 to about 0.3. The materials can be coated with a metal fluoride to improve the performance of the materials especially upon cycling. Also, the coated materials can exhibit a very significant decrease in the irreversible capacity lose upon the first charge and discharge of the battery.

Abstract: Supplemental lithium can be used to stabilize lithium ion batteries with lithium rich metal oxides as the positive electrode active material. Dramatic improvements in the specific capacity at long cycling have been obtained. The supplemental lithium can be provided with the negative electrode, or alternatively as a sacrificial material that is subsequently driven into the negative electrode active material. The supplemental lithium can be provided to the negative electrode active material prior to assembly of the battery using electrochemical deposition. The positive electrode active materials can comprise a layered-layered structure comprising manganese as well as nickel and/or cobalt.

Abstract: High specific capacity lithium rich lithium metal oxide materials are coated with inorganic compositions, such as metal fluorides, to improve the performance of the materials as a positive electrode active material. The resulting coated material can exhibit an increased specific capacity, and the material can also exhibit improved cycling. The materials can be formed while maintaining a desired relatively high average voltage such that the materials are suitable for the formation of commercial batteries. Suitable processes are described for the synthesis of the desired coated compositions that can be adapted for commercial production.

Abstract: Improved high energy capacity designs for lithium ion batteries are described that take advantage of the properties of high specific capacity anode active compositions and high specific capacity cathode active compositions. In particular, specific electrode designs provide for achieving very high energy densities. Furthermore, the complex behavior of the active materials is used advantageously in a radical electrode balancing design that significantly reduced wasted electrode capacity in either electrode when cycling under realistic conditions of moderate to high discharge rates and/or over a reduced depth of discharge.

Abstract: Disclosed aspects relate to verifying an integrated circuit design. A set of design constraints may be received with respect to a verification process for the integrated circuit design. Based on the set of design constraints, a constraint model may be constructed. A new global constraint may be determined using the constraint model. The new global constraint may be used to process the verification process for the integrated circuit design.

Abstract: High specific capacity lithium rich lithium metal oxide materials are coated with inorganic compositions, such as metal fluorides, to improve the performance of the materials as a positive electrode active material. The resulting coated material can exhibit an increased specific capacity, and the material can also exhibit improved cycling. The materials can be formed while maintaining a desired relatively high average voltage such that the materials are suitable for the formation of commercial batteries. Suitable processes are described for the synthesis of the desired coated compositions that can be adapted for commercial production.

Abstract: Improved high energy capacity designs for lithium ion batteries are described that take advantage of the properties of high specific capacity anode active compositions and high specific capacity cathode active compositions. In particular, specific electrode designs provide for achieving very high energy densities. Furthermore, the complex behavior of the active materials is used advantageously in a radical electrode balancing design that significantly reduced wasted electrode capacity in either electrode when cycling under realistic conditions of moderate to high discharge rates and/or over a reduced depth of discharge.

Abstract: Silicon oxide based materials, including composites with various electrical conductive compositions, are formulated into desirable anodes. The anodes can be effectively combined into lithium ion batteries with high capacity cathode materials. In some formulations, supplemental lithium can be used to stabilize cycling as well as to reduce effects of first cycle irreversible capacity loss. Batteries are described with surprisingly good cycling properties with good specific capacities with respect to both cathode active weights and anode active weights.

Abstract: Silicon oxide based materials, including composites with various electrical conductive compositions, are formulated into desirable anodes. The anodes can be effectively combined into lithium ion batteries with high capacity cathode materials. In some formulations, supplemental lithium can be used to stabilize cycling as well as to reduce effects of first cycle irreversible capacity loss. Batteries are described with surprisingly good cycling properties with good specific capacities with respect to both cathode active weights and anode active weights.

Abstract: Batteries with particularly high energy capacity and low internal impedance have been described herein. The batteries can exhibit extraordinary long cycling with acceptable low amounts of fade. Pouch batteries using high specific capacity lithium rich metal oxide as positive electrode material combined with graphitic carbon anode can reach an energy density of at least about 180 Wh/kg at a rate of C/3 from 4.35V to 2V at room temperature while having a room temperature areas specific DC resistance of no more than about 75 ohms-cm2 at 20% SOC based on a full charge to 4.35V. High specific capacity lithium rich metal oxide with specific stoichiometry ranges used in these batteries are disclosed.

Abstract: A tool for formally verifying forwarding paths in an information pipeline. The tool creates two logic design copies of the pipeline to be verified. The tool retrieves a first and a second instruction, which have previously been proven to compute a mathematically correct result when executed separately. The tool defines driver input functions for issuing instructions to the two logic design copies. In accordance with the driver input functions, the tool issues instructions to the two logic design copies. The tool abstracts data flow of the two logic design copies to isolate forwarding paths for verification. The tool adjusts for latency differences between the first and second logic design copies. The tool checks a register for results, and when results from of two logic design copies become available in the register, the tool verifies the results to conclusively prove the correctness of all states of the information pipeline.

Abstract: A tool for formally verifying forwarding paths in an information pipeline. The tool creates two logic design copies of the pipeline to be verified. The tool retrieves a first and a second instruction, which have previously been proven to compute a mathematically correct result when executed separately. The tool defines driver input functions for issuing instructions to the two logic design copies. In accordance with the driver input functions, the tool issues instructions to the two logic design copies. The tool abstracts data flow of the two logic design copies to isolate forwarding paths for verification. The tool adjusts for latency differences between the first and second logic design copies. The tool checks a register for results, and when results from of two logic design copies become available in the register, the tool verifies the results to conclusively prove the correctness of all states of the information pipeline.

Abstract: A composite coated form of lithium cobalt oxide is described that can achieve improved cycling at higher voltages. Liquid phase and combined liquid and solid phase coating processes are described to effectively form the composite coated powders. The improved cycling positive electrode materials can be effectively combined with either graphitic carbon negative electrode active materials or silicon based high capacity negative electrode active materials. Improved battery designs can achieve very high volumetric energy densities in practical battery formats and with reasonable cycling properties.

Abstract: High capacity silicon based anode active materials are described for lithium ion batteries. These materials are shown to be effective in combination with high capacity lithium rich cathode active materials. Supplemental lithium is shown to improve the cycling performance and reduce irreversible capacity loss for at least certain silicon based active materials. In particular silicon based active materials can be formed in composites with electrically conductive coatings, such as pyrolytic carbon coatings or metal coatings, and composites can also be formed with other electrically conductive carbon components, such as carbon nanofibers and carbon nanoparticles. Additional alloys with silicon are explored.

Abstract: High capacity silicon based anode active materials are described for lithium ion batteries. These materials are shown to be effective in combination with high capacity lithium rich cathode active materials. Supplemental lithium is shown to improve the cycling performance and reduce irreversible capacity loss for at least certain silicon based active materials. In particular silicon based active materials can be formed in composites with electrically conductive coatings, such as pyrolytic carbon coatings or metal coatings, and composites can also be formed with other electrically conductive carbon components, such as carbon nanofibers and carbon nanoparticles. Additional alloys with silicon are explored.

Abstract: Improved high energy capacity designs for lithium ion batteries are described that take advantage of the properties of high specific capacity anode active compositions and high specific capacity cathode active compositions. In particular, specific electrode designs provide for achieving very high energy densities. Furthermore, the complex behavior of the active materials is used advantageously in a radical electrode balancing design that significantly reduced wasted electrode capacity in either electrode when cycling under realistic conditions of moderate to high discharge rates and/or over a reduced depth of discharge.

Abstract: Supplemental lithium can be used to stabilize lithium ion batteries with lithium rich metal oxides as the positive electrode active material. Dramatic improvements in the specific capacity at long cycling have been obtained. The supplemental lithium can be provided with the negative electrode, or alternatively as a sacrificial material that is subsequently driven into the negative electrode active material. The supplemental lithium can be provided to the negative electrode active material prior to assembly of the battery using electrochemical deposition. The positive electrode active materials can comprise a layered-layered structure comprising manganese as well as nickel and/or cobalt.

Abstract: Light reactive deposition uses an intense light beam to form particles that are directly coated onto a substrate surface. In some embodiments, a coating apparatus comprising a noncircular reactant inlet, optical elements forming a light path, a first substrate, and a motor connected to the apparatus. The reactant inlet defines a reactant stream path. The light path intersects the reactant stream path at a reaction zone with a product stream path continuing from the reaction zone. The substrate intersects the product stream path. Also, operation of the motor moves the first substrate relative to the product stream. Various broad methods are described for using light driven chemical reactions to produce efficiently highly uniform coatings.

Abstract: A porous silicon based material comprising porous crystalline elemental silicon formed by reducing silicon dioxide with a reducing metal in a heating process followed by acid etching is used to construct negative electrode used in lithium ion batteries. Gradual temperature heating ramp(s) with optional temperature steps can be used to perform the heating process. The porous silicon formed has a high surface area from about 10 m2/g to about 200 m2/g and is substantially free of carbon. The negative electrode formed can have a discharge specific capacity of at least 1800 mAh/g at rate of C/3 discharged from 1.5V to 0.005V against lithium with in some embodiments loading levels ranging from about 1.4 mg/cm2 to about 3.5 mg/cm2. In some embodiments, the porous silicon can be coated with a carbon coating or blended with carbon nanofibers or other conductive carbon material.

Abstract: High performance battery packs are described especially for use in electric vehicles and plug-in hybrid electric vehicles. Based on high energy lithium ion battery designs, the battery packs can have pairs of parallel connected batteries to supply an energy capacity at full discharge of at least about 40 kilowatt-hours or in alternative embodiments a set of all series connected batteries that can produce at full discharge at least about 15 kilowatt-hours. In some embodiments, lithium rich positive electrode active materials can be used to form the batteries in which the material comprises a composition approximately represented by a formula xLi2M?O3. (1?x)LiMO2 with x from about 0.05 to about 0.8.