src/Testcases/Yosys/lut/map_xor.v

module top();
    input a, b;
    output y;
    assign y = a^b;
endmodule