A real RISC-V computer in FPGA fabric: NeoRV32 on Alchitry Pt V2 (XC7A100T) with DDR3, 8-ch audio codec, SPI display/touch/flash, JTAG debug, and AI-assisted tooling Fault-Tolerant High-Speed Data ...

Formal (VC Formal FPV) and UVM verification of an 8-lane mixed-precision INT8/BF16/NVFP4 dot-product core, with a shared SystemVerilog golden reference across assertions and scoreboards. A personal ...