Next Article in Journal
Development and Optimal Probe Selection of an In Situ Penetration and Shear Apparatus for the Lunar Surface
Previous Article in Journal
Mapping Airport 5.0: A Conceptual Digital Maturity Model and the Application to Australian Airports
Previous Article in Special Issue
Towards a Unified Modeling and Simulation Framework for Space Systems: Integrating Model-Based Systems Engineering with Open Source Multi-Domain Simulation Environments
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Portable, Compact, and Fault-Tolerant Processor for Spaceflight Applications

NASA Goddard Space Flight Center, Greenbelt, MD 20771, USA
*
Author to whom correspondence should be addressed.
Aerospace 2026, 13(5), 464; https://doi.org/10.3390/aerospace13050464
Submission received: 8 April 2026 / Revised: 5 May 2026 / Accepted: 8 May 2026 / Published: 14 May 2026
(This article belongs to the Special Issue On-Board Systems Design for Aerospace Vehicles (3rd Edition))

Abstract

This paper presents the Goddard RISC-V (GRV) a compact, portable, and highly customizable fault-tolerant 32-bit RISC-V processor, specifically designed for embedded space applications. The design integrates advanced fault-tolerance mechanisms to mitigate arbitrary Single Event Transient (SET) and Single Event Upset (SEU) errors while ensuring data integrity. Importantly, fault tolerance is achieved entirely at the design level, eliminating the need for SEU-hardened semiconductor processes, custom cell libraries, or specialized back-end tools. The implementation prioritizes portability and resource efficiency, enabling compatibility with various FPGA and ASIC technologies. This initiative aims to provide NASA with a suite of portable, modular, and scalable alternatives to proprietary solutions. These solutions are designed for broad adaptability across multiple platforms, such as compact scientific instruments, miniaturized deep-space technologies, CubeSats, control and automation systems, and other applications constrained by low-resource processing environments.

1. Introduction

As space missions venture deeper into the universe, the scientific observation and analysis of remote locations increasingly rely on advanced autonomy to achieve their science objectives. Emerging applications, such as Artificial Intelligence (AI) and Machine Learning (ML), necessitate substantial enhancements to spacecraft computational power to maximize the quantity and quality of scientific output. To meet these demands, the design of processors for space applications is evolving with a focus on boosting computational capabilities. Modern architectures are built upon multicore systems, incorporating multiple levels of cache memory and high-speed interconnection buses that deliver significant performance gains. Notable examples include the LEON5FT and NOELV processors developed by Frontgrade Gaisler [1,2], as well as the ongoing High Performance Spaceflight Computing (HPSC) Program led by NASA (As of April 2026, these processors are still in development or in the final stages of the qualification process. To the best of the author’s knowledge, they have not yet been officially used in any mission) [3].
Currently, one of the most commonly used processors for space applications is the LEON3FT [4]. It has been successfully utilized in several missions. One example of a platform based on this processor is the The Modular Unified Space Technology Avionics for Next Generation (MUSTANG) [5] designed by NASA Goddard Space Flight Center (GSFC). Another approach takes advantage of the increasing integration level in Field Programmable Gate Arrays (FPGAs), which now feature high-resource devices with embedded processors. The SpaceCube [6] platform exemplifies this method, utilizing the processing capabilities of embedded cores within select Xilinx FPGAs.
However, the architectures described above are not well-suited for applications such as a Data Processing Unit (DPU) for compact instruments, control systems of miniaturized actuators or mechanisms used in robotic missions and Command and Data Handling (C&DH) system tailored for platforms like Nano-Satellites or CubeSats. This is primarily due to constraints such as limited budgets, the high cost of components including licensed Intellectual Property (IP) cores, strict power consumption or footprint requirements, and the lack of a need for high-end computational capabilities. To address these challenges, a Finite State Machine (FSM) is often implemented in an FPGA. While this approach meets low power consumption demands, it poses a significant drawback: reduced design reusability. Typically, these FSMs are custom-designed from scratch for each mission, severely limiting their potential for reuse. Furthermore, even minor changes in system requirements necessitate adjustments to the FSM topology, which, in turn, triggers a fresh cycle of debugging and hardware validation. This process impacts both the project schedule and budget, adding complexity and inefficiency.
In this paper, we present GRV, a 32-bit RISC-V processor developed using Very High Speed Integrated Circuit Hardware Description Language (VHDL). This processor is specifically designed to address the challenges outlined earlier and serves as an excellent complement to the forthcoming HPSC initiative, effectively bridging a critical gap in the field. The GRV design prioritizes resource efficiency and portability rather than performance. It is not intended to compete with more capable processors in terms of performance. Every component of the architecture has been meticulously designed to minimize its resource footprint. Additionally, the design is fully independent of any specific FPGA technology, removing constraints tied to particular vendors, facilitating seamless migration of the design across multiple supported FPGA vendors including non-radiation-tolerant devices that are better suited for low cost missions. This independence is achieved through the use of technology wrappers for FPGA primitives, including pads, buffers, clock management, and memory blocks.
GRV leverages one of the most significant features of the RISC-V ISA specification: its modularity [7,8]. This modularity allows the processor to cover a broad range of applications while promoting software reuse. Thanks to the open and modular nature of RISC-V, designers can implement architectures tailored to their specific applications, ranging from low-performance, low-power microcontrollers to high-performance processors. New instructions are introduced as optional extensions rather than necessitating a complete overhaul of the ISA, ensuring flexibility. Furthermore, RISC-V systems have the capacity to evolve, with the specification spanning 32-bit to 128-bit architectures. Scalable hardware reduces costs, enables designers to work with familiar tools, and shortens development timelines. Additionally, upgradeable hardware extends the system’s lifespan, minimizing the time and resources needed for replacement technologies.
The remainder of this article is structured as follows. Section 2 reviews related work on fault-tolerant design methods, analyzing the key ideas behind each processor. Section 3 introduces the GRV processor, highlighting its main features and providing detailed information about its architecture. Section 4 presents the fault-tolerant techniques integrated into GRV to mitigate the effects of radiation in space environments. Section 5 details the methodology and experimental work performed to validate the design, including performance evaluations. Section 6 reports the implementation results across different FPGA vendors. Finally, Section 7 concludes this article by summarizing the key findings of this work.

