Is there any free or free-as-in-free-beer Verilog sim that supports SVA properties? I need a reference implementation to check against..
-
-
Replying to @oe1cxw
I don't know if you would like - but I can volunteer to run it offline if that helps (with commercial sim that's )
1 reply 0 retweets 1 like -
Replying to @sricvc
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)
1 reply 0 retweets 1 like -
you could also use
@EDAPlayground if you register using a corporate address.1 reply 0 retweets 0 likes -
Your can use Aldec Riviera Pro on
@EDAPlayground using a Google or Facebook account. Riviera Pro supports SVA.1 reply 1 retweet 1 like
Good to know. Unfortunately I can't use that to implement vloghammer-like regression tests.
3:46 AM - 30 Aug 2016
0 replies
0 retweets
0 likes
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.