From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 20 Aug 2019 09:38:21 +0000 (+0200)
Subject: Add test case for real parameters
X-Git-Tag: working-ls180~1125
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6ffb910d12a93e64182b52a58e69386851f2d595;p=yosys.git

Add test case for real parameters

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/tests/simple/realexpr.v b/tests/simple/realexpr.v
index 5b756e6be..74ed8faa5 100644
--- a/tests/simple/realexpr.v
+++ b/tests/simple/realexpr.v
@@ -1,4 +1,3 @@
-
 module demo_001(y1, y2, y3, y4);
 	output [7:0] y1, y2, y3, y4;
 
@@ -22,3 +21,13 @@ module demo_002(y0, y1, y2, y3);
 	assign y3 = 1 ? -1 : 'd0;
 endmodule
 
+module demo_003(output A, B);
+	parameter real p = 0;
+	assign A = (p==1.0);
+	assign B = (p!="1.000000");
+endmodule
+
+module demo_004(output A, B, C, D);
+	demo_003 #(1.0) demo_real (A, B);
+	demo_003 #(1) demo_int (C, D);
+endmodule