2. Related Work

The current state of RISC-V bears notable similarities to the evolution of the Scalable Processor Architecture (SPARC) during the 1990s. However, the current trajectory of RISC-V appears even more promising than that of SPARC during its formative years. This is attributed to its modular ISA design, a rapidly growing software ecosystem backed by an active and dynamic community, and an unprecedented surge of open-source intellectual property and commercial advancements.
The LEON family of processors can be considered a precursor specifically tailored to the space industry. At that time, the European Space Agency (ESA) adopted SPARC as it was the only solution available that offered both openness and robust software support. Since then, the European space industry, along with a substantial portion of the global space community, has depended on LEON-based systems, accumulating extensive flight heritage and fostering a well-established software and hardware ecosystem. The LEON processors have undergone significant advancements since the introduction of the LEON2FT version, achieving substantial performance improvements while leveraging technological progress in manufacturing processes to enhance their radiation resilience [9]. In the original LEON2FT design, all on-chip registers were protected with Triple Modular Redundancy (TMR), while the cache memories, register window, and external memory interfaces were equipped with Error Detection and Correction (EDAC) mechanisms to mitigate radiation effects [10].
With the development of RISC-V, numerous open-source processor cores have emerged in both academic and commercial markets [11]. Di Mascio et al. present a roadmap for adopting RISC-V in space, arguing that the ISA’s openness and modularity make it well suited to a range of spacecraft roles from low-power microcontrollers to AI-capable payload processors [12]. Their survey of open-source cores, toolchain maturity, and ecosystem gaps highlights fault tolerance and technology readiness as primary barriers to wider space adoption. This work complements our contribution by motivating the need for architecture-level demonstrations and targeted verification: whereas Di Mascio et al. identify the high-level opportunities and challenges for RISC-V in space, our paper provides a concrete, verified implementation of a RISC-V processor (GRV) with integrated TMR/EDAC and instrument interfaces that directly addresses the fault-tolerance and TRL concerns they raise.
However, to the best of the author’s knowledge, there are currently very few publicly available RISC-V processors featuring fault-tolerant architectures. The SHAKTI-F processor [13], developed by the Indian Institute of Technology, is an open-source RV32I processor written in Verilog that utilizes Error Correcting Codes (ECC) to address errors in registers and memory systems. DuckCore [14] incorporates an enhanced Single Error Correction and Double Error Detection (SECDED) code and builds upon the architectural principles of SHAKTI-F. In [15], a low-power three-stage pipelined RISC-V processor, which utilizes Hamming codes to safeguard memory elements and TMR to protect the Arithmetic and Logic Unit (ALU) as well as the control unit, is presented. Mong Tee Sim et al. [16] utilized dual-core lockstep technology, built upon the RV32I core, to achieve fault tolerance. Rogenmoser et al. [17] present Trikarenos, a TSMC 28-nm RISC-V SoC whose ECC scrubbing and triple-core lockstep protections were validated through neutron and proton irradiation and gate-level fault injection, yielding quantitative SEU cross-sections and demonstrating the effectiveness of combined architectural and memory-level mitigation strategies.
Böhmer et al. present neutron-beam tests of the NEORV32 RISC-V SoC on Flash-based FPGAs, demonstrating that ECC protection of instruction and data memories substantially improves operational reliability and that register-level TMR provides further gains at increased resource cost [18]. This approach aligns with our design goals. However, unlike their FPGA-toolchain-based protections, we implement ECC, TMR and related mitigations directly at the RTL level, which gives us finer control over area and timing trade-offs. Cora et al. [19] propose a selective-hardening methodology that identifies the most fault-sensitive modules of a NEORV32 soft processor and applies TMR/ECC only to those components, achieving reliability comparable to full-chip redundancy with lower area and timing overhead. Barbirotta et al. [20] demonstrate how Interleaved-Multi-Threading can be adapted to provide temporal redundancy and fault tolerance in a Klessydra-T13 RISC-V soft core, detailing the required microarchitectural support.

3. The GRV Architecture Design

This section provides a detailed overview of the GRV processor architecture, organized into subsections that focus on the core system components: the pipeline, system bus, memory interfaces, floating point unit, debug unit and the implementation of error-detection and fault-tolerant features.
The GRV processor is a 32-bit design fully compliant with the RISC-V ISA Specification. It utilizes a Harvard architecture with separate instruction and data buses. The processor interfaces with the Advanced High-performance Bus (AHB) via the Load Store Unit (LDSTU). Local resolution mechanisms handle access conflicts between the data and instruction interfaces, ensuring that only one AHB master interface is connected to the bus. A block diagram of the GRV architecture is presented in Figure 1.

3.1. Pipeline

The GRV processor features a single-instruction issue pipeline with three stages. Each instruction requires a minimum of three cycles to progress through the pipeline, one cycle per stage. However, certain instructions cannot be completed within a single cycle during the Execute Stage (EX), causing the pipeline to stall until execution is fully completed. The pipeline’s block diagram is presented in Figure 2, with a detailed description of its stages provided below:
  • (IF) Instruction Fetch. The design incorporates two Instruction Prefetch Buffers (IPBs) arranged in a ping-pong configuration, each capable of storing a configurable number of instructions, with a default capacity of four. Instructions are fetched from memory and loaded into the active IPB, becoming valid by the end of this stage before being latched in the subsequent stage. The pipeline temporarily stalls when a branch, jump, or trap occurs, halting operation until the IPB is replenished.
  • (DE) Decode. This stage analyzes the fetched instruction, determining its type and operands. It identifies the operation to be performed, the number of operands, and the registers involved. Additionally, the necessary resources are allocated accordingly.
  • (EX) Execute. Arithmetic Logic Unit (ALU) operations, along with logical and shift functions, are executed during this stage. Memory accesses, Floating Point calculations, Bit-Manipulation operations, and other extension instructions requiring more than one cycle to complete will cause the pipeline to stall until their execution is finished. The results of ALU, logical, shift, or memory operations are then written back to the register file.
GRV processor supports several ISA extensions, hardware multiply and divide, privileged, compressed instructions, and debug, among others. Table 1 presents the full list of extensions supported by GRV.

3.2. System Bus

The GRV processor is designed for integration into System-on-Chip (SoC) architectures structured around the Advanced Microcontroller Bus Architecture (AMBA) 2.0. Leveraging a widely adopted standard like AMBA ensures seamless incorporation of heritage components, thereby minimizing development time and enhancing overall system reliability.
GRV-based System-on-Chip (SoC) architectures feature the Advanced High-Performance Bus (AHB) and the Advanced Peripheral Bus (APB). The AHB bus connects key components, including the GRV processor, memory controller, and other high-bandwidth devices such as SpaceWire links, Ethernet 10/100 interfaces, and CAN-2.0 interfaces. Additionally, the Debug Module (DM) is integrated into the AHB bus. The APB Bridge acts as a follower on the AHB bus and as a leader on the APB bus, facilitating access to on-chip registers in peripheral devices such as Universal Asynchronous Receiver/Transmitter (UART) interfaces, Pulse Width Modulation (PWM), Serial Peripheral Interface (SPI), Inter-Integrated Circuit (I2C), timers, and general-purpose I/O ports. This architecture enables straightforward integration of new modules by connecting them to either the AHB or APB bus.
The LDSTU, which integrates the instruction and data engines, arbitrates and controls bus accesses to the various memory spaces, memory controllers, and peripherals. The system is designed to manage memory-access faults autonomously: single-bit upsets are corrected transparently by the EDAC logic, while non-recoverable errors are reported to the processor as traps for software handling. This approach minimizes routine processor intervention, confines exception handling to genuinely unrecoverable conditions, and preserves deterministic bus behavior during normal operation.

3.3. Memory Interface

GRV offers a range of memory controllers designed for seamless integration with various types of memory, including Static Random-Access Memory (SRAM), Synchronous Dynamic Random-Access Memory (SDRAM), Programmable Read-Only Memory (PROM), Magnetoresistive Random-Access memory (MRAM), SPI FLASH, and NAND FLASH. Additionally, Tightly Coupled Memories (TCM) can be directly connected to the system bus.

3.4. Multiplier and Divider

GRV provides hardware support for multiplication and divide operations, when the M Extension is enabled. Several multiplier implementations are provided, making it possible to choose between area, delay and latency. The latency of multiplication instructions varies by implementation, ranging from 4 to 35 clock cycles. The divider uses the Serial Restoring Algorithm, and it takes 36 clock cycles to complete an operation [21].

3.5. Floating Point Unit

The GRV processor integrates an IEEE-754 [22] compatible single-precision Floating Point Unit (FPU) designed for use with the Zfinx extension. Prioritizing minimal area footprint, the FPU architecture leverages iterative computation techniques to optimize resource utilization [23].

3.6. Debug Module

GRV incorporates a Hardware Debug Support Unit compliant with the minimal RISC-V Debug Specification version 1.0. It supports the Execution-Based Debug Scheme and System Bus Access, providing full CPU control, including halting, resuming, and single-step functionalities. Through the Program Buffer and System Bus Access, it enables access to all core registers and the entire address space. The unit is compatible with the Open On-Chip Debugger (OpenOCD) and GDB, and it is accessible via a standard JTAG Joint Test Action Group (JTAG) interface.

4. Error Detection and Fault Tolerance

GRV is specifically designed for radiation-hardened applications and incorporates extensive Fault Tolerance (FT) mechanisms to mitigate the effects of SETs and SEUs. These mechanisms provide robust error detection and handling without relying on an SEU-hardened semiconductor process, custom cell libraries, or specialized synthesis tools. The primary objective of GRV is to detect and tolerate single errors in any on-chip register without requiring software intervention while also suppressing the effects of SEUs in combinational logic.
To achieve these goals, the design integrates a comprehensive set of protection features, including RTL-level TMR and EDAC, whose implementation and rationale are detailed below. The chosen techniques draw on a substantial heritage of proven approaches deployed in multiple NASA missions and on lessons learned from the wider space-agency community during the rapid adoption of FPGA-based systems [24,25,26,27,28]. This accumulated operational experience and interagency knowledge exchange informed the selection, tuning, and validation strategy for GRV FT suite.

4.1. Triple Modular Redundancy (TMR)

In a typical implementation, GRV contains approximately 4500 flip-flops, used for temporary storage and FSMs. To protect these elements against SEU-induced errors, all on-chip registers can be implemented using TMR directly in the VHDL-RTL source code, without requiring any specialized cell library or synthesis tool [10]. This approach utilizes three registers operating in parallel, with a voter selecting the majority result as illustrated in Figure 3. Since the flip-flops are continuously clocked, any SEU-induced register error is automatically corrected within a single clock cycle, ensuring the voter output remains accurate and glitch-free. This scheme inherently provides error masking and error removal, preventing transient glitches at the output when an SEU occurs. The TMR feature can be configured through a VHDL generic in the design’s configuration record. When set to true, all on-chip registers are implemented using TMR.

4.2. EDAC Protection

The FPGA’s external and internal memory blocks are safeguarded by an on chip EDAC unit, which also provides dedicated error injection capabilities. This unit is capable of correcting single-bit errors and detecting double-bit errors within each 32-bit word [29]. If an uncorrectable error (double-bit error) is detected, a memory exception is signaled to the processor. The resulting trap is always precise, ensuring simplified software recovery via rollback or roll-forward, as no instructions have been executed beyond the point of error. In contrast, correctable errors do not trigger an exception. The equations below define the generation of EDAC check bits.
C B 0 = D 00 D 04 D 06 D 07 D 08 D 09 D 11 D 14 D 17 D 18 D 19 D 21 D 26 D 28 D 29 D 31 C B 1 = D 00 D 01 D 02 D 04 D 06 D 08 D 10 D 12 D 16 D 17 D 18 D 20 D 22 D 24 D 26 D 28 C B 2 = D 00 D 03 D 04 D 07 D 09 D 10 D 13 D 15 D 16 D 19 D 20 D 23 D 25 D 26 D 29 D 31 C B 3 = D 00 D 01 D 05 D 06 D 07 D 11 D 12 D 13 D 16 D 17 D 21 D 22 D 23 D 27 D 28 D 29 C B 4 = D 02 D 03 D 04 D 05 D 06 D 07 D 14 D 15 D 18 D 19 D 20 D 21 D 22 D 23 D 30 D 31 C B 5 = D 08 D 09 D 10 D 11 D 12 D 13 D 14 D 15 D 24 D 25 D 26 D 27 D 28 D 29 D 30 D 31 C B 6 = D 00 D 01 D 02 D 03 D 04 D 05 D 06 D 07 D 24 D 25 D 26 D 27 D 28 D 29 D 30 D 31

