I think I found an excuse to use BDDs in my next project for work.
Show this thread
-
➠ enumerate the whole state space, or so complex that the BDD would not fit in memory (or possibly all the memory in the world :).
Sometimes people ask me about checking CTL properties with Yosys. I always tell them that Yosys can export to (Nu)SMV where they can ➠
-
-
➠ check CTL properties with BDDs, and I also tell them they should let me know if they manage to do anything nontrivial with it. So far: Ø
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.