Lucas presents "How we learned to stop worrying and build a #RISCV VP with only one microcode instruction" at #MBMV2023. @lcsklmmr

👉 https://ics.jku.at/files/2023MBMV_How-we-learned-to-stop-worrying-and-build-a-RISC-V-VP-with-only-one-microcode-instruction.pdf

#OISC #VP #SUBLEQ #ISS #formalverification