A repository for research contests spanning topics from hardware security and embedded/VLSI machine learning to electronic design automation, bio design automation, and formal verification.
eda
benchmarks
formal-verification
contests
hardware-security
bio-design-automation
bda
electronic-design-automation
vlsi-machine-learning
embedded-machine-learning
-
Updated
Apr 29, 2021 - TeX