L'ordinador llegeix la teva fórmula matemàtica i crea un arbre jeràrquic d'operacions per saber quina té prioritat.

Substituïm cada node de l'arbre per la seva equivalència exacta en portes NAND. Com pots veure al comptador i al dibuix, és un malbaratament enorme de recursos.

S'eliminen els patrons NOT(NOT(X)) inútils. Dues negacions seguides s'anul·len, estalviant portes innecessàries.

Es fusionen operacions ineficients (com un AND seguit d'un NOT) col·lapsant-les directament en una sola porta NAND física.

El disseny definitiu llest per fabricar. Si compares el comptador de portes amb el Pas 2, veuràs l'impacte d'un bon compilador en el cost de fabricació del xip.

Què fa aquest circuit exactament? El simulador ha provat totes les combinacions possibles (0 = Fals / Apagat, 1 = Cert / Encès) a les entrades per veure què surt al final. Aquest és el comportament matemàtic del teu xip.