gowin: Fix LUT RAM inference, add more models.

diff --git a/techlibs/gowin/cells_sim.v b/techlibs/gowin/cells_sim.v
index 41398409d31c5157fa17ca1ba8e9b0972289a52b..bb4b9e5c5726a111a4a5db5f3eebd9cca4d6570c 100644 (file)
--- a/techlibs/gowin/cells_sim.v
+++ b/techlibs/gowin/cells_sim.v
@@ -674,51 +674,250 @@ end
 
 endmodule
 
+
+module RAM16S1 (DO, DI, AD, WRE, CLK);
+
+parameter INIT_0 = 16'h0000;
+
+input [3:0] AD;
+input DI;
+output DO;
+input CLK;
+input WRE;
+
+specify
+       (AD *> DO) = (270, 405);
+       $setup(DI, posedge CLK, 62);
+       $setup(WRE, posedge CLK, 62);
+       $setup(AD, posedge CLK, 62);
+       (posedge CLK => (DO : 1'bx)) = (474, 565);
+endspecify
+
+reg [15:0] mem;
+
+initial begin
+       mem = INIT_0;
+end
+
+assign DO = mem[AD];
+
+always @(posedge CLK) begin
+       if (WRE) begin
+               mem[AD] <= DI;
+       end
+end
+
+endmodule
+
+
+module RAM16S2 (DO, DI, AD, WRE, CLK);
+
+parameter INIT_0 = 16'h0000;
+parameter INIT_1 = 16'h0000;
+
+input [3:0] AD;
+input [1:0] DI;
+output [1:0] DO;
+input CLK;
+input WRE;
+
+specify
+       (AD *> DO) = (270, 405);
+       $setup(DI, posedge CLK, 62);
+       $setup(WRE, posedge CLK, 62);
+       $setup(AD, posedge CLK, 62);
+       (posedge CLK => (DO : 2'bx)) = (474, 565);
+endspecify
+
+reg [15:0] mem0, mem1;
+
+initial begin
+       mem0 = INIT_0;
+       mem1 = INIT_1;
+end
+
+assign DO[0] = mem0[AD];
+assign DO[1] = mem1[AD];
+
+always @(posedge CLK) begin
+       if (WRE) begin
+               mem0[AD] <= DI[0];
+               mem1[AD] <= DI[1];
+       end
+end
+
+endmodule
+
+
 module RAM16S4 (DO, DI, AD, WRE, CLK);
-   parameter WIDTH  = 4;
-   parameter INIT_0 = 16'h0000;
-   parameter INIT_1 = 16'h0000;
-   parameter INIT_2 = 16'h0000;
-   parameter INIT_3 = 16'h0000;
-   
-   input  [WIDTH-1:0] AD;
-   input  [WIDTH-1:0] DI;
-   output [WIDTH-1:0] DO;
-   input             CLK;
-   input             WRE;
 
-  specify
-    (AD => DO) = (270, 405);
+parameter INIT_0 = 16'h0000;
+parameter INIT_1 = 16'h0000;
+parameter INIT_2 = 16'h0000;
+parameter INIT_3 = 16'h0000;
+
+input [3:0] AD;
+input [3:0] DI;
+output [3:0] DO;
+input CLK;
+input WRE;
+
+specify
+       (AD *> DO) = (270, 405);
        $setup(DI, posedge CLK, 62);
        $setup(WRE, posedge CLK, 62);
        $setup(AD, posedge CLK, 62);
-       (posedge CLK => (DO : {WIDTH{1'bx}})) = (474, 565);
-  endspecify
+       (posedge CLK => (DO : 4'bx)) = (474, 565);
+endspecify
+
+reg [15:0] mem0, mem1, mem2, mem3;
+
+initial begin
+       mem0 = INIT_0;
+       mem1 = INIT_1;
+       mem2 = INIT_2;
+       mem3 = INIT_3;
+end
+
+assign DO[0] = mem0[AD];
+assign DO[1] = mem1[AD];
+assign DO[2] = mem2[AD];
+assign DO[3] = mem3[AD];
+
+always @(posedge CLK) begin
+       if (WRE) begin
+               mem0[AD] <= DI[0];
+               mem1[AD] <= DI[1];
+               mem2[AD] <= DI[2];
+               mem3[AD] <= DI[3];
+       end
+end
+
+endmodule
 
-   reg [15:0]      mem0, mem1, mem2, mem3;
-   
-   initial begin
-      mem0 = INIT_0;
-      mem1 = INIT_1;
-      mem2 = INIT_2;
-      mem3 = INIT_3;   
-   end
-   
-   assign      DO[0] = mem0[AD];
-   assign      DO[1] = mem1[AD];
-   assign      DO[2] = mem2[AD];
-   assign      DO[3] = mem3[AD];
-   
-   always @(posedge CLK) begin
-      if (WRE) begin
-        mem0[AD] <= DI[0];
-        mem1[AD] <= DI[1];
-        mem2[AD] <= DI[2];
-        mem3[AD] <= DI[3];
-      end
-   end
-   
-endmodule // RAM16S4
+
+module RAM16SDP1 (DO, DI, WAD, RAD, WRE, CLK);
+
+parameter INIT_0 = 16'h0000;
+
+input [3:0] WAD;
+input [3:0] RAD;
+input DI;
+output DO;
+input CLK;
+input WRE;
+
+specify
+       (RAD *> DO) = (270, 405);
+       $setup(DI, posedge CLK, 62);
+       $setup(WRE, posedge CLK, 62);
+       $setup(WAD, posedge CLK, 62);
+       (posedge CLK => (DO : 1'bx)) = (474, 565);
+endspecify
+
+reg [15:0] mem;
+
+initial begin
+       mem = INIT_0;
+end
+
+assign DO = mem[RAD];
+
+always @(posedge CLK) begin
+       if (WRE) begin
+               mem[WAD] <= DI;
+       end
+end
+
+endmodule
+
+
+module RAM16SDP2 (DO, DI, WAD, RAD, WRE, CLK);
+
+parameter INIT_0 = 16'h0000;
+parameter INIT_1 = 16'h0000;
+
+input [3:0] WAD;
+input [3:0] RAD;
+input [1:0] DI;
+output [1:0] DO;
+input CLK;
+input WRE;
+
+specify
+       (RAD *> DO) = (270, 405);
+       $setup(DI, posedge CLK, 62);
+       $setup(WRE, posedge CLK, 62);
+       $setup(WAD, posedge CLK, 62);
+       (posedge CLK => (DO : 2'bx)) = (474, 565);
+endspecify
+
+reg [15:0] mem0, mem1;
+
+initial begin
+       mem0 = INIT_0;
+       mem1 = INIT_1;
+end
+
+assign DO[0] = mem0[RAD];
+assign DO[1] = mem1[RAD];
+
+always @(posedge CLK) begin
+       if (WRE) begin
+               mem0[WAD] <= DI[0];
+               mem1[WAD] <= DI[1];
+       end
+end
+
+endmodule
+
+
+module RAM16SDP4 (DO, DI, WAD, RAD, WRE, CLK);
+
+parameter INIT_0 = 16'h0000;
+parameter INIT_1 = 16'h0000;
+parameter INIT_2 = 16'h0000;
+parameter INIT_3 = 16'h0000;
+
+input [3:0] WAD;
+input [3:0] RAD;
+input [3:0] DI;
+output [3:0] DO;
+input CLK;
+input WRE;
+
+specify
+       (RAD *> DO) = (270, 405);
+       $setup(DI, posedge CLK, 62);
+       $setup(WRE, posedge CLK, 62);
+       $setup(WAD, posedge CLK, 62);
+       (posedge CLK => (DO : 4'bx)) = (474, 565);
+endspecify
+
+reg [15:0] mem0, mem1, mem2, mem3;
+
+initial begin
+       mem0 = INIT_0;
+       mem1 = INIT_1;
+       mem2 = INIT_2;
+       mem3 = INIT_3;
+end
+
+assign DO[0] = mem0[RAD];
+assign DO[1] = mem1[RAD];
+assign DO[2] = mem2[RAD];
+assign DO[3] = mem3[RAD];
+
+always @(posedge CLK) begin
+       if (WRE) begin
+               mem0[WAD] <= DI[0];
+               mem1[WAD] <= DI[1];
+               mem2[WAD] <= DI[2];
+               mem3[WAD] <= DI[3];
+       end
+end
+
+endmodule
 
 
 (* blackbox *)

diff --git a/techlibs/gowin/lutrams_map.v b/techlibs/gowin/lutrams_map.v
index a50ab365a4e4dc20ce1574260134cd6c8225d462..e5daab6ae74e47e7ecabd2ca73ede3e0f386af2e 100644 (file)
--- a/techlibs/gowin/lutrams_map.v
+++ b/techlibs/gowin/lutrams_map.v
@@ -15,13 +15,14 @@ module \$__GW1NR_RAM16S4 (CLK1, A1ADDR, A1DATA, A1EN, B1ADDR, B1DATA, B1EN);
 
         `include "brams_init3.vh"
 
-  RAM16S4
+  RAM16SDP4
    #(.INIT_0(INIT_0),
      .INIT_1(INIT_1),
      .INIT_2(INIT_2),
      .INIT_3(INIT_3))
    _TECHMAP_REPLACE_
-     (.AD(B1ADDR),
+     (.WAD(B1ADDR),
+      .RAD(A1ADDR),
       .DI(B1DATA),
       .DO(A1DATA),
       .CLK(CLK1),

diff --git a/tests/arch/gowin/lutram.ys b/tests/arch/gowin/lutram.ys
index 56f69e7c547e20746343b30f99015769c28751af..d668783a226e43fb0c2e6f7de4b7252d4edb4cd7 100644 (file)
--- a/tests/arch/gowin/lutram.ys
+++ b/tests/arch/gowin/lutram.ys
@@ -7,12 +7,11 @@ memory
 opt -full
 
 miter -equiv -flatten -make_assert -make_outputs gold gate miter
-#ERROR: Called with -verify and proof did fail!
-#sat -verify -prove-asserts -seq 5 -set-init-zero -show-inputs -show-outputs miter
+sat -verify -prove-asserts -seq 5 -set-init-zero -show-inputs -show-outputs miter
 sat -prove-asserts -seq 5 -set-init-zero -show-inputs -show-outputs miter
 
 design -load postopt
 cd lutram_1w1r
-select -assert-count 8 t:RAM16S4
+select -assert-count 8 t:RAM16SDP4
 # other logic present that is not simple
 #select -assert-none t:RAM16S4 %% t:* %D