#uhdm — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #uhdm, aggregated by home.social.
-
Okay, so first test of Yosys-Synlig for formal methods, it looks like everything was deemed non-synthesizable and removed...
...But of course it was non-synthesizable, I was trying to create some assertions for formal verification.
It is unclear if I don't understand the proper use of SVA, or if the Surelog "front end" isn't spitting out a UHDM representation for property syntax?
Interested in this at all? Ping me. Using Nix flake to setup the build tools. #yosys #nix #formal_methods #UHDM