Architecture
Research
Translating Common Security Assertions Across Processor Designs: A RISC-V Case Study
Abstract
This work introduces a novel methodology for translating pre-defined security assertions across disparate processor architectures, addressing the high cost and complexity of manual verification, especially within the growing RISC-V ecosystem. The automated
Research
Optimizing Energy Efficiency in Subthreshold RISC-V Cores
Abstract
This study analyzes the energy efficiency of six open-source RISC-V cores operating in the subthreshold regime, utilizing a custom library targeting 300 mV in a 130 nm process. The core finding demonstrates
Research
Croc: An End-to-End Open-Source Extensible RISC-V MCU Platform to Democratize Silicon
Abstract
Croc is an end-to-end, free and open-source RISC-V microcontroller platform designed to democratize silicon access and bridge the gap between education and semiconductor innovation. The platform features a streamlined OS synthesis flow
Research
Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor
Abstract
This paper reports the first comprehensive formal verification of observational correctness for the CHERIoT-Ibex processor, a RISC-V core implementing the security-focused CHERI architecture with complex, internally compressed capabilities. Utilizing the Sail ISA
Research
Hardware and software build flow with SoCMake
Abstract
The increasing complexity of System-on-Chip (SoC) designs requires robust build systems capable of simultaneously managing complex hardware generation and software cross-compilation. Recognizing that existing hardware build systems lack sufficient support for software
Research
Increasing the Energy-Efficiency of Wearables Using Low-Precision Posit Arithmetic with PHEE
Abstract
This paper investigates leveraging low-precision posit arithmetic to significantly enhance the energy efficiency of wearable biomedical devices, focusing on applications like ECG analysis and cough detection. The research confirms that low-bit posit