aboutsummaryrefslogtreecommitdiffstats
path: root/tests/simple
diff options
context:
space:
mode:
Diffstat (limited to 'tests/simple')
-rw-r--r--tests/simple/reg_wire_error.v40
1 files changed, 0 insertions, 40 deletions
diff --git a/tests/simple/reg_wire_error.v b/tests/simple/reg_wire_error.v
deleted file mode 100644
index ab461b95a..000000000
--- a/tests/simple/reg_wire_error.v
+++ /dev/null
@@ -1,40 +0,0 @@
-module sub_mod(input i_in, output o_out);
-assign o_out = i_in;
-endmodule
-
-module test(i_clk, i_reg, o_reg, o_wire);
-input i_clk;
-input i_reg;
-output o_reg;
-output o_wire;
-
-// Enable this to see how it doesn't fail on yosys although it should
-//reg o_wire;
-// Enable this instead of the above to see how logic can be mapped to a wire
-logic o_wire;
-// Enable this to see how it doesn't fail on yosys although it should
-//reg i_reg;
-// Disable this to see how it doesn't fail on yosys although it should
-reg o_reg;
-
-logic l_reg;
-
-// Enable this to tst if logic-turne-reg will catch assignments even if done before it turned into a reg
-//assign l_reg = !o_reg;
-initial o_reg = 1'b0;
-always @(posedge i_clk)
-begin
- o_reg <= !o_reg;
- l_reg <= !o_reg;
-end
-
-assign o_wire = !o_reg;
-// Uncomment this to see how a logic already turned intoa reg can be freely assigned on yosys
-//assign l_reg = !o_reg;
-
-sub_mod sm_inst (
- .i_in(1'b1),
- .o_out(o_reg)
-);
-endmodule
-