Convert AND-OR to NAND Logic
CMOS synthesis transforms all RTL into technology-mapped standard cells, overwhelmingly favoring NAND structures. Converting an idealized AND-OR schematic into a NAND-only netlist via bubble pushing allows designers to manually verify logic boundaries and debug unexpected inversion behavior.
The reference AND-OR circuit computes the logical AND of two sum-of-products expressions:
Y = ( (A & B) | (C & D) ) & ( (E & F) | (G & H) )
Implement this exact boolean function using only 2-input NAND gates. Apply systematic bubble pushing: introduce inversion bubbles at gate outputs and push them through subsequent gates using De Morgan's laws to cancel pairs, rather than re-deriving the expression from scratch.
Constraints
- Use only 2-input NAND gates.
- Do not use AND, OR, NOT, or XOR gates.
- Implement purely combinational logic.
Topics
Solve this problem
Place the gates, wire them up and watch the signals settle. Every submission runs on the same simulation engine that grades it.
This problem is part of Codiode Pro. The statement above is free to read.
The circuit builder and code editor need a desktop screen. On a phone, read the problem here and open it on a laptop to solve.