#synlig — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #synlig, aggregated by home.social.
-
just made a nix flake so I could have a dev shell for yosys and synlig. Hopefully will make a plugin for Yosys to expand its formal verification abilities.
Or fail miserably because I don't know what I'm doing, tune in next week for self doubt, chaos and lots of gnashing of teeth!