Skip to content

Optimization: Remove all constraints of form "a == F(b,c)" and insert "F(b,c)" where ever "a" is found

The following gate fit the "a == F(b,c)" format; where a is the result of the gate:

  1. NOT: a == 1 - b
  2. BUF: a == b
  3. XOR: a == abs(b - c)
  4. XNOR: a == 1 - abs(b - c)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information