Search · four archives

Results for RISC ProgramExplorer

or ask it as a questionAsk the stacks →

ArchivesarXiv PubMed bioRxiv chemRxiv

WhenAny time Past month Past year Past 5 years

OrderMost relevant Most cited Newest

12 papers · ranked by Valyu relevance

01
AarXiv17 Jan 2026
SimFuzz: Similarity-guided Block-level Mutation for RISC-V Processor Fuzzing
Hao Lyu, Jingzheng Wu, Xiang Ling, Yicheng Zhong + 2 more
—The Instruction Set Architecture (ISA) defines processor operations and serves as the interface between hardware and software. As an open ISA, RISC-V lowers the barriers to processor design and encourages widespread adoption, but also exposes processors to security risks such as functional bugs. Processor fuzzing is a…
62relevance
02
AarXiv13 Jan 2026
Bio-RV: Low-Power Resource-Efficient RISC-V Processor for Biomedical Applications
Vijay Pratap Sharma, Annu Kumar, Mohd Faisal Khan, Mukul Lokhande + 1 more
—This work presents Bio-RV, a compact and resourceefficient RISC-V processor intended for biomedical control applications, such as accelerator-based biomedical SoCs and implantable pacemaker systems. The proposed Bio-RV is a multi-cycle RV32I core that provides explicit execution control and external instruction…
61relevance
03
AarXiv6 May 2026
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
Shuanglong Kan, Sebastian Ertel
The Instruction Set Architecture (ISA) is the contract between compilers and processors; proving this contract formally demands cross-level connection to existing mechanized compilers and hardware implementations. As an open, modular ISA gaining adoption across embedded, mobile, and cloud platforms, RISC-V makes a…
59relevance
04
AarXiv8 Jul 2026
Embedded Blockchain Infrastructure Management (eBIM): A RISC-V-Empowered Hardware--Software Co-Design Framework Towards Trustworthy Blockchain
Qinglin Yang, Yuan Liu, Yaoyao Zhang, Boya Wang + 3 more
Blockchain systems are undergoing a fundamental transition from decentralized ledgers for digital assets to general-purpose trust infrastructures for verifiable computation, decentralized physical resources, and automated infrastructure management. Meanwhile, the limitations of the Blockchain as a Service (BaaS) model…
59relevance
05
AarXiv7 Jul 2026
HiFuzz: Hierarchical Reinforcement Learning for Semantic-Aware and Adaptive CPU Fuzzing
Ya Wang, Hanwei Fan, Zhenguo Liu, Xiaofeng Zhou + 3 more
Modern processor verification struggles to reach deep architectural states due to the inefficiencies of traditional mutation-based fuzzing. We propose HiFuzz, a novel hierarchical reinforcement learning framework that replaces mutation with a structured, two-layer generation process: a Program Agent for global layout…
56relevance
06
AarXiv11 Oct 2025
IntrinTrans: LLM-based Intrinsic Code Translator for RISC-V Vector
Han, Liutong, Tan, Zhiyuan + 10 more
The use of intrinsic functions to exploit hardware-specific capabilities is an important approach for optimizing library performance. Many mainstream libraries implement a large number of vectorized algorithms on Arm or x86 SIMD (Single-Instruction, Multiple-Data) intrinsic functions. With the rapid expansion of the…
56relevance
07
AarXiv9 Oct 2025
Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors
Cédrick Austa, Jan Tobias Müehlberg, Jean‐Michel Dricot
While interest in the open RISC-V instruction set architecture is growing, tools to assess the security of concrete processor implementations are lacking. There are dedicated tools and benchmarks for common microarchitectural side-channel vulnerabilities for popular processor families such as Intel x86-64 or ARM, but…
56relevance
08
AarXiv8 Jul 2026
Vectorizing Quantum Control: A RISC-V Vector Extension Architecture for Scalable Qubit Systems
Xiaorang Guo, Kun Qin, Yanbin Chen, Carsten Trinitis + 1 more
The Quantum Control Processor (QCP) bridges the gap between compiler toolchains and control electronics, and is responsible for translating compiled quantum circuits into executable instructions that directly manipulate qubits and handle measurement feedback. However, existing designs rely primarily on customized…
54relevance
09
AarXiv13 Jun 2026
Is RISC-V Ready for Massively Parallel Astrophysical Codes?
Jenny Lynn Almerol, Nitin Shukla, Federico Ficarelli, Geray S. Karademir + 4 more
We present a performance and portability evaluation of three well-established astrophysical production codes, namely iPIC3D, PLUTO, and OpenGGCM, on a Sophgo SG2044 RISC-V processor (part of the Monte Cimone cluster), with comparisons to AMD EPYC 9554 (x86) and NVIDIA GH200 Grace (ARM) systems. These applications…
54relevance
10
AarXiv26 Dec 2025
ReSMT: An SMT-Based Tool for Reverse Engineering
Nir Somech, Guy Katz
Software obfuscation techniques make code more difficult to understand, without changing its functionality. Such techniques are often used by authors of malicious software to avoid detection [[3]]. Reverse Engineering of obfuscated code, i.e., the process of overcoming obfuscation and answering questions about the…
54relevance
11
AarXiv19 Apr 2026
RISC-V Functional Safety for Autonomous Automotive Systems: An Analytical Framework and Research Roadmap for ML-Assisted Certification
Nick Andreasyan, Mikhail Struve, Alexey Popov, Maksim Nikolaev + 1 more
RISC-V is emerging as a viable platform for automotive-grade embedded computing, with recent ISO 26262 ASIL-D certifications demonstrating readiness for safety-critical deployment in autonomous driving systems. However, functional safety in automotive systems is fundamentally a certification problem rather than a…
52relevance
12
AarXiv3 Aug 2026
LACE: Large Language Model Aided Multi-Agent Framework for Agile RISC-V Instruction Extension
Pingqing Zheng, Jiayin Qin, Fuqi Zhang, Zishen Wan + 4 more
Domain-specific Instruction Set Architecture eXtensions (ISAX) are widely adopted in the RISC-V ecosystem to accelerate emerging workloads, but implementing and validating ISAXes across different cores remains slow and fragmented. Existing frameworks still require per-core interface adaptation, and differential testing…
50relevance

Results for RISC ProgramExplorer

SimFuzz: Similarity-guided Block-level Mutation for RISC-V Processor Fuzzing

Bio-RV: Low-Power Resource-Efficient RISC-V Processor for Biomedical Applications

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification

Embedded Blockchain Infrastructure Management (eBIM): A RISC-V-Empowered Hardware--Software Co-Design Framework Towards Trustworthy Blockchain

HiFuzz: Hierarchical Reinforcement Learning for Semantic-Aware and Adaptive CPU Fuzzing

IntrinTrans: LLM-based Intrinsic Code Translator for RISC-V Vector

Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors

Vectorizing Quantum Control: A RISC-V Vector Extension Architecture for Scalable Qubit Systems

Is RISC-V Ready for Massively Parallel Astrophysical Codes?

ReSMT: An SMT-Based Tool for Reverse Engineering

RISC-V Functional Safety for Autonomous Automotive Systems: An Analytical Framework and Research Roadmap for ML-Assisted Certification

LACE: Large Language Model Aided Multi-Agent Framework for Agile RISC-V Instruction Extension

SimFuzz: Similarity-guided Block-level Mutation for RISC-V Processor Fuzzing

Bio-RV: Low-Power Resource-Efficient RISC-V Processor for Biomedical Applications

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification

Embedded Blockchain Infrastructure Management (eBIM): A RISC-V-Empowered Hardware--Software Co-Design Framework Towards Trustworthy Blockchain

HiFuzz: Hierarchical Reinforcement Learning for Semantic-Aware and Adaptive CPU Fuzzing

IntrinTrans: LLM-based Intrinsic Code Translator for RISC-V Vector

Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors

Vectorizing Quantum Control: A RISC-V Vector Extension Architecture for Scalable Qubit Systems

Is RISC-V Ready for Massively Parallel Astrophysical Codes?

ReSMT: An SMT-Based Tool for Reverse Engineering

RISC-V Functional Safety for Autonomous Automotive Systems: An Analytical Framework and Research Roadmap for ML-Assisted Certification

LACE: Large Language Model Aided Multi-Agent Framework for Agile RISC-V Instruction Extension