Kathi talks about "Fuzz-testing of #SpinalHDL designs" at #MBMV2023.
๐ https://ics.jku.at/files/2023MBMV_Fuzz-testing-of-SpinalHDL-designs.pdf
#spinalhdl #mbmv2023 #fuzzing #eda #hardware #verification
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
#mbmv2023 #divider #verification
#MBMV2023 Workshop extended deadline: Feb. 3, 2023.
MBMV will take place at U Freiburg from March 23 to March 24, 2023. We have 3 submission categories.
More: ๐ https://cca.informatik.uni-freiburg.de/mbmv23/
#mbmv2023 #verification #modeling #circuits #systems #languages
#MBMV2023 Workshop extended deadline: Feb. 3, 2023. MBMV will take place at U Freiburg from March 23 to March 24, 2023. We have 3 submission categories. More: ๐ cca.informatik.uni-freiburg.de/mbmv23
#mbmv2023 #verification #modeling #circuits #systems #languages