Tech Briefs

Method for Formal Verification of Polymorphic Heterogeneous Multicore Processors

John H. Glenn Research Center, Cleveland, Ohio Amethod was developed to model polymorphic heterogeneous multicore processors at a high level of abstraction, and formally verify them. The Bahurupi polymorphic heterogeneous multi-core architecture allows the combination of multiple simple processor cores — which can be superscalar — in order to form a coalition that behaves like a wider superscalar processor. This is done at runtime under software directives, allowing the architecture to adapt to the needs of executed applications with high instruction level parallelism. Such coalitions of cores were found to have comparable or better performance than that of a wide superscalar processor with issue width equal to the sum of the issue widths of the simple cores in the coalition, while avoiding the complexity, reliability issues, and high power consumption of wide superscalar cores. All of these are highly desirable advantages of future microprocessors that will be optimized for aerospace applications.

Posted in: Semiconductors & ICs, Briefs, TSP

Read More >>

SEE Mitigation Technique for Self-Timed Circuits and Rad-Hard, Self-Timed Configurable Memory

The new block RAM is faster and consumes less power than conventional block RAMs, while providing unparalleled levels of radiation resilience. Marshall Space Flight Center, Alabama To enable NASA’s next-generation missions, there is a critical need for a reconfigurable field programmable gate array (FPGA) that can withstand the wide temperature ranges and radiation of the space environment while consuming minimal power without compromising on performance. To address this need, GoofyFoot Labs developed the E2-AMP FPGA, a radiation-hardened, high-performance, low-power FPGA capable of operating reliably over wide temperature ranges and rapid thermal changes.

Posted in: Semiconductors & ICs, Briefs

Read More >>

Modeling for Partitioned and Multicore Flight Software Systems

NASA’s Jet Propulsion Laboratory, Pasadena, California The current flight software approach is monolithic in nature. Every module has tentacles that reach deep within dozens of other software modules. Because of these interdependencies between modules, functionality is difficult to extract and reuse for other missions.

Posted in: Semiconductors & ICs, Briefs, TSP

Read More >>

Process for Coating Substrates With Catalytic Materials

This process can remove volatile organic compounds from indoor air in planes, automobiles, homes, and industrial plants. Langley Research Center, Hampton, Virginia This invention relates to the process of coating substrates with one or more components to form a catalyst; specifically, the process of layering one or more catalytic components onto a honeycomb monolith to form a carbon monoxide oxidation that combines CO and O2 to form CO2, or alternatively, a volatile organic compound oxidation catalyst that combines the compound and O2 to form CO2 and H2O.

Posted in: Manufacturing & Prototyping, Briefs, TSP

Read More >>

Portable Friction Stir Welding Machine

The machine is capable of butt-welding aluminum 1,100 workpieces 1/8 in. (≈3 mm) thick. Marshall Space Flight Center, Alabama A preliminary design of a portable friction stir welding (FSW) machine for use in space has been developed. The in-space FSW machine takes the form of a handheld router tool that is historically used in woodworking applications. With the design of the in-space FSW machine, the FSW tool is directly connected to the motor shaft while the motor is mounted to a small frame that supports the tool. The frame has handlebars that allow the operator to grasp the welder and maneuver it along a desired weld path. The key enabler of the in-space FSW machine is an innovative FSW tool design. The FSW tool is a fixed shoulder-to-shoulder bobbin tool that self-aligns and adjusts to the workpiece. The self-aligning and adjusting FSW (SAA-FSW) tool floats freely in the vertical direction, thereby eliminating any external axial load on the machine or operator. The total weight of the in-space FSW machine is 73 lb (≈33 kg), and it only requires one operator. The machine is capable of butt-welding aluminum 1,100 workpieces 1/8 in. (≈3 mm) thick.

Posted in: Manufacturing & Prototyping, Briefs

Read More >>

Multimode, Fiber-Coupled, Tungsten Silicide, Superconducting Nanowire Single-Photon Detector Array

Amorphous WSi allows a much greater active area due to lower incidence of nanowire constrictions. NASA’s Jet Propulsion Laboratory, Pasadena, California The superconducting nanowire single-photon detector (SNSPD) arrays created in this innovation were fabricated using a WSi nanowire process. A gold mirror layer is deposited on an oxidized silicon wafer, and amorphous-state WSi is sputtered from a compound target at a thickness of 5 nm. The WSi nanowire is embedded at the center of a three-layer vertical optical cavity consisting of two silica layers and a titanium oxide anti-reflective coating. The layer thicknesses were chosen, on the basis of simulations and measured material parameters, to optimize efficiency at the target communication wavelength of 1,550 nm, and to minimize the polarization dependence of the detector response.

Posted in: Manufacturing & Prototyping, Briefs, TSP

Read More >>

Sidewall Passivation of GaN Avalanche Photodiodes via Atomic Layer Deposition

Atomic layer deposition is explored as a sidewall passivation method for mesa-isolated gallium nitride. NASA’s Jet Propulsion Laboratory, Pasadena, California The visible-blind detection of UV light has important applications in planetary imaging and spectroscopy, astronomy, communications, and defense-related imaging. Future instruments for imaging in the ultraviolet will require improvements in detector capabilities. An all-solid-state ultraviolet detector will enable substantial improvements in mass, volume, complexity, power, and robustness compared with conventional image-tube-based technologies. One new class of solid-state UV detectors includes those based on the gallium nitride (GaN) family of materials. The electronic passivation methods described here are one promising way to produce detectors with the required low dark current characteristics, and show a significant improvement over current state-of-the-art passivation methods. These methods will contribute to a next-generation solar-blind, solid-state UV detector for a wide range of space-based UV instruments.

Posted in: Manufacturing & Prototyping, Briefs

Read More >>