I think I found an excuse to use BDDs in my next project for work.
Show this thread
-
Sounds good if your system is small/simple enough to build a BDD for it. In my apps I either had things so simple I could also just ➠
➠ 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: Ø
End of conversation
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.