arXiv subjects

Nathaniel Bleier

Publications and source records attributed to Nathaniel Bleier.

4 recordsLinked to original sources

arXiv2026

TensorLift: Automatic Extraction of Tensor-Level ISA Semantics from Accelerator RTL via MLIR Semantic Lifting

Most proposed tensor accelerators lack well-documented ISAs and compiler backends, and are exercised only through hand-written kernels covering a handful of operators. Recent work (TAIDL, ACT) shows that a tensor-level ISA specification is enough to generate complete software stacks automatically. Writing that specification, however, remains a manual, expert-driven process. We present TensorLift, the first end-to-end MLIR-based pipeline that lifts RTL-extracted accelerator semantics to TAIDL-like tensor ISA specifications. Building on prior architecture-level model extraction that yields bit-level IR, an 8-pass MLIR pipeline progressively recovers tensor structure (MAC idioms, saturation semantics, multi-dimensional buffer organizations, and layout transformations) and emits specifications the ACT ecosystem consumes directly. On Gemmini and VTA, TensorLift captures every hardware instruction the two designs decode across 156 MLIR files, reducing the extracted bit-level MLIR by 24.8% and 41.2% overall and by up to 92.9% on a processing element, with controller modules retaining irreducible control logic. It recovers hardware features the hand-written reference omits (multi-bank DMA configuration, pooling, and im2col) and lifts VTA unmodified. Core compute and data-movement semantics are proven equivalent to the RTL-extracted model by Z3 SMT, the remainder validated against golden simulator data. Fed into ACT, the extracted specification yields a compiler backend at parity with hand-written Gemmini kernels (1.014x geometric mean), giving an automated path from RTL to a working software stack.

cs.AR↗

arXiv2026

Compute System Organization for High Frequency High Order Wavefront Sensing and Control

Maintaining long-term wavefront stability is critical for the Habitable Worlds Observatory (HWO), which targets contrasts approaching $10^{-10}$ and therefore requires continuous dark-zone maintenance using high-order wavefront sensing and control (HOWFSC). Prior work has advanced HOWFSC algorithms and profiled candidate implementations on radiation-hardened processors, highlighting a substantial gap between the computational demands of LUVOIR-scale HOWFSC and the capabilities of current onboard spacecraft hardware. In this paper, we argue that this gap can be closed by offloading the HOWFSC pipeline to a dedicated co-flying compute satellite at Sun-Earth L2. This approach enables the use of modern, radiation-tolerant high-performance processors without increasing risk to the primary observatory. We show that such an architecture can increase the end-to-end control cadence from the sub-hertz regime typical of radiation-hardened onboard processing or ground-in-the-loop operation to tens and even hundreds of hertz. We evaluate commercial hardware platforms in terms of performance and feasibility, and we propose custom architectures that enable higher control frequencies with significant power consumption reductions. Finally, we outline system-level considerations for co-flying compute, including reliability, satellite integration, and inter-satellite communication constraints.

astro-ph.IM↗

arXiv2025

Mozart: A Chiplet Ecosystem-Accelerator Codesign Framework for Composable Bespoke Application Specific Integrated Circuits

Modern AI acceleration faces a fundamental challenge: conventional assumptions about memory requirements, batching effectiveness, and latency-throughput tradeoffs are systemwide generalizations that ignore the heterogeneous computational patterns of individual neural network operators. However, going towards network-level customization and operator-level heterogeneity incur substantial Non-Recurring Engineering (NRE) costs. While chiplet-based approaches have been proposed to amortize NRE costs, reuse opportunities remain limited without carefully identifying which chiplets are truly necessary. This paper introduces Mozart, a chiplet ecosystem and accelerator codesign framework that systematically constructs low cost bespoke application-specific integrated circuits (BASICs). BASICs leverage operator-level disaggregation to explore chiplet and memory heterogeneity, tensor fusion, and tensor parallelism, with place-and-route validation ensuring physical implementability. The framework also enables constraint-aware system-level optimization across deployment contexts ranging from datacenter inference serving to edge computing in autonomous vehicles. The evaluation confirms that with just 8 strategically selected chiplets, Mozart-generated composite BASICs achieve 43.5%, 25.4%, 67.7%, and 78.8% reductions in energy, energy-cost product, energy-delay product (EDP), and energy-delay-cost product compared to traditional homogeneous accelerators. For datacenter LLM serving, Mozart achieves 15-19% energy reduction and 35-39% energy-cost improvement. In speculative decoding, Mozart delivers throughput improvements of 24.6-58.6% while reducing energy consumption by 38.6-45.6%. For autonomous vehicle perception, Mozart reduces energy-cost by 25.54% and energy by 10.53% under real-time constraints.

cs.AR↗

arXiv2023

Understanding Interactions Between Chip Architecture and Uncertainties in Semiconductor Supply and Demand

Mitigating losses from supply and demand volatility in the semiconductor supply chain and market has traditionally been cast as a logistics and forecasting problem. We investigate how the architecture of a family of chips influences how it is affected by supply and demand uncertainties. We observe that semiconductor supply chains become fragile, in part, due to single demand paths, where one chip can satisfy only one demand. Chip architects can enable multiple paths to satisfy a chip demand, which improves supply chain resilience. Based on this observation, we study composition and adaptation as architectural strategies to improve resilience to volatility and also introduce a third strategy of dispersion. These strategies allow multiple paths to satisfy a given chip demand. We develop a model to analyze the impact of these architectural techniques on supply chain costs under different regimes of uncertainties and evaluate what happens when they are combined. We present several interesting and even counterintuitive observations about the product configurations and market conditions where these interventions are impactful and where they are not. In all, we show that product redesign supported by architectural changes can mitigate nearly half of the losses caused by supply and demand volatility. As far as we know, this is the first such investigation concerning chip architecture.

cs.AR↗