Replies: 1 comment
-
|
Thanks! It's also mentioned in Discussion #333 which lists various Formal Verification directions. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I am afraid that this is off-topic, but I would share Kôika, a rule-based HDL influenced by Bluespec HDL embedded in Coq. Some ideas developed for Kôika could improve Bluespec HDL too.
Beta Was this translation helpful? Give feedback.
All reactions