Gates

References

• Ghica, Kaye, and Sprunger, A Complete Theory of Sequential Digital Circuits

class Circuit.Gate (V : outParam (Type u_1)) [Preorder V] (G : Type u_2) : Type (max u_1 u_2)

Logic gate.

• inputs : G → ℕ
• outputs : G → ℕ
• gate (g : G) : Wires V (inputs g) → Wires V (outputs g)
• gate_monotone (g : G) : Monotone (gate g)