Is there any free or free-as-in-free-beer Verilog sim that supports SVA properties? I need a reference implementation to check against..
-
I don't know if you would like - but I can volunteer to run it offline if that helps (with commercial sim that's )
Thanks! I'll contact you regarding this if I don't have another solution by the time I have something to test. (few months at least)
-
-
you could also use
@EDAPlayground if you register using a corporate address. -
Your can use Aldec Riviera Pro on
@EDAPlayground using a Google or Facebook account. Riviera Pro supports SVA. - 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.