Functions and modules to help with problems relating to boolean algebra and digital circuit design. Requires 0 external libraries or packages.

These invariants can be arbitrary boolean expressions and can thus prune a large don’t care space during equivalence checking. Experimental results demonstrate that these general invariants can be ...