(* techmap_celltype = "$_NOT_" *)
module _90_lut_not (A, Y);
    input A;
    output Y;

    wire [`LUT_WIDTH-1:0] AA;
    assign AA = {A};

    \$lut #(
        .WIDTH(`LUT_WIDTH),
        .LUT(4'b01)
    ) lut (
        .A(AA),
        .Y(Y)
    );
endmodule

(* techmap_celltype = "$_OR_" *)
module _90_lut_or (A, B, Y);
    input A, B;
    output Y;

    wire [`LUT_WIDTH-1:0] AA;
    assign AA = {B, A};

    \$lut #(
        .WIDTH(`LUT_WIDTH),
        .LUT(4'b1110)
    ) lut (
        .A(AA),
        .Y(Y)
    );
endmodule

(* techmap_celltype = "$_AND_" *)
module _90_lut_and (A, B, Y);
    input A, B;
    output Y;

    wire [`LUT_WIDTH-1:0] AA;
    assign AA = {B, A};

    \$lut #(
        .WIDTH(`LUT_WIDTH),
        .LUT(4'b1000)
    ) lut (
        .A(AA),
        .Y(Y)
    );
endmodule

(* techmap_celltype = "$_XOR_" *)
module _90_lut_xor (A, B, Y);
    input A, B;
    output Y;

    wire [`LUT_WIDTH-1:0] AA;
    assign AA = {B, A};

    \$lut #(
        .WIDTH(`LUT_WIDTH),
        .LUT(4'b0110)
    ) lut (
        .A(AA),
        .Y(Y)
    );
endmodule

(* techmap_celltype = "$_MUX_" *)
module _90_lut_mux (A, B, S, Y);
    input A, B, S;
    output Y;

    wire [`LUT_WIDTH-1:0] AA;
    assign AA = {S, B, A};

    \$lut #(
        .WIDTH(`LUT_WIDTH),
        //     A 1010 1010
        //     B 1100 1100
        //     S 1111 0000
        .LUT(8'b_1100_1010)
    ) lut (
        .A(AA),
        .Y(Y)
    );
endmodule
v?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>tree</a><a href='/cgit/iCE40/yosys/commit/backends/smt2/example.v?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>commit</a><a href='/cgit/iCE40/yosys/diff/backends/smt2/example.v?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>diff</a><a href='/cgit/iCE40/yosys/stats/backends/smt2/example.v'>stats</a></td><td class='form'><form class='right' method='get' action='/cgit/iCE40/yosys/log/backends/smt2/example.v'>
<input type='hidden' name='id' value='1bbcd277fbfbccbcc4094930ab4bdfd669789f06'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/cgit/iCE40/yosys/tree/?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>root</a>/<a href='/cgit/iCE40/yosys/tree/backends?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>backends</a>/<a href='/cgit/iCE40/yosys/tree/backends/smt2?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>smt2</a>/<a href='/cgit/iCE40/yosys/tree/backends/smt2/example.v?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>example.v</a></div><div class='content'>blob: b195266eb7e1344e837a33c1726b068f1a40254c (<a href='/cgit/iCE40/yosys/plain/backends/smt2/example.v?id=1bbcd277fbfbccbcc4094930ab4bdfd669789f06'>plain</a>)
<table summary='blob content' class='blob'>
<tr><td class='linenumbers'><pre><a id='n1' href='#n1'>1</a>
<a id='n2' href='#n2'>2</a>
<a id='n3' href='#n3'>3</a>
<a id='n4' href='#n4'>4</a>
<a id='n5' href='#n5'>5</a>
<a id='n6' href='#n6'>6</a>
<a id='n7' href='#n7'>7</a>
<a id='n8' href='#n8'>8</a>
<a id='n9' href='#n9'>9</a>
<a id='n10' href='#n10'>10</a>
<a id='n11' href='#n11'>11</a>
</pre></td>
<td class='lines'><pre><code>