Commit 73791bae by Eddie Hung

Fix tests

parent b932966e
// Check inference even when not in vector // Check inference even when not in vector
(* top *)
module test17a (input clk, input i, output q); module test17a (input clk, input i, output q);
generate generate
reg a1, a2, a3, a4, a5, a6, a7, a8; reg a1, a2, a3, a4, a5, a6, a7, a8;
......
// Check inference even when not in vector // Check inference even when not in vector
module test17a (input clk, input i, input e, output q); (* top *)
module test17b (input clk, input i, input e, output q);
generate generate
reg a1, a2, a3, a4, a5, a6, a7, a8; reg a1, a2, a3, a4, a5, a6, a7, a8;
always @(posedge clk) if (e) {a8,a7,a6,a5,a4,a3,a2,a1} <= {a7,a6,a5,a4,a3,a2,a1,i}; always @(posedge clk) if (e) {a8,a7,a6,a5,a4,a3,a2,a1} <= {a7,a6,a5,a4,a3,a2,a1,i};
......
// Check inference even when keep attribute specified // Check inference even when keep attribute specified
(* top *)
module test17c (input clk, input i, input e, output q); module test17c (input clk, input i, input e, output q);
generate generate
reg a1, a2, a3; reg a1, a2, a3;
......
// Check inference even when keep attribute specified // Check inference even when keep attribute specified
(* top *)
module test17d (input clk, input i, input e, output q); module test17d (input clk, input i, input e, output q);
generate generate
reg a1, a2; reg a1, a2;
......
// Check inference even when keep attribute specified // Check inference even when keep attribute specified
module test17d (input clk, input i, input e, output q); (* top *)
module test17e (input clk, input i, input e, output q);
generate generate
reg a1, a2; reg a1, a2;
(* blah *) reg a3; (* blah *) reg a3;
......
...@@ -24,4 +24,4 @@ endmodule ...@@ -24,4 +24,4 @@ endmodule
module __test ; module __test ;
wire [4095:0] assert_area = "cd test20; select t:FD* -assert-count 0"; wire [4095:0] assert_area = "cd test20; select t:FD* -assert-count 0";
endmodule endmodule
`endi `endif
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment