RISC-V

Research

ChiSA: Static Analysis for Lightweight Chisel Verification

Abstract ChiSA introduces a novel static analysis framework specifically designed for lightweight verification of hardware designs written in the Chisel HDL. This approach allows developers to detect common design errors, structural inconsistencies, and

By Admin 8 Jan 2026 • 2 min read •

Research

ArchSem: Reusable Rigorous Semantics of Relaxed Architectures

Abstract ArchSem introduces a novel, reusable framework for defining the rigorous semantics of complex relaxed computer architectures. This approach allows developers and verification engineers to formally specify weak memory models (WMMs) in a

By Admin 8 Jan 2026 • 2 min read •

🔒 Members

Research

Foundational Verification of Running-Time Bounds for Interactive Programs (Full Report)

By Admin 8 Jan 2026 •

Research

Foundational Verification of Running-Time Bounds for Interactive Programs

Abstract This article introduces a novel methodology for the foundational verification of running-time bounds, specifically addressing the complexities of interactive programs. It establishes a formal framework capable of mathematically certifying Worst-Case Execution Time

By Admin 8 Jan 2026 • 2 min read •

🔒 Members

News

RISC-V's rise: A third CPU ecosystem in 5-10 years? - digitimes (Full Report)

By Admin 7 Jan 2026 •

News

RISC-V's rise: A third CPU ecosystem in 5-10 years? - digitimes

Abstract The Digitimes article assesses the rapid expansion of the RISC-V Instruction Set Architecture (ISA) in the global semiconductor market. It hypothesizes that, based on current industry trends and accelerated adoption, RISC-V is

By Admin 7 Jan 2026 • 2 min read •

🔒 Members

News

RISC-V’s AI Revolution: SiFive’s 2nd Gen Intelligence Cores Set to Topple the ARM/x86 Duopoly - FinancialContent (Full Report)

By Admin 7 Jan 2026 •

News

RISC-V’s AI Revolution: SiFive’s 2nd Gen Intelligence Cores Set to Topple the ARM/x86 Duopoly - FinancialContent

Abstract SiFive has introduced its 2nd Generation Intelligence Cores, significantly accelerating the RISC-V movement into the high-performance computing and AI processing markets. These advanced cores are specifically designed to handle intense machine learning

By Admin 7 Jan 2026 • 2 min read •

🔒 Members

News

Meta and Qualcomm push RISC-V market share towards 25% ... - eeNews Europe (Full Report)

By Admin 7 Jan 2026 •

News

Meta and Qualcomm push RISC-V market share towards 25% ... - eeNews Europe

Abstract Major technology leaders Meta and Qualcomm are aggressively integrating RISC-V into their semiconductor strategies, validating the open-source instruction set architecture (ISA). This strategic push is projected to propel RISC-V's market

By Admin 7 Jan 2026 • 2 min read •

🔒 Members

RISC-V

RISC-V Hits 25% Market Share: The Rise of Open-Source Silicon Sovereignty (Full Report)

By Admin 7 Jan 2026 •

RISC-V

RISC-V Hits 25% Market Share: The Rise of Open-Source Silicon Sovereignty

Abstract The RISC-V instruction set architecture (ISA) has achieved a significant milestone, claiming roughly 25% of the global processor market share. This rapid adoption is driven by its open, modular architecture, enabling broad

By Admin 7 Jan 2026 • 1 min read •