Module 6 — Check two designs for equivalence · Binary Decision Diagrams with CUDD

formal.org
Binary Decision Diagrams with CUDD

Module 6 — Check two designs for equivalenceMiters, equivalence checking by comparing BDD nodes, counterexamples from cubes, ordering a circuit's inputs, and equivalence checking at scale.Katas in this module (4)

Kata 6.1 — Find an input the two designs disagree on

Kata 6.2 — Rebuild a design with another structure

Kata 6.3 — Read a miter's verdict

Kata 6.4 — Order a comparator's inputs

Part of Binary Decision Diagrams with CUDD on formal.org.