SEARCH · Search NASA

Results for “circuit synthesis”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3

All sources NASA NTRS DOE OSTI

DOE OSTI2025

Fluorinated polythiophenes with ester side chains for boosting the V OC and efficiency in non-fullerene polymer solar cells

As the power conversion efficiency (PCE) of organic photovoltaics (OPVs) approximates the 19 % threshold, wide bandgap (WBG) polythiophenes (PTs) have gained increasing attention due to their simple chemical structures and ease of synthesis, making them promising candidates for large-scale production. However, the benchmark polymer poly(3-hexylthiophene) (P3HT) is limited by its high-lying HOMO energy level, which restricts the open-circuit voltage (V OC ) in solar cells. Here, in this study, we introduce a novel series of PT derivatives (PDC8-T, PDC8-3T, PDC16-3T, and PDC16-3T-2F) featuring ester side chains designed to fine-tune electronic properties through a streamlined three-step synthesis. Additionally, we incorporated a π-spacer to reduce steric hindrance and elongated alkyl side chains to improve solubility and processability. Compared to P3HT, these PT derivatives demonstrate a significant reduction in HOMO energy levels, lowering by approximately 0.3–0.4 eV. Among them, PDC16-3T-2F—with fluorine atom substitution—achieves the lowest HOMO energy level, induces a coplanar molecular conformation, and enhances polymer aggregation behavior. We evaluated these PT derivatives in inverted non-fullerene bulk-heterojunction (NFA BHJ) OPVs. The PDC8-3T device showed a relatively low PCE of 0.69 %, with a V OC of 0.76 V, a short-circuit current density (J SC ) of 3.32 mA/cm 2 , and a fill factor (FF) of 27.3 %. In contrast, the PDC16-3T-2F device achieved an impressive PCE of 7.21 %, with a V OC of 0.85 V, a J SC of 14.60 mA/cm 2 , and an FF of 58.4 %. This remarkable improvement is attributed to the fluorine substitution, which not only enhances molecular orientation but also downshifts the HOMO energy level and further boosts the V OC . Hence, these molecular design strategies have led to a fibrillar bicontinuous interpenetrating network with optimal nanoscale phase separation within the active layer.

14 SOLAR ENERGY↗

DOE OSTI2020

Materials science for quantum information science and technology

Quantum computing, sensing, and communications are emerging technologies that may circumvent known limitations of their existing traditional counterparts. While the promises of these technologies are currently narrow in scope, it is possible that they will broadly impact our lives by revolutionizing the capabilities of data centers and medical diagnostics, for example. At the heart of these technologies is the use of a quantum object to contain information, called a quantum bit or qubit. Current realizations of qubits exist in a broad variety of material systems, including individual spins in semiconductors or insulators, superconducting circuits, and trapped ions. Further advancement of qubits requires significant contributions from materials science in areas of materials selection, synthesis, fabrication, simulation and characterization. In this paper, we discuss some of the needs and opportunities for contributions to advance the fundamental understanding of materials used in quantum information applications.

36 MATERIALS SCIENCE↗

DOE OSTI2024

LENS: Learning Enabled Network Synthesis

RTRC and UMD have developed novel machine learning based methods under the ARPA-E DIFFERENTIATE program for rapid acceleration of hypothesis generation in complex architecture design spaces involving both discrete choices of component inclusion and interconnection and continuous parametric decisions. The project named Learning Enabled Network Synthesis (LENS) further demonstrated the developed methods on challenging electrical power converter design problems by identifying the most suitable circuit topologies and simultaneously selecting the most appropriate components to achieve optimized design of power converter with improved performances. We demonstrated that LENS could enable exploration of very large design space of circuit topologies and components by addressing the limitations of conventional design process in non-linear, high switching speed, multi-dimensional power converter design and optimization. The key innovation developed in LENS is the seamless integration of statistical learning and logical reasoning techniques and building on the individual strengths of these techniques for rapid hypothesis discovery. The main component of LENS comprises of: 1) Graph Reasoning Engine (GRE) to enforce composition rules that rapidly reject all discrete architectures that are composed incorrectly and generates an adaptive database of feasible designs which can be used by ML modules, 2) Graph Generative Learning module which is a deep neural network based generative model for graph architectures which can enable design space exploration beyond the dataset generated by the GRE, 3) Graph Reduced Order Model (ROM) for graph domains for accelerating computation of output metrics, and 4) Active learning and Rule Discovery module for sample efficient learning and extracting logical rules from the learned ML models which will be integrated in the GRE to enhance the filtering effectiveness. LENS approach can be applied to any design domains where designs can be represented as multi-attribute graphs. The LENS team integrated the various technical innovations listed above into an optimization pipeline and exercised the optimization pipeline on the converter design problem. The LENS project demonstrated that the developed AI/ML technologies can be used to generate novel converter circuits >45x faster than experts on chosen use-cases. This can enable faster design space exploration and identification of new designs which are not considered by experts due to the increasing design space complexity. This has significant potential impact on the public and energy needs of the country. It is currently estimated that 30% of all electrical powers generated passes through power converters. The future estimate is that 80% of all power generated would be passing through converters. LENS fills a critical gap in this space since by accelerating the design process the designers would be able to generate more efficient converters which can lead to significant energy savings for the country.

