NuAxiSemiconductor trade intelligence
Akeana Partners with Axiomise for Formal Verification of Its Super-Scalar RISC-V Cores
What happened
Akeana partners with Axiomise to formally verify its 4nm super-scalar RISC-V cores, aiming to reduce silicon re-spin risks.
Impact and signal
Low impactImpact score: 10/100
Affected components and suppliers
RISC-V Cores
Akeana Inc.Axiomise Limited
RISC-VFormal Verification4nm
Source and time
Source: SemiWiki · 2/26/2026 · View original source
Open the NuAxi live feed →
Real-time pricing, supply signals and AI analysis for semiconductor traders