Samuel Coward
Toggle navigation
about
EDA Blog
(current)
publications
repositories
cv
submenus
publications
projects
verification
an archive of posts with this tag
May 17, 2026
verifying EDA and compiler optimizations once and for all