I think I found an excuse to use BDDs in my next project for work.
Show this thread
-
And then query the transitive closure.
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 ➠
- 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.