Using Boolean algebra as switching algebra, complex circuits are expressed so that they can be evaluated mathematically.

Formal Methods in System Design (2024). [3] Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials.