Verilog sources for Western Digital's open source RISC-V core | Heykuki News