From: Marcelina Kościelnicka <mwk@0x04.net>
Date: Mon, 21 Feb 2022 15:30:42 +0000 (+0100)
Subject: ecp5: Do not use specify in generate in cells_sim.v.
X-Git-Tag: smtlib2-expr-support-on-0.13-old~24
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=839297d1e13bdd73bfa5ed68449be66b18a94058;p=yosys.git

ecp5: Do not use specify in generate in cells_sim.v.

(cherry picked from commit d0f4d0b153572ddee5f19831f40b9c40eb480db0)
---

diff --git a/techlibs/ecp5/cells_sim.v b/techlibs/ecp5/cells_sim.v
index 357fd9173..ecc6d8584 100644
--- a/techlibs/ecp5/cells_sim.v
+++ b/techlibs/ecp5/cells_sim.v
@@ -355,37 +355,24 @@ module TRELLIS_FF(input CLK, LSR, CE, DI, M, output reg Q);
 		end
 	endgenerate
 
-	generate
-		// TODO
-		if (CLKMUX == "INV")
-			specify
-				$setup(DI, negedge CLK, 0);
-				$setup(CE, negedge CLK, 0);
-				$setup(LSR, negedge CLK, 0);
-`ifndef YOSYS
-				if (SRMODE == "ASYNC" && muxlsr) (negedge CLK => (Q : srval)) = 0;
-`else
-				if (SRMODE == "ASYNC" && muxlsr) (LSR => Q) = 0; 	// Technically, this should be an edge sensitive path
-											// but for facilitating a bypass box, let's pretend it's
-											// a simple path
-`endif
-				if (!muxlsr && muxce) (negedge CLK => (Q : DI)) = 0;
-			endspecify
-		else
-			specify
-				$setup(DI, posedge CLK, 0);
-				$setup(CE, posedge CLK, 0);
-				$setup(LSR, posedge CLK, 0);
+	specify
+		$setup(DI, negedge CLK &&& CLKMUX == "INV", 0);
+		$setup(CE, negedge CLK &&& CLKMUX == "INV", 0);
+		$setup(LSR, negedge CLK &&& CLKMUX == "INV", 0);
+		$setup(DI, posedge CLK &&& CLKMUX != "INV", 0);
+		$setup(CE, posedge CLK &&& CLKMUX != "INV", 0);
+		$setup(LSR, posedge CLK &&& CLKMUX != "INV", 0);
 `ifndef YOSYS
-				if (SRMODE == "ASYNC" && muxlsr) (posedge CLK => (Q : srval)) = 0;
+		if (SRMODE == "ASYNC" && muxlsr && CLKMUX == "INV") (negedge CLK => (Q : srval)) = 0;
+		if (SRMODE == "ASYNC" && muxlsr && CLKMUX != "INV") (posedge CLK => (Q : srval)) = 0;
 `else
-				if (SRMODE == "ASYNC" && muxlsr) (LSR => Q) = 0; 	// Technically, this should be an edge sensitive path
-											// but for facilitating a bypass box, let's pretend it's
-											// a simple path
+		if (SRMODE == "ASYNC" && muxlsr) (LSR => Q) = 0; 	// Technically, this should be an edge sensitive path
+									// but for facilitating a bypass box, let's pretend it's
+									// a simple path
 `endif
-				if (!muxlsr && muxce) (posedge CLK => (Q : DI)) = 0;
-			endspecify
-	endgenerate
+		if (!muxlsr && muxce && CLKMUX == "INV") (negedge CLK => (Q : DI)) = 0;
+		if (!muxlsr && muxce && CLKMUX != "INV") (posedge CLK => (Q : DI)) = 0;
+	endspecify
 endmodule
 
 // ---------------------------------------