RV32IMAC RISC-V Core
A domestic 32-bit RISC-V soft processor
Processor IP
Overview
Inside a storage controller a processor is always running the firmware — the FTL, command handling, power-loss recovery. This core fills that seat: a 32-bit soft processor implementing the open RISC-V instruction set (RV32IMAC + Zicsr), which no single vendor licences. On top of integer arithmetic it supports multiply/divide (M), atomic operations (A) and the 16-bit compressed encoding (C) that shrinks code size, and each of the three extensions can be switched off by parameter to save area.
The distinguishing structure is a valid-ready handshake at every boundary of the five-stage pipeline. Data advances on valid, and when a downstream stage lowers ready the back-pressure propagates upstream so the whole pipeline halts without losing an instruction. Memory is a 128 KB true dual-port TCM: instruction fetch and data access use separate ports, so they never contend and fetch latency is fixed at one cycle. External peripherals attach through an AXI4-Lite master, and an access to unmapped space traps as a precise exception.
For verification, the same test source builds three configurations — RV32IMAC, RV32IMC and RV32I — and all pass, and eight deliberately injected RTL mutations were all caught by the regression suite. The core is written in pure Verilog-2001 for portability between synthesis tools, and has been confirmed on Intel Arria II GX and AMD Xilinx Artix UltraScale+ devices.
| Instruction set | RISC-V RV32IMAC + Zicsr (Machine mode) |
|---|---|
| Pipeline | Five-stage in-order · valid-ready handshake at every stage boundary |
| On-chip memory | 128 KB true dual-port TCM (1 word/cycle per port) |
| External bus | AXI4-Lite master ×1 |
Architecture
Architecture
Deliverables
Included with a licence
- Synthesisable Verilog RTL and integration wrappers
- Cycle-accurate reference model and equivalence checker
- Full-chain testbench (clean / correct / UE / pad vectors)
- Datasheet, manual and integration guide (on request)
Verification toolchains: Intel/Altera (Quartus) · AMD/Xilinx (Vivado) · ASIC — process-portable RTL
Engagement
How we engage
01
IP licence
Licence the verified IP as it stands. Synthesisable RTL, the verification environment and an integration guide come with it.
02
Custom development
The IP is modified or extended to your requirement. Because we design from the interface layer up, unusual requirements can be accommodated.
03
Co-development & national programmes
Joint silicon and firmware development against platform requirements, including participation in national R&D programmes. Scope and terms are agreed case by case.
More IP
Other IP in the portfolio
Controller
SSD Controller
1.44MB to 16TB from a single controller
Interface IP
SATA 6Gbps Link / Transport
Domestic SATA Gen3 interface IP
Interface IP
UFS Host Controller (AXI4)
A JEDEC UFSHCI 3.0 host controller in pure RTL
ECC
156-bit BCH ECC
Parametric BCH codec, t = 8 … 156
ECC
QC-LDPC Error Correction
Soft-decision error correction for 3D NAND TLC / QLC
Security IP
PBKDF2-HMAC Key Derivation
Password to key — an RFC 8018 hardware engine
Security IP
AES-128/256 Encryption
Combined encrypt/decrypt engine with DMA streaming
DSP IP
ADSP-2181 Compatible DSP Core
Replaces an obsolete DSP, running its original binaries
DSP IP
DSP56001 Compatible DSP Core
A 24-bit fixed-point DSP — in active development
DSP IP
TMS320C54x Compatible DSP Core
16-bit fixed-point DSP — single-cycle MAC, Viterbi acceleration