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
#riscv #mbmv2023 #oisc #vp #subleq #iss #formalverification
