Abstract: The present invention relates to a method for bug localisation in an RTL description, the RTL description corresponding to a design. The method comprises the steps of identifying a failing property; obtaining a counterexample corresponding to the failing property; obtaining a plurality of supportive counterexamples, by iteratively modifying the failing property with signal-value combinations selected from the counterexample; mining assertions based on the plurality of supportive counterexamples; filtering and ranking the mined assertions for removing redundant assertions, and obtaining a filtered set of assertions; identifying and mapping a set of one or more RTL lines corresponding to each filtered assertion of the filtered set of assertions; identifying and mapping individual RTL lines corresponding to each of the filtered assertion of the filtered set of assertions; and prioritising each of the mapped RTL line, thereby localising a buggy RTL line.

Abstract: The subject matter discloses examples of a print interface manager. The print interface manager comprises a print area selection engine to receive a user instruction for printing print data on 5 a user defined print area of a print media. In response to the user instruction for printing print data, the print interface manager obtains a print area input defining the print area, wherein the print area input indicates a matrix block corresponding to user defined print area of the print media. The print 10 interface manager further provides the print area input to a print unit to print the print data in the user defined print area of the print media.

Abstract: The subject matter discloses examples of a print interface manager. The print interface manager comprises a print area selection engine to receive a user instruction for printing print data on 5 a user defined print area of a print media. In response to the user instruction for printing print data, the print interface manager obtains a print area input defining the print area, wherein the print area input indicates a matrix block corresponding to user defined print area of the print media. The print 10 interface manager further provides the print area input to a print unit to print the print data in the user defined print area of the print media.

Abstract: Liquid-free lithium-air cells are provided which incorporate a solid electrolyte having enhanced ionic transport and catalytic activity. The solid electrolyte is positioned between a lithium anode and an oxygen cathode, and comprises a glass-ceramic and/or a polymer-ceramic electrolyte including a dielectric additive.

Abstract: A lithium-air cell is provided which incorporates a cathode comprised of a lithium aluminum germanium phosphate (LAGP) glass-ceramic material for facilitating an oxygen reduction reaction. The lithium-air cell further includes a lithium anode and a solid electrolyte which may be in the form of a membrane comprising LAGP glass-ceramic and/or polymer ceramic materials.

Abstract: A lithium-air cell is provided which incorporates a cathode comprised of a lithium aluminum germanium phosphate (LAGP) glass-ceramic material for facilitating an oxygen reduction reaction. The lithium-air cell further includes a lithium anode and a solid electrolyte which may be in the form of a membrane comprising LAGP glass-ceramic and/or polymer ceramic materials.

Abstract: A solid composite electrolyte membrane for use in a lithium battery is provided which exhibits a conductivity ranging from about 10?4 S cm?1 to about 10?3 S cm?1 at ambient temperature. The membrane is formed by providing a glass or glass-ceramic powder formed from a mixture of lithium carbonate, alumina, titanium dioxide, and ammonium dihydrogen phosphate. The powder is mixed with a conditioning agent and at least one solvent, followed by the addition of a binder and one or more plasticizers. The resulting slurry is cast into a tape which is then subjected to a binder burn-off and sintering process to form the membrane. The resulting membrane may be a glass-ceramic composite having a porosity ranging from 0 to 50%, or the membrane may be further infiltrated with a polymer to form a water-impermeable polymeric-ceramic composite membrane.

Abstract: Liquid-free lithium-air cells are provided which incorporate a solid electrolyte having enhanced ionic transport and catalytic activity. The solid electrolyte is positioned between a lithium anode and an oxygen cathode, and comprises a glass-ceramic and/or a polymer-ceramic electrolyte including a dielectric additive.

Abstract: A ceramic-ceramic nanocomposite electrolyte having enhanced conductivity is provided. The nancomposite electrolyte is formed from chemically stabilized zirconia such as yttria stabilized zirconia or scandia stabilized zirconia and a heterogeneous ceramic dopant material such as Al2O3, TiO2, MgO, BN, or Si3N4. The nanocomposite electrolyte is formed by doping the chemically stabilized zirconia with the ceramic dopant material and pressing and sintering the composite. The resulting electrolyte has a bulk conductivity of from about 0.10 to about 0.50 S/cm at about 600° C. to about 900° C. and may be incorporated into a solid oxide fuel cell.