4.3. Processor Register File

Given that most RISC-V instructions involve two source operands and one destination operand, the GRV processor incorporates a three-port register file, comprising two read ports and a single write port, to accommodate the architectural requirements. The GRV processor offers flexibility in register file implementation, allowing it to be constructed using either flip-flops or internal memory blocks within the FPGA. This adaptability enables users to optimize the design based on the FPGA’s specific characteristics. For example, the RTG4, a large device with inherently TMR-protected flip-flops, is well-suited for this configuration, eliminating the need for additional radiation protection in internal memory blocks. Furthermore, when the flip-flop implementation is used in other FPGAs, the TMR feature remains fully functional.
When memory blocks are used for implementation, each register is safeguarded by a 7-bit EDAC checksum (as shown in Section 4.2), enabling detection and correction of SEU errors within the register file. EDAC bits are validated each time a fetched register value is used in an instruction. If a correctable error is detected (Figure 4c), the pipeline is flushed and the erroneous data is corrected prior to use. The corrected register value is then written back to the register file during the execute stage. The pipeline subsequently restarts at the point of the failing instruction. This restart mechanism resembles a trap, with the key distinction being that control is transferred directly to the address of the failed instruction rather than to a trap vector. The correction process introduces a two-clock-cycle delay but remains invisible to software. Conversely, if an uncorrectable error is detected (Figure 4d), a register file error trap is generated. The pipeline restart imposes minimal implementation overhead, as it leverages the existing logic for standard trap handling. Figure 4b illustrates the pipeline behavior under normal trap conditions. The register file features two read ports, necessitating the implementation of two error-detection units. With only a single write port, a single correction unit suffices. Consequently, if multiple correctable errors are detected, the instruction is re-executed for each error, with one register value corrected and written back per iteration.

5. System Validation

To ensure architectural correctness and functional reliability, the processor underwent a comprehensive system validation campaign encompassing simulation, formal verification, and standards-based compliance testing. Central to this effort was conformance with the RISC-V ISA as defined by RISC-V International. The processor successfully passed validation using the RISC-V Compliance Framework (RISCOF) v1.23.4 [30], a modular Python v3.14 based infrastructure that facilitates rigorous compliance testing of RISC-V implementations. RISCOF compares the processor’s behavior against a trusted reference model and orchestrates test execution across multiple privilege levels and ISA extensions. The test suite included coverage of base integer instructions, control and status register (CSR) interactions, trap and exception handling, and optional extension functionality. The overall flow of the GRV verification using RISCOF is shown in Figure 5.
Achieving full compliance through RISCOF not only confirms the processor’s adherence to ISA specifications but also reinforces its readiness for deployment in broader system-level contexts. The reproducibility and depth of RISCOF’s testing regime provide a reliable baseline for future verification campaigns, performance tuning, and certification pathways. This milestone contributes to interoperability assurance within the RISC-V ecosystem and supports integration into mission-critical platforms that demand predictability and robust architectural alignment.
The next step was the development of low-level drivers for the peripherals integrated into GRV. A corresponding set of simulations was conducted to verify the correct integration and functional behavior of these devices.
As noted in Section 4, the fault-tolerance mechanisms employed in GRV are rooted in substantial flight heritage and a body of lessons learned exchanged across the space-agency community. Consequently, their behavior is well understood and considered proven. By leveraging these proven approaches and the cross-agency knowledge exchange, GRV inherits both tested design patterns and validated operational practices that reduce integration risk and accelerate qualification. We verified the correct integration of the fault-tolerance mechanisms in GRV through extensive RTL-level fault-injection campaigns conducted using VUnit [31,32], an Open-Source VHDL Verification Methodology (OSVVM) [33,34]. By leveraging the randomization and test-component capabilities provided by these frameworks, we performed both randomized and targeted single-bit and component-level injections to exercise the processor’s error-detection, correction, and recovery paths under realistic timing and interaction conditions. OSVVM’s RandomPkg and associated utilities supplied the constrained-random stimulus generation and coverage instrumentation required to drive a broad and statistically meaningful range of fault scenarios. Because TMR is implemented at the RTL level and protected components expose a configurable regid VHDL generic, injections could be precisely directed to individual registers and modules, enabling the TMR and EDAC mechanisms to be evaluated independently as well as in combination.
A full radiation campaign to correlate these simulation-derived results with measured SEU cross-sections and field Mean Time Between Failures (MTBF) estimates is planned as future work, to be conducted during the instrument-level testing and integration campaign [35].
A custom test board, shown in Figure 6, was developed to support functional validation of the GRV processor in conjunction with Lattice CertusPro FPGAs. The board provides a controlled laboratory platform for evaluating architectural behavior and communication interfaces under representative operating conditions. It incorporates multiple on-board memory types, SRAM, MRAM, and SPI-Flash with flexible memory mapping and selectable boot sources, enabling direct emulation and targeted testing of the various memory controllers supported by GRV. Its design supports seamless integration with external instrumentation, allowing detailed observation and automated performance analysis during verification campaigns. Standard mezzanine connectors, level shifters, and jumper-selectable interfaces ensure compatibility with a wide range of peripherals and simplify transitions to and from third-party development boards. In addition, dedicated probe headers, trigger I/O, and debug interfaces (JTAG, UART, SPI, I2C) provide robust access for instrumentation-driven, reproducible experiments.

