Fabian GiesenFeb 15
BDDs are _very_ cool. That is all
Show threadFabian Giesen

I mean you can get fancy with them, but you can write a basic implementation in <100 lines of Python that is good enough to prove various 64-bit adder circuits logically equivalent, in a fraction of a second. It feels like cheating.

https://gist.github.com/rygorous/948308f7d998e5fd4e98344687580338

BDD implementation of some very basic circuit verification proving various 64-bit adder architectures equivalent

BDD implementation of some very basic circuit verification proving various 64-bit adder architectures equivalent - bdd_adders.py

Gist
Feb 15 at 11:10pmWeb
Show thread✧✦Catherine✦✧Feb 15
@rygorous they really don't scale well compared to AIGs, sadly