42 ENGINEERING↗

DOE OSTI2020

Invited: Software defined accelerators from learning tools environment

Next generation systems, such as edge devices, will need to provide efficient processing of machine learning (ML) algorithms along several metrics, including energy, performance, area, and latency. However, the quickly evolving field of ML makes it extremely difficult to generate accelerators able to support a wide variety of algorithms. At the same time, designing accelerators in hardware description languages (HDLs) by hand is hard and time consuming, and does not allow quick exploration of the design space. In this paper we present the Software Defined Accelerators From Learning Tools Environment (SODALITE), an automated open source high-level ML framework-to-verilog compiler targeting ML Application-Specific Integrated Circuits (ASICs) chiplets. The SODALITE approach will implement optimal designs by seamlessly combining custom components generated through high-level synthesis (HLS) with templated and fully tunable Intellectural Properties (IPs) and macros, integrated in an extendable resource library. Through a closed loop design space exploration engine, developers will be able to quickly explore their hardware designs along different dimensions.

High-Level Synthesis, Accelerators, Hardware-Softw↗

DOE OSTI2021

Hex-C 558 : A new porous metallic carbon allotrope for lithium-ion battery anode

Due to the limited specific capacity of graphite anodes in lithium-ion batteries (LIBs), it is imperative to find alternatives with better performance. Here in this work, we propose, for the first time, a three dimensional (3D) porous metallic 5-5-8 carbon monolith with hexagonal lattice as a potential candidate. With 5-5-8 carbon nanoribbon as the building block, this material, named Hex-C558, goes beyond graphene-nanoribbon-based 3D porous carbon structures. Using first-principles calculations, we show that Hex-C 558 is not only dynamically and thermally stable, but also is energetically more favorable than many other theoretically predicted carbon allotropes. More importantly, Hex-C 558 is metallic with ordered ionic conducting channels and possesses a low mass density of 1.05 gcm -3 , exhibiting great potential for ion-battery applications. As an anode for LIBs, Hex-C558 possesses a large specific capacity of 591 mAhg -1 , low diffusion energy barrier of 0.27 eV (at low Li concentration) and 0.52 eV (at high Li concentration), a low open-circuit voltage of 0.51 V, and a small volume change of 2.4%. This work provides a new route for the design and synthesis of novel carbon materials for battery applications by using pentagon-based building units.

36 MATERIALS SCIENCE↗

DOE OSTI2025

hls4ml: A Flexible, Open-Source Platform for Deep Learning Acceleration on Reconfigurable Hardware

We present hls4ml, a free and open-source platform that translates machine learning (ML) models from modern deep learning frameworks into high-level synthesis (HLS) code that can be integrated into full designs for field-programmable gate arrays (FPGAs) or application-specific integrated circuits (ASICs). With its flexible and modular design, hls4ml supports a large number of deep learning frameworks and can target HLS compilers from several vendors, including Vitis HLS, Intel oneAPI and Catapult HLS. Together with a wider eco-system for software-hardware co-design, hls4ml has enabled the acceleration of ML inference in a wide range of commercial and scientific applications where low latency, resource usage, and power consumption are critical. In this paper, we describe the structure and functionality of the hls4ml platform. The overarching design considerations for the generated HLS code are discussed, together with selected performance results.

FOS: Computer and information sciences↗

