Sorry, no. Have you looked at NuSMV(/nuXmv)? SMV might be a good backend for Yosys. I did a HardCaml one and it was quite simple.
#followerpower: Do you have access to any commercial Verilog BMC tools? Can you run two simple benchmarks for me?
-
-
-
Yosys already has an smv back-end, btw. But I want to benchmark against something that's not a Yosys flow..
- 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.