Does this require an expensive blob to use, or what? Not sure what your relationship with their front end is.
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 …
-
-
-
Yes, you'll need a Verific license to use that. Many commercial and academic users of Yosys already do.
- 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.