SVIncCompil/Testcases/Yosys/lut/map_not.v

module top();
    input a;
    output y;
    assign y = ~a;
endmodule