abc9_model.v « ecp5 « techlibs - iCE40/yosys - [no description]

about summary refs log tree commit diff stats

path: root/techlibs/ecp5/abc9_model.v

blob: 1dc8b561776c5e34ed96f6ee94731227b7013db6 (plain)

// ---------------------------------------

(* abc9_box_id=2 *)
module \$__ABC9_DPR16X4_COMB (input [3:0] A, S, output [3:0] Y);
endmodule

an> of issue is begin assert "+"(unsigned'("0001"), unsigned'("0001")) = unsigned'("0010"); assert "-"(unsigned'("0001"), unsigned'("0001")) = unsigned'("0000"); assert "="(unsigned'("0001"), unsigned'("0001")); assert "+"(signed'("0001"), signed'("0001")) = signed'("0010"); assert "-"(signed'("0001"), signed'("0001")) = signed'("0000"); assert "="(signed'("0001"), signed'("0001")); end architecture beh;