SVA support in Yosys via Verific is coming along nicely. See for example this code that can be processed now:https://github.com/cliffordwolf/yosys/blob/master/tests/sva/counter.sv …
-
Does this require an expensive blob to use, or what? Not sure what your relationship with their front end is.
Yes, you'll need a Verific license to use that. Many commercial and academic users of Yosys already do.
-
-
Academic users usually only have access to the binary only "eval" library. Commercial users get full access to Verific source code.
-
Ah, ok. Any chance of seeing native support for SVA in Yosys down the road?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.