From: Eddie Hung Date: Fri, 24 Jan 2020 02:56:25 +0000 (-0800) Subject: Test for (* keep *)-ed abc9_box_id X-Git-Tag: working-ls180~849^2~5 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=11e50c0e9ecec6439d44064a0e1a016dc2b3188b;p=yosys.git Test for (* keep *)-ed abc9_box_id --- diff --git a/tests/simple_abc9/abc9.v b/tests/simple_abc9/abc9.v index ee01ab5dc..52ccb3e1d 100644 --- a/tests/simple_abc9/abc9.v +++ b/tests/simple_abc9/abc9.v @@ -291,3 +291,19 @@ module abc9_test035(input clk, d, output reg [1:0] q); always @(posedge clk) q[0] <= d; always @(negedge clk) q[1] <= q[0]; endmodule + +module abc9_test036(input A, B, S, output [1:0] O); + (* keep *) + MUXF8 m ( + .I0(I0), + .I1(I1), + .O(O[0]), + .S(S) + ); + MUXF8 m2 ( + .I0(I0), + .I1(I1), + .O(O[1]), + .S(S) + ); +endmodule