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.
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?
-
For a certain subset, yes. But don't hold your breadth.. :) But afaik there is no free and open Verilog simulator yet that supports it..
- 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.