ferrisstreamsstuff | Ferris Makes Hardware Ep.008 - Formal Verification Part II @ferrisstreamsstuff | Uploaded 5 years ago | Updated 4 hours ago
After a frustrating attempt to set up a formal verification environment on Windows with msys2, let's try again using the Windows Subsystem for Linux instead!

Project repo: github.com/yupferris/xenowing

Episode playlist: youtube.com/playlist?list=PL-sXmdrqqYYeDcTxD-t6i-lgzmzbjKOBe

Follow me on twitter for updates on when I'll be streaming and other such nonsense! twitter.com/ferristweetsnow

Recorded on March 28 2019