6. Results

This section presents the GRV’s performance and resource utilization across multiple space-qualified FPGAs, highlighting its compact and efficient architecture.

6.1. Performance

Figure 7 compares the CoreMark/MHz [36] results for the processors evaluated in this paper. The GRV achieves a CoreMark/MHz score of 1.05, reflecting its balanced optimization for computational efficiency and low power. These results show that GRV is well suited for C&DH, small-instrument data processing, and mechanism-control tasks. Its deterministic execution, low-power profile, and RTL level fault tolerance make it a strong fit for resource constrained, reliability critical workloads. GRV is not intended to compete with complex architectures such as cache-rich, dual-issue designs with branch prediction. Its primary goal is to provide a low-power, low-resource solution that increases reusability and reduces development cost and time. By contrast, the SiFive X280 attains the highest efficiency in the set (CoreMark/MHz 5.8), reflecting its role as the most powerful design and its status as the commercial equivalent of NASA’s HSPC class; this makes the X280 better suited to high-throughput payload and data-processing tasks at the expense of greater area and power.

6.2. Resource Utilization

The resource utilization and power estimation results for the GRV implementation on multiple space qualified FPGAs, along with the corresponding FT-version results, are presented. The design incorporates several RISC-V extensions, including: M, U, Zicntr, Zihpm, Zfinx, Zifencei, Sdext, Sdtrig, and FPU. Additionally, the architecture integrates an external memory controller, comprehensive debug support, and a peripheral suite comprising dual UARTs, general-purpose I/O port, system timers, interrupt controller and Machine TIME register (MTIME).
Table 2 shows that the FT implementation on the Microchip ProASIC3 and Lattice CertusPro-NX devices results in a significantly larger design, increasing flip-flop usage by approximately 100% due to the TMR implementation. Because the RTG4 FPGA provides built-in TMR across all device flip-flops, the GRV does not employ its own TMR option. As a result, the flip-flop utilization remains unchanged, with similar values in both versions, and the maximum achievable frequency shows no significant variation. The FT version exhibits increased memory block utilization because the EDAC protected processor register file memory allocates extra blocks to store the checkbits.

7. Conclusions and Future Work

The GRV processor represents a purpose-built solution for resource-constrained and mission-critical instrumentation platforms. Its compact, low-power architecture offers an effective balance between computational performance and area efficiency. GRV’s modular and fault-tolerant design presents a versatile and resource-conscious solution for deployment within spaceborne and high-reliability scientific instruments. A key architectural advantage of GRV lies in its demonstrated portability across multiple FPGA families, including both commercial and radiation-hardened variants. This cross-platform synthesis capability not only accelerates early-stage prototyping and qualification but also enables mission teams to adopt common processing frameworks across evolving deployment contexts. By reducing non-recurring engineering efforts and supporting a flexible integration path, GRV contributes significantly to advancing reconfigurable computing in space applications. Its modularity, efficiency, and synthesis portability position GRV as a scalable processing element for future-generation instrumentation with extended performance and reliability envelopes.
Initial integration efforts within instruments such as the Lunar Neutron Orbiting Observatory for Neutron Spectroscopy (LOONS) [37] and the Solar Neutron TRACking (SONTRAC) [38] demonstrate GRV’s versatility in supporting scientific objectives ranging from particle tracking to spectroscopic imaging. These efforts have focused on two parallel activities: the development of glue logic to interface GRV with instrument-specific electronics and specialized sensors, and the development of on-board software algorithms to perform preliminary data reduction and feature extraction prior to downlink. As a cornerstone of next-generation instrumentation, GRV significantly advances spaceflight computing by demonstrating how domain-tailored processor architectures can enable robust, scalable, and power-efficient mission solutions.

Author Contributions

Conceptualization, D.G.-G. and R.J.R.; methodology, D.G.-G.; software, D.G.-G. and R.J.R.; validation, D.G.-G., R.J.R., S.I.S., M.C.D. and G.S.; formal analysis, D.G.-G. and R.J.R.; investigation, D.G.-G., R.J.R., G.S., M.C.D. and J.J.D.; resources, G.S., G.A.d.N. and J.G.M.; data curation, D.G.-G. and S.I.S.; writing—original draft preparation, D.G.-G.; writing—review and editing, D.G.-G.; visualization, D.G.-G.; supervision, D.G.-G.; project administration, D.G.-G. and G.S.; funding acquisition, G.A.d.N. and J.G.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Detailed research results can be requested from the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
AHBAdvanced High-performance Bus
AIArtificial Intelligence
ALUArithmetic Logic Unit
AMBAAdvanced Microcontroller Bus Architecture
APBAdvanced Peripheral Bus
BCHBose–Chaudhuri–Hocquenghem
COTSCommercial Off The Shelf
CPUCentral Processing Unit
DEDecode
DMDebug Module
DPUData Processing Unit
EBREmbedded Block RAM
EDACError-Detection And Correction
ESAEuropean Space Agency
EXExecute
FFFlip-Flop
FPGAField Programmable Gate Array
FPUFloating Point Unit
FSMFinite State Machine
GRVGoddard RISC-V
GSFCGoddard Space Flight Center
GUIGraphical User Interface
I2CInter-Integrated Circuit
IFInstruction Fetch
IOInput/Output
IPIntellectual Property
IPBInstruction Prefetch Buffer
ISAInstruction Set Architecture
IUInteger Unit
JTAGJoint Test Action Group
LDSTULoad Store Unit
MLMachine Learning
MRAMMagnetoresistive Random Access memory
MTBFMean Time Between Failures
NASANational Aeronautics and Space Administration
OSVVMOpen-Source VHDL Verification Methodology
PROMProgrammable Read-Only Memory
PWMPulse Width Modulation
RISCReduced Instruction Set Computer
SETSingle Event Transient
SEUSingle-Event Upset
SOCSystem On Chip
SPARCScalable Processor Architecture
SPISerial Peripheral Interface
SRAMStatic Random Access Memory
SDRAMSynchronous Dynamic Random Access Memory
TCMTightly Coupled Memory
TMRTriple Modular Redundancy
TRLTechnology Readiness Level
UARTUniversal Asynchronous Receiver/Transmitter

