Daniel Grosse · @Daniel_Grosse
10 followers · 17 posts · Server fosstodon.org
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
Daniel Grosse · @Daniel_Grosse
9 followers · 13 posts · Server fosstodon.org
Daniel Grosse · @Daniel_Grosse
9 followers · 12 posts · Server fosstodon.org
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
Daniel Grosse · @Daniel_Grosse
2 followers · 5 posts · Server fosstodon.org
#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
Daniel Grosse · @Daniel_Grosse
2 followers · 5 posts · Server fosstodon.org
#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