Skip to content

Y
yosys-tests
Commit 9eb441b8 by Miodrag Milanovic
Options

test fix

parent 81d44f17
Showing with 5 additions and 3 deletions
architecture/common.v
module assert_dff(input clk, input test, input pat); module assert_dff(input clk, input test, input pat);
always @(posedge clk) always @(posedge clk)
begin begin
#1;
if (test != pat) if (test != pat)
begin begin
$display("ERROR: ASSERTION FAILED in %m:",$time); $display("ERROR: ASSERTION FAILED in %m:",$time);
...@@ -12,7 +13,7 @@ endmodule ...@@ -12,7 +13,7 @@ endmodule
module assert_tri(input en, input A, input B); module assert_tri(input en, input A, input B);
always @(posedge en) always @(posedge en)
begin begin
//#1; #1;
if (A !== B) if (A !== B)
begin begin
$display("ERROR: ASSERTION FAILED in %m:",$time," ",A," ",B); $display("ERROR: ASSERTION FAILED in %m:",$time," ",A," ",B);
...@@ -24,7 +25,7 @@ endmodule ...@@ -24,7 +25,7 @@ endmodule
module assert_Z(input clk, input A); module assert_Z(input clk, input A);
always @(posedge clk) always @(posedge clk)
begin begin
//#1; #1;
if (A === 1'bZ) if (A === 1'bZ)
begin begin
$display("ERROR: ASSERTION FAILED in %m:",$time," ",A); $display("ERROR: ASSERTION FAILED in %m:",$time," ",A);
......
frontends/common.v
module assert_dff(input clk, input test, input pat); module assert_dff(input clk, input test, input pat);
always @(posedge clk) always @(posedge clk)
begin begin
#1;
if (test != pat) if (test != pat)
begin begin
$display("ERROR: ASSERTION FAILED in %m:",$time); $display("ERROR: ASSERTION FAILED in %m:",$time);
...@@ -24,7 +25,7 @@ endmodule ...@@ -24,7 +25,7 @@ endmodule
module assert_Z(input clk, input A); module assert_Z(input clk, input A);
always @(posedge clk) always @(posedge clk)
begin begin
//#1; #1;
if (A === 1'bZ) if (A === 1'bZ)
begin begin
$display("ERROR: ASSERTION FAILED in %m:",$time," ",A); $display("ERROR: ASSERTION FAILED in %m:",$time," ",A);
......
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