移植VexiiRiscv RV64 SMP到EP4CGX150

最近在头疼的学习各种Linux,换个脑子放放松.

先说成果:双核 RV64IMAFDC VexiiRiscv,Sv39,双发射,L1 cache 一致性,128 KiB 四路共享 L2;SDRAM 禁用,片上 RAM 256 KiB,LiteX BIOS/UARTBone 控制.带 Sv39 的配置;CPU DMI 可访问且两个hart.Quartus 25.1std fitter;101,209 / 149,760 LE,670 / 720 M9K.slow 0°C setup slack −0.025 ns,微负算是超工况运行下了.

板级描述:

https://gist.github.com/nickfox-taterli/dcd5172e17d0bce811b9f61e58aa5eff

构建

python vexii.py \
  --sys-clk-freq=66666667 --output-dir=build/vexii_rv64_smp_66m7 \
  --cpu-count=2 --with-jtag-tap --with-isa=a --l2-bytes=131072 --l2-ways=4 \
  --main-ram-size=0x40000 --update-repo=no \
  --vexii-args='--xlen=64 --with-rva --with-rvd --with-rvc --with-supervisor --dual-issue --max-ipc --lsu-l1-coherency --performance-counters=9 --debug-triggers=4 --fma-reduced-accuracy --fpu-ignore-subnormal' \
  --build

实测

为什么到这就停了,因为这个板子没有外扩资源啊.