Abstract: A solid composite electrolyte membrane for use in a lithium battery is provided which exhibits a conductivity ranging from about 10?4 S cm?1 to about 10?3 S cm?1 at ambient temperature. The membrane is formed by providing a glass or glass-ceramic powder formed from a mixture of lithium carbonate, alumina, titanium dioxide, and ammonium dihydrogen phosphate. The powder is mixed with a conditioning agent and at least one solvent, followed by the addition of a binder and one or more plasticizers. The resulting slurry is cast into a tape which is then subjected to a binder burn-off and sintering process to form the membrane. The resulting membrane may be a glass-ceramic composite having a porosity ranging from 0 to 50%, or the membrane may be further infiltrated with a polymer to form a water-impermeable polymeric-ceramic composite membrane.

Abstract: A colloidal electrolyte for an electrochemical device. The colloidal electrolyte includes a liquid electrolyte selected from liquid organic electrolytes, or liquid inorganic electrolytes free of sulfuric acid; and a ceramic particle phase dispersed in the liquid electrolyte, wherein the colloidal electrolyte has increased conductivity in the electrochemical device compared to the conductivity of the liquid electrolyte alone. The colloidal electrolytes will suppress flammability and flowability.

Abstract: A ceramic-ceramic nanocomposite electrolyte having enhanced conductivity is provided. The nancomposite electrolyte is formed from chemically stabilized zirconia such as yttria stabilized zirconia or scandia stabilized zirconia and a heterogeneous ceramic dopant material such as Al2O3, TiO2, MgO, BN, or Si3N4 The nanocomposite electrolyte is formed by doping the chemically stabilized zirconia with the ceramic dopant material and pressing and sintering the composite. The resulting electrolyte has a bulk conductivity of from about 0.10 to about 0.50 S/cm at about 600° C. to about 900° C. and may be incorporated into a solid oxide fuel cell.

Abstract: Methods for enhancing conductivity of polymer-ceramic composite electrolytes are provided which include forming a polymer-ceramic composite electrolyte film by a melt casting technique and uniaxially stretching the film from about 5 to 15% in length. The polymer-ceramic composite electrolyte is also preferably annealed after stretching such that it has a room temperature conductivity of from 10−4 S cm−1 to 10−3 S cm−1. The polymer-ceramic composite electrolyte formed by the methods of the present invention may be used in lithium rechargeable batteries.

Abstract: Resistors for use in electrical circuits are formed of an alloy comprising from about 50 to about 95 mol percent aluminum, from about 5 to about 50 mol percent titanium and up to about 15 mol percent of at least one additional metal or a combination of two or more additional metals.

Abstract: Solid composite electrolytes are provided for use in lithium batteries which exhibit moderate to high ionic conductivity at ambient temperatures and low activation energies. In one embodiment, a polymer-ceramic composite electrolyte containing poly(ethylene oxide), lithium tetrafluoroborate and titanium dioxide is provided in the form of an annealed film having a room temperature conductivity of from 10−5 S cm−1 to 10−3 S cm−1 and an activation energy of about 0.5 eV.

Abstract: Solid composite electrolytes are provided for use in lithium batteries which exhibit moderate to high ionic conductivity at ambient temperatures and low activation energies. In one embodiment, a ceramic-ceramic composite electrolyte is provided containing lithium nitride and lithium phosphate. The ceramic-ceramic composite is also preferably annealed and exhibits an activation energy of about 0.1 eV.

Abstract: A polymer-ceramic composite electrolyte is provided which may be formed into a thin film having a room temperature conductivity of from 10.sup.-5 S cm.sup.-1 to 10.sup.-3 S cm.sup.-1. In one embodiment, the composite electrolyte comprises from about 30 to 60% by weight poly(ethylene oxide), from about 10 to 20% by weight lithium tetrafluoroborate, and from about 25 to 60% by weight lithium nitride. The film is preferably produced by mixing and grinding the components, then placing the ground mixture in a die and compacting the mixture to form a disc which is then flattened. The resulting film is annealed to ensure high conductivity at room temperature.

Abstract: In units comprising solid polymer electrolytes, the ionic conductivity of such electrolytes is increased by mechanically exciting the units. Such units can be solid state batteries or electrochromic devices or the like. Mechanical excitation may be provided by, for example, a piezoelectric transducer.

Abstract: A spun or drawn glass fiber for use in the area of medical implants, and particularly as a reinforcement for bioabsorbable polymeric orthopaedic and dental implants. The glass fiber is bioabsorbable and has sufficient tensile strength and elasticity to be used as a reinforcement. It is made up of 5-50% calcium oxide (CaO), 50-95% phosphorous pentoxide (P.sub.2 O.sub.5), 0-5% calcium fluoride (CaF.sub.2), 0-5% water (H.sub.2 O), and 0-10% XO wherein X is either a single magnesium, zinc or strontium ion or two sodium, potassium, lithium, or aluminum ions and when X is aluminum the O represents three oxygen ions.

Abstract: The disclosure is of a segmented YAG laser rod having segments cemented together and its method of manufacture.