WDDL XOR netlist