DOE OSTI2025

hls4ml: A Flexible, Open-Source Platform for Deep Learning Acceleration on Reconfigurable Hardware

Schulte, Jan-Frederik [Purdue U.] (ORCID:000000034↗

DOE OSTI2020

SODA: a New Synthesis Infrastructure for Agile Hardware Design of Machine Learning Accelerators

Next generation systems, such as edge devices, will have to provide efficient processing of machine learning (ML) algorithms along several metrics, including energy, performance, area, and latency. However, the quickly evolving field of ML makes it extremely difficult to generate accelerators able to support a wide variety of algorithms. At the same time, designing accelerators in hardware description languages (HDLs) by hand is hard and time consuming, and does not allow quick exploration of the design space. This paper discusses the SODA synthesizer, an automated open source high-level ML framework-to-Verilog compiler targeting ML Application-Specific Integrated Circuits (ASICs) chiplets based on the LLVM infrastructure. The SODA synthesizers will allow implementing optimal designs by combining templated and fully tunable IPs and macros, and fully custom components generated through high-level synthesis. All these components will be provided through an extendable resource library, characterized with both commercial and open source logic design flows. Through a closed loop design space exploration engine, developers will be able to quickly explore their hardware designs along different dimension

Minutoli, Marco↗

DOE OSTI2020

Mass production of high-performance single atomic FeNC electrocatalysts via sequenced ultrasonic atomization and pyrolysis process

Mass production of highly efficient, durable, and inexpensive single atomic catalysts is currently the major challenge associated with the oxygen reduction reaction (ORR) for fuel cells. In this study, we develop a general strategy that uses a simple ultrasonic atomization coupling with pyrolysis and calcination process to synthesize single atomic FeNC catalysts (FeNC SACs) at large scale. The microstructure characterizations confirm that the active centers root in the single atomic Fe sites chelating to the four-fold pyridinic N atoms. The identified specific Fe active sites with the variable valence states facilitate the transfer of electrons, endowing the FeNC SACs with excellent electrochemical ORR activity. The FeNC SACs were used as cathode catalysts in a homemade Zn-air battery, giving an open-circuit voltage (OCV) of 1.43 V, which is substantially higher than that of commercial Pt/C catalysts. This study provides a simple approach to the synthesis of single atomic catalysts at large scale.

36 MATERIALS SCIENCE↗

DOE OSTI2023

A Mesorhizobium japonicum quorum sensing circuit that involves three linked genes and an unusual acyl-homoserine lactone signal

ABSTRACT Members of the genus Mesorhizobium, which are core components of the rhizosphere and specific symbionts of legume plants, possess genes for acyl-homoserine lactone (AHL) quorum sensing (QS). Here we show Mesorhizobium japonicum MAFF 303099 (formerly M. loti ) synthesizes and responds to N -[(2 E , 4 E )-2,4-dodecadienoyl] homoserine lactone (2 E, 4 E- C 12:2 -HSL). We show that the 2 E, 4 E- C 12:2 -HSL QS circuit involves one of four luxR-luxI -type genes found in the sequenced genome of MAFF 303099. We refer to this circuit, which appears to be conserved among Mesorhizobium species, as R1-I1. We show that two other Mesorhizobium strains also produce 2 E, 4 E- C 12:2 -HSL. The 2 E, 4 E- C 12:2 -HSL is unique among known AHLs in its arrangement of two trans double bonds. The R1 response to 2 E, 4 E- C 12:2 -HSL is extremely selective in comparison with other LuxR homologs, and the trans double bonds appear critical for R1 signal recognition. Most well-studied LuxI-like proteins use S -adenosylmethionine and an acyl-acyl carrier protein as substrates for synthesis of AHLs. Others that form a subgroup of LuxI-type proteins use acyl-coenzyme A substrates rather than acyl-acyl carrier proteins. I1 clusters with the acyl-coenzyme A-type AHL synthases. We show that a gene linked to the I1 AHL synthase is involved in the production of the QS signal. The discovery of the unique I1 product enforces the view that further study of acyl-coenzyme A-dependent LuxI homologs will expand our knowledge of AHL diversity. The involvement of an additional enzyme in AHL generation leads us to consider this system a three-component QS circuit. IMPORTANCE We report a Mesorhizobium japonicum quorum sensing (QS) system involving a novel acyl-homoserine lactone (AHL) signal. This system is known to be involved in root nodule symbiosis with host plants. The chemistry of the newly described QS signal indicated that there may be a dedicated cellular enzyme involved in its synthesis in addition to the types known for production of other AHLs. Indeed, we report that an additional gene is required for synthesis of the unique signal, and we propose that this is a three-component QS circuit as opposed to the canonical two-component AHL QS circuits. The signaling system is exquisitely selective. The selectivity may be important when this species resides in the complex microbial communities around host plants and may make this system useful in various synthetic biology applications of QS circuits.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2020

Beyond Strain: Controlling the Surface Chemistry of CsPbI 3 Nanocrystal Films for Improved Stability against Ambient Reactive Oxygen Species

Colloidal halide perovskite nanocrystals (NCs) have the possibility of easy scale-up due to their batch synthesis and have demonstrated excellent optoelectronic properties. In particular, perovskite NCs have remarkably high photoluminescence quantum yields in solution and as thin films and impressive open circuit voltages in photovoltaic devices. Despite these promising results, little work has been done to understand the stability of CsPbI 3 NCs for optoelectronic device applications. It has been previously shown that the ligands impart tensile surface strain, which stabilizes the black three-dimensional (3D) perovskite phase against phase degradation, making CsPbI 3 NCs some of the most structurally robust inorganic halide perovskites to date. However, understanding exactly how CsPbI 3 NCs degrade under ambient conditions is critical. Additionally, we demonstrate that the degradation mechanism of NCs is unique from, and 2 orders of magnitude slower than, their polycrystalline thin-film counterparts. Under specific conditions, CsPbI 3 NC films show a compositional instability instead of the phase instability seen in large grain CsPbI 3 . This is mediated through reactions with superoxide and other reactive oxygen species, which are initiated from surface defect states, O 2 and light. We then use this mechanistic insight to identify multiple strategies to prolong the lifetimes of CsPbI 3 NC films, by going beyond surface strain to mitigate key surface chemistries. We demonstrate that (1) minimizing the number of surface defects (2) using an alkylammonium bromide ligand surface treatment and (3) encapsulation with an oxygen scavenging layer all increase NC film lifetimes by inhibiting various steps in the photo-oxidation degradation reaction.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2026

Leveraging Qubit Loss Detection in Fault-Tolerant Quantum Algorithms

Qubit loss errors constitute a dominant source of noise in many quantum hardware systems, particularly in neutral-atom quantum computers. We develop a theoretical framework to effectively detect and correct loss errors in logical algorithms and leverage such loss information in decoding. Considering general quantum error correction codes and logical circuits, we introduce a delayed-erasure decoder for experimentally motivated error models which leverages information from delayed loss detection to accurately correct loss errors, even when the precise moment of the error is unknown. Using this decoder, we identify strategies for detecting and correcting loss errors based on the logical circuit structure. For deep circuits prior to logical measurement, we explore methods to integrate loss detection into syndrome extraction with minimal overhead, identifying optimal strategies depending on the qubit loss fraction in the noise and hardware capabilities. In contrast, we find that many key algorithmic subroutines involve frequent gate teleportation, shortening the circuit depth before logical measurement and naturally replacing qubits with no additional experimental overhead. We simulate this setting using a toy model algorithm for small-angle synthesis and find a significant performance improvement as the loss fraction increases. These results provide a path forward for advancing large-scale fault-tolerant quantum computation in systems with loss error detection.

atoms↗

DOE OSTI2023

Controlling circuitry underlies the growth optimization of Saccharomyces cerevisiae

Microbial growth emerges from coordinated synthesis of various cellular components from limited resources. In Saccharomyces cerevisiae, cyclic AMP (cAMP)-mediated signaling is shown to orchestrate cellular metabolism; however, it remains unclear quantitatively how the controlling circuit drives resource partition and subsequently shapes biomass growth. Here we combined experiment with mathematical modeling to dissect the signaling-mediated growth optimization of S. cerevisiae. We showed that, through cAMP-mediated control, the organism achieves maximal or nearly maximal steady-state growth during the utilization of multiple tested substrates as well as under perturbations impairing glucose uptake. However, the optimal cAMP concentration varies across cases, suggesting that different modes of resource allocation are adopted for varied conditions. Under settings with nutrient alterations, S. cerevisiae tunes its cAMP level to dynamically reprogram itself to realize rapid adaptation. Moreover, to achieve growth maximization, cells employ additional regulatory systems such as the GCN2-mediated amino acid control. This study establishes a systematic understanding of global resource allocation in S. cerevisiae, providing insights into quantitative yeast physiology as well as metabolic strain engineering for biotechnological applications.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2020

Quantum Search Compiler (Qsearch) v2.0

Quantum Gate Synthesis is the process of taking a desired quantum gate operation, in this case specified as a unitary matrix, and decomposing it into a list of operations that can actually be performed on a quantum computer. Qsearch is an implementation of a quantum synthesis algorithm based on combining A* search with numerical optimization. It is designed to minimize CNOT count at the expense of having a long runtime. It produces particularly efficient quantum circuits in terms of CNOT count, up until about 4 qubits. It is generally impractical to run Qsearch on circuits with more than 4 qubits, but it can be used as a subroutine in algorithms designed to work with these larger circuits. Qsearch takes the form of a Python package, taking advantage of Numpy and Scipy, with part of the package written in Rust and taking advantage of OpenBLAS, NLOPT, and Google Ceres for faster runtime.

Lancu, Costin↗

DOE OSTI2023

Data for Controlling Circuitry Underlies the Growth Optimization of Saccharomyces cerevisiae

Microbial growth emerges from coordinated synthesis of various cellular components from limited resources. In Saccharomyces cerevisiae , cyclic AMP (cAMP)-mediated signaling is shown to orchestrate cellular metabolism; however, it remains unclear quantitatively how the controlling circuit drives resource partition and subsequently shapes biomass growth. Here we combined experiment with mathematical modeling to dissect the signaling-mediated growth optimization of S. cerevisiae . We showed that, through cAMP-mediated control, the organism achieves maximal or nearly maximal steady-state growth during the utilization of multiple tested substrates as well as under perturbations impairing glucose uptake. However, the optimal cAMP concentration varies across cases, suggesting that different modes of resource allocation are adopted for varied conditions. Under settings with nutrient alterations, S. cerevisiae tunes its cAMP level to dynamically reprogram itself to realize rapid adaptation. Moreover, to achieve growth maximization, cells employ additional regulatory systems such as the GCN2-mediated amino acid control. This study establishes a systematic understanding of global resource allocation in S. cerevisiae , providing insights into quantitative yeast physiology as well as metabolic strain engineering for biotechnological applications.

Conversion↗

DOE OSTI2021

Graphene nanoribbons for quantum electronics

Graphene nanoribbons (GNRs) are a family of one-dimensional (1D) materials with a graphitic lattice structure. GNRs possess high mobility and current-carrying capability, sizeable bandgap and versatile electronic properties, which make them promising candidates for quantum electronic applications. In the past 5 years, progress has been made towards atomically precise bottom-up synthesis of GNRs and heterojunctions that provide an ideal platform for functional molecular devices, as well as successful production of semiconducting GNR arrays on insulating substrates potentially useful for large-scale digital circuits. With further development, GNRs can be envisioned as a competitive candidate material in future quantum information sciences. In this Perspective, we discuss recent progress in GNR research and identify key challenges and new directions likely to develop in the near future.

36 MATERIALS SCIENCE↗

DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗

DOE OSTI2022

Bridging Python to Silicon: The SODA Toolchain

Systems performing scientific computing, data analysis, and machine learning tasks have a growing demand for application-specific accelerators that can provide high computational performance while meeting strict size and power requirements. However, the algorithms and applications that need to be accelerated are evolving at a rate that is incompatible with manual design processes based on hardware description languages. Agile hardware design tools based on compiler techniques can help by quickly producing an application-specific integrated circuit (ASIC) accelerator starting from a high-level algorithmic description. Here, we present the software-defined accelerator (SODA) synthesizer, a modular and open-source hardware compiler that provides automated end-to-end synthesis from high-level software frameworks to ASIC implementation, relying on multilevel representations to progressively lower and optimize the input code. Our approach does not require the application developer to write any register-transfer level code, and it is able to reach up to 364 giga floating point operations per second (GFLOPS)/W efficiency (32-bit precision) on typical convolutional neural network operators.

97 MATHEMATICS AND COMPUTING↗