References

  1. Frontgrade Gaisler. LEON and NOEL-V SoC Architectures. Available online: https://download.gaisler.com/white_papers/Position-Paper-LEON-NOELV-SoC-Architectures-2022-02-22.pdf (accessed on 7 May 2026).
  2. Andersson, J. Development of a NOEL-V RISC-V SoC Targeting Space Applications. In Proceedings of the 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Valencia, Spain, 29 June–2 July 2020; IEEE: Piscataway, NJ, USA, 2020; pp. 66–67. [Google Scholar] [CrossRef]
  3. NASA. High Performance Spaceflight Computing (HPSC) White Paper. Available online: https://www.nasa.gov/wp-content/uploads/2024/07/hpsc-white-paper-tmg-23jul2024.pdf?emrc=6a049985c5a0c (accessed on 7 May 2026).
  4. Habinc, S.; Gaisler, J. LEON3FT Processor with PCI, Ethernet and Reed-Solomon SDRAM protection. In Proceedings of the Military and Aerospace Programmable Logic Devices (MAPLD) Conference 2008, Annapolis, MD, USA, 15–18 September 2008; National Aeronautics and Space Administration: Moffett Field, CA, USA, 2008. Available online: https://nepp.nasa.gov/mapld_2008/presentations/t/01%20-%20Gaisler_Jiri_mapld08_pres_1.pdf (accessed on 7 May 2026).
  5. Green, C.; Haghani, N.; Hernandez-Pellerano, A.; Gheen, B.; Lanham, A.; Fraction, J. MUSTANG: A Workhorse for NASA Spaceflight Avionics. In Proceedings of the 2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, USA, 18–27 July 2023; IEEE: Piscataway, NJ, USA, 2023. [Google Scholar] [CrossRef]
  6. Flatley, T. SpaceCube: A family of reconfigurable hybrid on-board science data processors. In 2012 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Erlangen, Germany, 2012; IEEE: Piscataway, NJ, USA, 2012. [Google Scholar] [CrossRef]
  7. Asanovic, K.; Patterson, D.A. Instruction Sets Should Be Free: The Case for RISC-V; Technical Report No. UCB/EECS-2014-146; EECS Department, University of California: Berkeley, CA, USA, 2014; Available online: https://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-146.html (accessed on 7 May 2026).
  8. Waterman, A.; Lee, Y.; Patterson, D.; Asanovic, K. The RISC-V Instruction Set Manual, Volume I: Unprivileged ISA Version 2.0; University of California: Berkeley, CA, USA, 2016. [Google Scholar]
  9. Gaisler, J.; Catovic, E. Multi-Core Processor Based on LEON3-FT IP Core (LEON3-FT-MP). In DASIA 2006—Data Systems in Aerospace, Proceedings of the Conference Held 22–25 May, 2006 in Berlin, Germany; Ouwehand, L., Ed.; ESA SP-630; European Space Agency: Noordwijk, The Netherlands, 2006; Available online: https://articles.adsabs.harvard.edu/pdf/2006ESASP.630E..76G (accessed on 7 May 2026).
  10. Weigand, R.; Redant, S. LEONUMC—The LEON2 Fault Tolerant Processor in 0.18 μm Commercial UMC Technology. In Proceedings of the 2004 Microelectronics Presentation Days, Noordwijk, The Netherlands, 4–5 February 2004; European Space Agency: Noordwijk, The Netherlands, 2004; Available online: http://microelectronics.esa.int/mpd2004/leonumc-mpd2004.pdf (accessed on 7 May 2026).
  11. Holler, R.; Haselberger, D.; Ballek, D.; Rossler, P.; Krapfenbauer, M.; Linauer, M. Open-Source RISC-V Processor IP Cores for FPGAs—Overview and Evaluation. In Proceedings of the 2019 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro, 10–14 June 2019; IEEE: Piscataway, NJ, USA, 2019; pp. 1–6. [Google Scholar] [CrossRef]
  12. Di Mascio, S.; Menicucci, A.; Gill, E.K.A.; Furano, G.; Monteleone, C. Leveraging the Openness and Modularity of RISC-V in Space. J. Aerosp. Inf. Syst. 2019, 16, 454–472. [Google Scholar] [CrossRef]
  13. Gupta, S.; Gala, N.; Madhusudan, G.; Veezhinathan, K. SHAKTI-F: A Fault Tolerant Microprocessor Architecture. In Proceedings of the 2015 IEEE 24th Asian Test Symposium (ATS), Mumbai, India, 22–25 November 2015; IEEE: Piscataway, NJ, USA, 2015; pp. 163–168. [Google Scholar] [CrossRef]
  14. Li, J.; Zhang, S.; Bao, C. DuckCore: A Fault-Tolerant Processor Core Architecture Based on the RISC-V ISA. Electronics 2022, 11, 122. [Google Scholar] [CrossRef]
  15. Santos, D.A.; Luza, L.M.; Zeferino, C.A.; Dilillo, L.; Melo, D.R. A Low-Cost Fault-Tolerant RISC-V Processor for Space Systems. In Proceedings of the 2020 15th Design & Technology of Integrated Systems in Nanoscale Era (DTIS), Marrakech, Morocco, 1–3 April 2020; IEEE: Piscataway, NJ, USA, 2020; pp. 1–5. [Google Scholar] [CrossRef]
  16. Sim, M.; Zhuang, Y. A Dual Lockstep Processor System-on-a-Chip for Fast Error Recovery in Safety-Critical Applications. In Proceedings of the IECON 2020, The 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore, 18–21 October 2020; IEEE: Piscataway, NJ, USA, 2020; pp. 2231–2238. [Google Scholar] [CrossRef]
  17. Rogenmoser, M.; Wiese, P.; Forlin, B.E.; Gürkaynak, F.K.; Rech, P.; Menicucci, A.; Ottavi, M.; Benini, L. Trikarenos: Design and Experimental Characterization of a Fault-Tolerant 28-nm RISC-V-Based SoC. IEEE Trans. Nucl. Sci. 2025, 72, 2783–2792. [Google Scholar] [CrossRef]
  18. Böhmer, K.; Forlin, B.; Cazzaniga, C.; Rech, P.; Furano, G.; Alachiotis, N.; Ottavi, M. Neutron Radiation Tests of the NEORV32 RISC-V SoC on Flash-Based FPGAs. In Proceedings of the 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Juan-Les-Pins, France, 3–5 October 2023; IEEE: Piscataway, NJ, USA, 2023; pp. 1–6. [Google Scholar] [CrossRef]
  19. Cora, G.; De Sio, C.; Azimi, S.; Sterpone, L. Selective hardening of RISC-V soft-processors for space applications. Microelectron. Reliab. 2025, 167, 115667. [Google Scholar] [CrossRef]
  20. Barbirotta, M.; Cheikh, A.; Mastrandrea, A.; Menichelli, F.; Vigli, F.; Olivieri, M. A Fault Tolerant soft-core obtained from an Interleaved-Multi-Threading RISC-V microprocessor design. In Proceedings of the 34th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Athens, Greece, 6–8 October 2021; IEEE: Piscataway, NJ, USA, 2021; pp. 1–4. [Google Scholar] [CrossRef]
  21. Patankar, U.S.; Koer, A. Review of Basic Classes of Dividers Based on Division Algorithm. IEEE Access 2021, 9, 23035–23069. [Google Scholar] [CrossRef]
  22. IEEE Std 754-2019; IEEE Standard for Floating-Point Arithmetic. IEEE: Piscataway, NJ, USA, 2019. [CrossRef]
  23. Li, Y.; Chu, W. A new non-restoring square root algorithm and its VLSI implementations. In Proceedings of the International Conference on Computer Design, VLSI in Computers and Processors, Austin, TX, USA, 7–9 October 1996; IEEE: Piscataway, NJ, USA, 1996. [Google Scholar] [CrossRef]
  24. Gaisler, J. A portable and fault-tolerant microprocessor based on the SPARC v8 architecture. In Proceedings of the International Conference on Dependable Systems and Networks, Washington, DC, USA, 23–26 June 2002; IEEE: Piscataway, NJ, USA, 2002; pp. 409–415. [Google Scholar] [CrossRef]
  25. Berg, M.; LaBel, K. New Developments in Error Detection and Correction Strategies for Critical Applications. In Proceedings of the 2016 Single Event Effects (SEE) Symposium and Military and Aerospace Programmable Logic Devices (MAPLD) Workshop, San Diego, CA, USA, 23–26 May 2016; National Aeronautics and Space Administration: Moffett Field, CA, USA, 2016. Available online: https://ntrs.nasa.gov/citations/20160007971 (accessed on 7 May 2026).
  26. Berg, M.; Label, K. Verification of Triple Modular Redundancy Insertion for Reliable and Trusted Systems. In Proceedings of the GOMAC Tech 2016 Government Microcircuits Applications & Critical Technologies Conference, Orland, FL, USA, 14–17 March 2016; National Aeronautics and Space Administration: Moffett Field, CA, USA, 2016. Available online: https://ntrs.nasa.gov/api/citations/20160003521/downloads/20160003521.pdf (accessed on 7 May 2026).
  27. Berg, M.; Campola, M. FPGA Mitigation Strategies for Critical Applications. In Proceedings of the Radiation Effects on Components and Systems (RADECS) Conference, Gothenburg, Sweden, 16–21 September 2018; IEEE: Piscataway, NJ, USA, 2018. Available online: https://ntrs.nasa.gov/api/citations/20180006778/downloads/20180006778.pdf (accessed on 7 May 2026).
  28. Jansen, R. Microelectronics Radiation Mitigation. In Proceedings of the European Data Handling and Data Processing Conference for Space 2023, Juan Les Pins, France, 2–6 October 2023; European Space Agency: Paris, France, 2023; Available online: https://indico.esa.int/event/445/contributions/8603/attachments/5600/9131/EDHPC%20tutorial%20-%20Microelectronics%20Radiation%20Mitigation%20v4.pdf (accessed on 7 May 2026).
  29. Hsiao, M.Y. A Class of Optimal Minimum Odd-weight-column SEC-DED Codes. IBM J. Res. Dev. 1970, 14, 395–401. [Google Scholar] [CrossRef]
  30. RISCOF—The RISC-V Compatibility Framework. Available online: https://github.com/riscv-software-src/riscof (accessed on 7 May 2026).
  31. VUnit: A Test Framework for HDL. Available online: https://vunit.github.io/ (accessed on 7 May 2026).
  32. Asplund, L.; Kraigher, O. VUnit: A Unit Testing Framework for VHDL/SystemVerilog. In DVCon Europe 2014; Accellera Systems Initiative: Elk Grove, CA, USA, 2014. [Google Scholar]
  33. Open Source VHDL Verification Methodology (OSVVM). Available online: https://osvvm.org/ (accessed on 7 May 2026).
  34. Intelligent Coverage Driven, Modern Verification for VHDL Based Designs in Native VHDL with OSVVM. In Design and Verification Conference and Exhibition (DCON) 2015, India; Accellera Systems Initiative: San Jose, CA, USA, 2015; Available online: https://dvcon-proceedings.org/document/intelligent-coverage-driven-modern-verification-for-vhdl-based-designs-in-native-vhdl-with-osvvm-presentation/ (accessed on 7 May 2026).
  35. Gaisler, J. Fault-tolerant and radiation-hardened SPARC processors. In Proceedings of the Topical Workshop on Electronics for Particle Physics; CERN: Geneva, Switzerland, 2007; pp. 39–46. [Google Scholar] [CrossRef]
  36. CoreMark—CPU Benchmark. Available online: https://www.eembc.org/coremark/ (accessed on 7 May 2026).
  37. Bruno, A.; de Nolfo, G.A.; Daehn, M.; DuMonthier, J.; Legere, J.; Liceaga-Indart, I.; Messner, R.; Mitchell, J.G.; Ryan, J.M.; Suarez, G.; et al. The Lunar OutpOst Neutron Spectrometer (LOONS). In Proceedings of the 2022 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC), Milan, Italy, 5–12 November 2022; IEEE: Piscataway, NJ, USA, 2022; pp. 1–5. [Google Scholar] [CrossRef]
  38. de Nolfo, G.A.; Mitchell, J.G.; Suarez, G.; Ryan, J.M.; Bruno, A.; Dumonthier, J.; Legere, J.; Messner, R.; Tatoli, T.; Williams, L. Next-generation SOlar Neutron TRACking (SONTRAC) instrument. Nucl. Instrum. Methods Phys. Res. Sect. A Accel. Spectrometers Detect. Assoc. Equip. 2023, 1054, 168352. [Google Scholar] [CrossRef]
