ram_8x7: match bad example with reproducible case

There were some insignificant differences due to very slightly initial conditions?

Now the bad.v matches exacly with the test case reported to @maliberty

Signed-off-by: Øyvind Harboe <[email protected]>

Author: oharboe

test/orfs/ram_8x7/bad.v

@@ -15,7 +15,6 @@ module ram_8x7 (R0_addr,
  input W0_clk;
  input [6:0] W0_data;
 
- wire net;
  wire _000_;
  wire _001_;
  wire _002_;
@@ -300,38 +299,39 @@ module ram_8x7 (R0_addr,
  wire _281_;
  wire _282_;
  wire _283_;
- wire net4246;
- wire net4247;
- wire net4248;
- wire net4249;
- wire net4250;
- wire net4251;
- wire net4252;
- wire net4253;
- wire net4254;
- wire net4255;
- wire net4256;
- wire net4257;
- wire net4258;
- wire net4259;
+ wire net;
  wire net4260;
+ wire net4261;
+ wire net4262;
+ wire net4263;
+ wire net4264;
+ wire net4265;
+ wire net4266;
+ wire net4267;
+ wire net4268;
+ wire net4269;
+ wire net4270;
+ wire net4271;
+ wire net4272;
+ wire net4273;
+ wire net4274;
 
- TIELOx1_ASAP7_75t_R _406__4291 (.L(net4260));
- TIELOx1_ASAP7_75t_R _404__4290 (.L(net4259));
- TIELOx1_ASAP7_75t_R _390__4289 (.L(net4258));
- TIELOx1_ASAP7_75t_R _388__4288 (.L(net4257));
- TIELOx1_ASAP7_75t_R _374__4287 (.L(net4256));
- TIELOx1_ASAP7_75t_R _372__4286 (.L(net4255));
- TIELOx1_ASAP7_75t_R _358__4285 (.L(net4254));
- TIELOx1_ASAP7_75t_R _356__4284 (.L(net4253));
- TIELOx1_ASAP7_75t_R _342__4283 (.L(net4252));
- TIELOx1_ASAP7_75t_R _340__4282 (.L(net4251));
- TIELOx1_ASAP7_75t_R _325__4281 (.L(net4250));
- TIELOx1_ASAP7_75t_R _323__4280 (.L(net4249));
- TIELOx1_ASAP7_75t_R _307__4279 (.L(net4248));
- TIELOx1_ASAP7_75t_R _305__4278 (.L(net4247));
- TIELOx1_ASAP7_75t_R _291__4277 (.L(net4246));
- TIELOx1_ASAP7_75t_R _289__4276 (.L(net));
+ TIELOx1_ASAP7_75t_R _406__4307 (.L(net4274));
+ TIELOx1_ASAP7_75t_R _404__4306 (.L(net4273));
+ TIELOx1_ASAP7_75t_R _390__4305 (.L(net4272));
+ TIELOx1_ASAP7_75t_R _388__4304 (.L(net4271));
+ TIELOx1_ASAP7_75t_R _374__4303 (.L(net4270));
+ TIELOx1_ASAP7_75t_R _372__4302 (.L(net4269));
+ TIELOx1_ASAP7_75t_R _358__4301 (.L(net4268));
+ TIELOx1_ASAP7_75t_R _356__4300 (.L(net4267));
+ TIELOx1_ASAP7_75t_R _342__4299 (.L(net4266));
+ TIELOx1_ASAP7_75t_R _340__4298 (.L(net4265));
+ TIELOx1_ASAP7_75t_R _325__4297 (.L(net4264));
+ TIELOx1_ASAP7_75t_R _323__4296 (.L(net4263));
+ TIELOx1_ASAP7_75t_R _307__4295 (.L(net4262));
+ TIELOx1_ASAP7_75t_R _305__4294 (.L(net4261));
+ TIELOx1_ASAP7_75t_R _291__4293 (.L(net4260));
+ TIELOx1_ASAP7_75t_R _289__4292 (.L(net));
  DFFHQNx1_ASAP7_75t_R \Memory[0][0]$_DFFE_PP_  (.CLK(W0_clk),
     .D(_056_),
     .QN(_055_));
@@ -521,7 +521,7 @@ module ram_8x7 (R0_addr,
  NOR2x1_ASAP7_75t_R _290_ (.A(_054_),
     .B(_115_),
     .Y(_117_));
- AO21x1_ASAP7_75t_R _291_ (.A1(net4246),
+ AO21x1_ASAP7_75t_R _291_ (.A1(net4260),
     .A2(_115_),
     .B(_117_),
     .Y(_057_));
@@ -569,14 +569,14 @@ module ram_8x7 (R0_addr,
  NOR2x1_ASAP7_75t_R _304_ (.A(_048_),
     .B(_124_),
     .Y(_125_));
- AO21x1_ASAP7_75t_R _305_ (.A1(net4247),
+ AO21x1_ASAP7_75t_R _305_ (.A1(net4261),
     .A2(_124_),
     .B(_125_),
     .Y(_063_));
  NOR2x1_ASAP7_75t_R _306_ (.A(_047_),
     .B(_124_),
     .Y(_126_));
- AO21x1_ASAP7_75t_R _307_ (.A1(net4248),
+ AO21x1_ASAP7_75t_R _307_ (.A1(net4262),
     .A2(_124_),
     .B(_126_),
     .Y(_064_));
@@ -629,14 +629,14 @@ module ram_8x7 (R0_addr,
  NAND2x1_ASAP7_75t_R _322_ (.A(_041_),
     .B(_135_),
     .Y(_136_));
- OA21x2_ASAP7_75t_R _323_ (.A1(net4249),
+ OA21x2_ASAP7_75t_R _323_ (.A1(net4263),
     .A2(_135_),
     .B(_136_),
     .Y(_070_));
  NAND2x1_ASAP7_75t_R _324_ (.A(_040_),
     .B(_135_),
     .Y(_137_));
- OA21x2_ASAP7_75t_R _325_ (.A1(net4250),
+ OA21x2_ASAP7_75t_R _325_ (.A1(net4264),
     .A2(_135_),
     .B(_137_),
     .Y(_071_));
@@ -687,14 +687,14 @@ module ram_8x7 (R0_addr,
  NOR2x1_ASAP7_75t_R _339_ (.A(_034_),
     .B(_145_),
     .Y(_146_));
- AO21x1_ASAP7_75t_R _340_ (.A1(net4251),
+ AO21x1_ASAP7_75t_R _340_ (.A1(net4265),
     .A2(_145_),
     .B(_146_),
     .Y(_077_));
  NOR2x1_ASAP7_75t_R _341_ (.A(_033_),
     .B(_145_),
     .Y(_147_));
- AO21x1_ASAP7_75t_R _342_ (.A1(net4252),
+ AO21x1_ASAP7_75t_R _342_ (.A1(net4266),
     .A2(_145_),
     .B(_147_),
     .Y(_078_));
@@ -743,14 +743,14 @@ module ram_8x7 (R0_addr,
  NAND2x1_ASAP7_75t_R _355_ (.A(_027_),
     .B(_154_),
     .Y(_155_));
- OA21x2_ASAP7_75t_R _356_ (.A1(net4253),
+ OA21x2_ASAP7_75t_R _356_ (.A1(net4267),
     .A2(_154_),
     .B(_155_),
     .Y(_084_));
  NAND2x1_ASAP7_75t_R _357_ (.A(_026_),
     .B(_154_),
     .Y(_156_));
- OA21x2_ASAP7_75t_R _358_ (.A1(net4254),
+ OA21x2_ASAP7_75t_R _358_ (.A1(net4268),
     .A2(_154_),
     .B(_156_),
     .Y(_085_));
@@ -799,14 +799,14 @@ module ram_8x7 (R0_addr,
  NOR2x1_ASAP7_75t_R _371_ (.A(_020_),
     .B(_163_),
     .Y(_164_));
- AO21x1_ASAP7_75t_R _372_ (.A1(net4255),
+ AO21x1_ASAP7_75t_R _372_ (.A1(net4269),
     .A2(_163_),
     .B(_164_),
     .Y(_091_));
  NOR2x1_ASAP7_75t_R _373_ (.A(_019_),
     .B(_163_),
     .Y(_165_));
- AO21x1_ASAP7_75t_R _374_ (.A1(net4256),
+ AO21x1_ASAP7_75t_R _374_ (.A1(net4270),
     .A2(_163_),
     .B(_165_),
     .Y(_092_));
@@ -855,14 +855,14 @@ module ram_8x7 (R0_addr,
  NAND2x1_ASAP7_75t_R _387_ (.A(_013_),
     .B(_172_),
     .Y(_173_));
- OA21x2_ASAP7_75t_R _388_ (.A1(net4257),
+ OA21x2_ASAP7_75t_R _388_ (.A1(net4271),
     .A2(_172_),
     .B(_173_),
     .Y(_098_));
  NAND2x1_ASAP7_75t_R _389_ (.A(_012_),
     .B(_172_),
     .Y(_174_));
- OA21x2_ASAP7_75t_R _390_ (.A1(net4258),
+ OA21x2_ASAP7_75t_R _390_ (.A1(net4272),
     .A2(_172_),
     .B(_174_),
     .Y(_099_));
@@ -911,14 +911,14 @@ module ram_8x7 (R0_addr,
  NOR2x1_ASAP7_75t_R _403_ (.A(_006_),
     .B(_181_),
     .Y(_182_));
- AO21x1_ASAP7_75t_R _404_ (.A1(net4259),
+ AO21x1_ASAP7_75t_R _404_ (.A1(net4273),
     .A2(_181_),
     .B(_182_),
     .Y(_105_));
  NOR2x1_ASAP7_75t_R _405_ (.A(_005_),
     .B(_181_),
     .Y(_183_));
- AO21x1_ASAP7_75t_R _406_ (.A1(net4260),
+ AO21x1_ASAP7_75t_R _406_ (.A1(net4274),
     .A2(_181_),
     .B(_183_),
     .Y(_106_));