Kathi talks about "Fuzz-testing of #SpinalHDL designs" at #MBMV2023.

👉 https://ics.jku.at/files/2023MBMV_Fuzz-testing-of-SpinalHDL-designs.pdf

#Fuzzing #EDA #hardware #verification

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

Today at #MBMV2023 Alexander Konrad from U Freiburg presents our joint work on „#Divider #Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization“

👉 https://ics.jku.at/files/2023MBMV_Divider-verification-using-symbolic-computer-algebra-and-ddco.pdf