Do you like Ada? VHDL. In all other cases, Verilog (preferably SystemVerilog).
They are neat, sure. But you can also just write checker FSMs.. probably even easier when generating from other higher level languages.
-
-
OTOH none of the formal tools I've encountered will do immediate assertions. Just concurrent.
-
Yosys can do immediate assertions.
- 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.