spec: CPU padding - #195

Merged

erik-3milabs merged 16 commits into

spec/cpu_padding

Jan 23, 2026

Commits on Jan 21, 2026

spec: CPU fast path for x0 reads
RobinJadoul
committed
c4afb51
Do not write/read pc when in a padding row
RobinJadoul
committed
31086e4
specify padding for the CPU
RobinJadoul
committed
fa14bbf
Apply suggestions from code review

RobinJadoul
and
erik-3milabs
authored
be1e74b
spec: DECODE: update padding row
erik-3milabs
committed
0715858
spec: DECODE: explain 'one more instruction'
erik-3milabs
committed
407dadc
spec: CPU: fix c_type_instruction typo
erik-3milabs
committed
7b90c67

Commits on Jan 22, 2026

Commits on Jan 23, 2026

spec: DECODE: update pc padding value
erik-3milabs
committed
38eed4a
spec: DECODE: several small fixes
erik-3milabs
committed
697af3a
spec: DECODE: fix ECALL's rs2 value

erik-3milabs
and
RobinJadoul
authored
5f404b3
spec: DECODE: minor rewording

erik-3milabs
and
RobinJadoul
authored
88d2390
spec: DECODE: minor fix
erik-3milabs
committed
fb55e3d