I teach the course, An Introduction to Formal Methods, on behalf of . The course features their Symbiotic EDA Suite of programs, centered around a commercial version of SymbiYosys.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.