aboutsummaryrefslogtreecommitdiffstats
path: root/tests/opt
diff options
context:
space:
mode:
authorJim Lawson <ucbjrl@berkeley.edu>2019-02-25 16:04:20 -0800
committerJim Lawson <ucbjrl@berkeley.edu>2019-02-25 16:04:20 -0800
commit81abb2517c3d6e8fd2b31ff6d9d019d956a6bc14 (patch)
treec64df65f19414b166128231218f0f595d93fa58a /tests/opt
parent970f854c2ad271098b841e61b1d37a61cd04e252 (diff)
parentc258b99040c8414952a3aceae874dc47563540dc (diff)
downloadyosys-81abb2517c3d6e8fd2b31ff6d9d019d956a6bc14.tar.gz
yosys-81abb2517c3d6e8fd2b31ff6d9d019d956a6bc14.tar.bz2
yosys-81abb2517c3d6e8fd2b31ff6d9d019d956a6bc14.zip
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'tests/opt')
-rw-r--r--tests/opt/opt_ff.v21
-rw-r--r--tests/opt/opt_ff.ys3
2 files changed, 24 insertions, 0 deletions
diff --git a/tests/opt/opt_ff.v b/tests/opt/opt_ff.v
new file mode 100644
index 000000000..a01b64b61
--- /dev/null
+++ b/tests/opt/opt_ff.v
@@ -0,0 +1,21 @@
+module top(
+ input clk,
+ input rst,
+ input [2:0] a,
+ output [1:0] b
+);
+ reg [2:0] b_reg;
+ initial begin
+ b_reg <= 3'b0;
+ end
+
+ assign b = b_reg[1:0];
+ always @(posedge clk or posedge rst) begin
+ if(rst) begin
+ b_reg <= 3'b0;
+ end else begin
+ b_reg <= a;
+ end
+ end
+endmodule
+
diff --git a/tests/opt/opt_ff.ys b/tests/opt/opt_ff.ys
new file mode 100644
index 000000000..704c7acf3
--- /dev/null
+++ b/tests/opt/opt_ff.ys
@@ -0,0 +1,3 @@
+read_verilog opt_ff.v
+synth_ice40
+ice40_unlut