Figure 1. GRV block diagram.
Figure 1. GRV block diagram.
Aerospace 13 00464 g001
Figure 2. GRV pipeline block diagram.
Figure 2. GRV pipeline block diagram.
Aerospace 13 00464 g002
Figure 3. TMR implementation.
Figure 3. TMR implementation.
Aerospace 13 00464 g003
Figure 4. Pipeline operation during traps and register file errors. (a) Normal execution. (b) Normal trap operation (INST2 trapped). (c) Register file error detection/correction (INST2 restarted). (d) Uncorrectable register file error, error trap.
Figure 4. Pipeline operation during traps and register file errors. (a) Normal execution. (b) Normal trap operation (INST2 trapped). (c) Register file error detection/correction (INST2 restarted). (d) Uncorrectable register file error, error trap.
Aerospace 13 00464 g004
Figure 5. GRV verification using RISCOF.
Figure 5. GRV verification using RISCOF.
Aerospace 13 00464 g005
Figure 6. Test board developed to validate GRV functionality and facilitate integration with instruments.
Figure 6. Test board developed to validate GRV functionality and facilitate integration with instruments.
Aerospace 13 00464 g006
Figure 7. CoreMark results for the processors presented in this paper.
Figure 7. CoreMark results for the processors presented in this paper.
Aerospace 13 00464 g007
Table 1. RISC-V extensions supported by GRV.
Table 1. RISC-V extensions supported by GRV.
ExtensionDescription
AAtomic Instructions
CCompressed Instructions
EEmbedded, 32-bit ISA with 16 registers
IInteger, Base 32-bit ISA
MMultiplication and Division
ULess-privileged User-Mode
ZifenceiStream Synchronization Instructions
ZfinxSingle-Precision Floating-Point in Integer Register
ZicntrBase Counters
ZicondInteger Conditional Operations
ZicsrControl and Status Register Access Instructions
ZihpmHardware Performance Monitors
ZmmulInteger Multiplication-only Instructions
SmppmpPhysical Memory Protection
SmcntrpmfCounter Privilege Mode Filtering
SdextExternal Debug
SdtrigTrigger Module
ZbaShifted-Add Bit-Manipulation
ZbbBasic Bit-Manipulation
ZbcCarry-Less Multiplication Instructions
ZbsSingle-Bit Instructions
ZbkbBit-Manipulation Instructions for Cryptography
ZbkcCarry-Less Multiplication Instructions for Cryptography
ZbkxCrossbar Permutation
ZknhNIST Hash
ZkneNIST AES Encryption
ZkndNIST AES Decryption
ZksedShangMi Block Cypher
ZkshShangMi Hash
Table 2. GRV resource utilization and power estimation for various space-qualified FPGA vendors.
Table 2. GRV resource utilization and power estimation for various space-qualified FPGA vendors.
FPGAResource/ParameterUtilization (GRV)Utilization (GRV-FT)
Microchip RTProASIC3
RT3PE3000L
Core Cells27,002/75,624 (35.7%)54,036/75,624 (71%)
RAM4K96/112 (5%)12/112 (10%)
Frequency32 MHz16 MHz
Power (mW)76116
Microchip RTG4
RT4G150
4LUTs4896/151,824 (3.22%)4896/151,824 (3.22%)
DFFs3216/151,824 (2.11%)3216/151,824 (2.11%)
RAM64x181/240 (0.5%)2/240 (1%)
RAM1K180/236 (0%)0/236 (0%)
Frequency75 MHz75 MHz
Power (mW)198198
Lattice CertusPro-NX
LFCPNX-100
SLICE2512/79,872 (5%)2512/79,872 (5%)
LUT4S8369/79,872 (11%)8369/79,872 (11%)
Registers4552/80,769 (6%)9140/80,769 (11.31%)
EBR2/208 (1%)4/208 (2%)
Frequency100 MHz50 MHz
Power (mW)160245
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Guzman-Garcia, D.; Ridley, R.J.; Suarez, G.; Sheikh, S.I.; Daehn, M.C.; Dumonthier, J.J.; de Nolfo, G.A.; Mitchell, J.G. A Portable, Compact, and Fault-Tolerant Processor for Spaceflight Applications. Aerospace 2026, 13, 464. https://doi.org/10.3390/aerospace13050464

AMA Style

Guzman-Garcia D, Ridley RJ, Suarez G, Sheikh SI, Daehn MC, Dumonthier JJ, de Nolfo GA, Mitchell JG. A Portable, Compact, and Fault-Tolerant Processor for Spaceflight Applications. Aerospace. 2026; 13(5):464. https://doi.org/10.3390/aerospace13050464

Chicago/Turabian Style

Guzman-Garcia, David, Ryan J. Ridley, George Suarez, Salman I. Sheikh, Matthew C. Daehn, Jeffrey J. Dumonthier, Georgia A. de Nolfo, and John G. Mitchell. 2026. "A Portable, Compact, and Fault-Tolerant Processor for Spaceflight Applications" Aerospace 13, no. 5: 464. https://doi.org/10.3390/aerospace13050464

APA Style

Guzman-Garcia, D., Ridley, R. J., Suarez, G., Sheikh, S. I., Daehn, M. C., Dumonthier, J. J., de Nolfo, G. A., & Mitchell, J. G. (2026). A Portable, Compact, and Fault-Tolerant Processor for Spaceflight Applications. Aerospace, 13(5), 464. https://doi.org/10.3390/aerospace13050464

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop