Merge pull request #19 from siliconcompiler/fix-mux

fix mux4 lambdalib implementation

Author: gadfort

lambdapdk/asap7/libs/asap7sc7p5t_lvt/lambda/la_mux4.v

@@ -17,7 +17,7 @@
 //    assign z = (d0 & ~s1 & ~s0) |
 // 	      (d1 & ~s1 &  s0) |
 // 	      (d2 &  s1 & ~s0) |
-// 	      (d2 &  s1 &  s0);
+// 	      (d3 &  s1 &  s0);
 // 
 // endmodule
 
@@ -29,6 +29,7 @@ module la_mux4(d0, d1, d2, d3, s0, s1, z);
   wire _02_;
   wire _03_;
   wire _04_;
+  wire _05_;
   input d0;
   wire d0;
   input d1;
@@ -43,34 +44,41 @@ module la_mux4(d0, d1, d2, d3, s0, s1, z);
   wire s1;
   output z;
   wire z;
-  INVx2_ASAP7_75t_L _05_ (
-    .A(s1),
-    .Y(_02_)
-  );
   INVx2_ASAP7_75t_L _06_ (
     .A(s0),
-    .Y(_03_)
-  );
-  AND2x2_ASAP7_75t_L _07_ (
-    .A(s0),
-    .B(d1),
     .Y(_04_)
   );
-  AO21x1_ASAP7_75t_L _08_ (
-    .A1(_03_),
-    .A2(d0),
-    .B(_04_),
+  INVx2_ASAP7_75t_L _07_ (
+    .A(s1),
+    .Y(_05_)
+  );
+  OR2x2_ASAP7_75t_L _08_ (
+    .A(d0),
+    .B(s1),
     .Y(_00_)
   );
-  AND2x2_ASAP7_75t_L _09_ (
-    .A(s1),
-    .B(d2),
+  OA21x2_ASAP7_75t_L _09_ (
+    .A1(_05_),
+    .A2(d2),
+    .B(_00_),
     .Y(_01_)
   );
-  AO21x1_ASAP7_75t_L _10_ (
-    .A1(_02_),
-    .A2(_00_),
-    .B(_01_),
+  OR2x2_ASAP7_75t_L _10_ (
+    .A(s1),
+    .B(d1),
+    .Y(_02_)
+  );
+  OA211x2_ASAP7_75t_L _11_ (
+    .A1(_05_),
+    .A2(d3),
+    .B(_02_),
+    .C(s0),
+    .Y(_03_)
+  );
+  AO21x1_ASAP7_75t_L _12_ (
+    .A1(_04_),
+    .A2(_01_),
+    .B(_03_),
     .Y(z)
   );
 endmodule

lambdapdk/asap7/libs/asap7sc7p5t_lvt/lambda/la_muxi4.v

@@ -17,17 +17,19 @@
 //    assign z = ~((d0 & ~s1 & ~s0) |
 // 		(d1 & ~s1 &  s0) |
 // 		(d2 &  s1 & ~s0) |
-// 		(d2 &  s1 &  s0));
+// 		(d3 &  s1 &  s0));
 // 
 // endmodule
 
 /* Generated by Yosys 0.37 (git sha1 a5c7f69ed, clang 14.0.0-1ubuntu1.1 -fPIC -Os) */
 
 module la_muxi4(d0, d1, d2, d3, s0, s1, z);
-  wire _0_;
-  wire _1_;
-  wire _2_;
-  wire _3_;
+  wire _00_;
+  wire _01_;
+  wire _02_;
+  wire _03_;
+  wire _04_;
+  wire _05_;
   input d0;
   wire d0;
   input d1;
@@ -42,30 +44,41 @@ module la_muxi4(d0, d1, d2, d3, s0, s1, z);
   wire s1;
   output z;
   wire z;
-  INVx2_ASAP7_75t_L _4_ (
-    .A(d0),
-    .Y(_1_)
+  INVx2_ASAP7_75t_L _06_ (
+    .A(s0),
+    .Y(_04_)
   );
-  NAND2x1_ASAP7_75t_L _5_ (
+  OR2x2_ASAP7_75t_L _07_ (
     .A(s0),
-    .B(d1),
-    .Y(_2_)
+    .B(d2),
+    .Y(_05_)
+  );
+  OA211x2_ASAP7_75t_L _08_ (
+    .A1(_04_),
+    .A2(d3),
+    .B(_05_),
+    .C(s1),
+    .Y(_00_)
   );
-  OA21x2_ASAP7_75t_L _6_ (
-    .A1(s0),
-    .A2(_1_),
-    .B(_2_),
-    .Y(_3_)
+  OR2x2_ASAP7_75t_L _09_ (
+    .A(s0),
+    .B(d0),
+    .Y(_01_)
   );
-  NAND2x1_ASAP7_75t_L _7_ (
+  INVx2_ASAP7_75t_L _10_ (
     .A(s1),
-    .B(d2),
-    .Y(_0_)
+    .Y(_02_)
+  );
+  OA211x2_ASAP7_75t_L _11_ (
+    .A1(_04_),
+    .A2(d1),
+    .B(_01_),
+    .C(_02_),
+    .Y(_03_)
   );
-  OA21x2_ASAP7_75t_L _8_ (
-    .A1(s1),
-    .A2(_3_),
-    .B(_0_),
+  NOR2x1_ASAP7_75t_L _12_ (
+    .A(_00_),
+    .B(_03_),
     .Y(z)
   );
 endmodule

lambdapdk/asap7/libs/asap7sc7p5t_rvt/lambda/la_mux4.v

@@ -17,7 +17,7 @@
 //    assign z = (d0 & ~s1 & ~s0) |
 // 	      (d1 & ~s1 &  s0) |
 // 	      (d2 &  s1 & ~s0) |
-// 	      (d2 &  s1 &  s0);
+// 	      (d3 &  s1 &  s0);
 // 
 // endmodule
 
@@ -29,6 +29,7 @@ module la_mux4(d0, d1, d2, d3, s0, s1, z);
   wire _02_;
   wire _03_;
   wire _04_;
+  wire _05_;
   input d0;
   wire d0;
   input d1;
@@ -43,34 +44,41 @@ module la_mux4(d0, d1, d2, d3, s0, s1, z);
   wire s1;
   output z;
   wire z;
-  INVx2_ASAP7_75t_R _05_ (
-    .A(s1),
-    .Y(_02_)
-  );
   INVx2_ASAP7_75t_R _06_ (
     .A(s0),
-    .Y(_03_)
-  );
-  AND2x2_ASAP7_75t_R _07_ (
-    .A(s0),
-    .B(d1),
     .Y(_04_)
   );
-  AO21x1_ASAP7_75t_R _08_ (
-    .A1(_03_),
-    .A2(d0),
-    .B(_04_),
+  INVx2_ASAP7_75t_R _07_ (
+    .A(s1),
+    .Y(_05_)
+  );
+  OR2x4_ASAP7_75t_R _08_ (
+    .A(d0),
+    .B(s1),
     .Y(_00_)
   );
-  AND2x2_ASAP7_75t_R _09_ (
-    .A(s1),
-    .B(d2),
+  OA21x2_ASAP7_75t_R _09_ (
+    .A1(_05_),
+    .A2(d2),
+    .B(_00_),
     .Y(_01_)
   );
-  AO21x1_ASAP7_75t_R _10_ (
-    .A1(_02_),
-    .A2(_00_),
-    .B(_01_),
+  OR2x2_ASAP7_75t_R _10_ (
+    .A(s1),
+    .B(d1),
+    .Y(_02_)
+  );
+  OA211x2_ASAP7_75t_R _11_ (
+    .A1(_05_),
+    .A2(d3),
+    .B(_02_),
+    .C(s0),
+    .Y(_03_)
+  );
+  AO21x1_ASAP7_75t_R _12_ (
+    .A1(_04_),
+    .A2(_01_),
+    .B(_03_),
     .Y(z)
   );
 endmodule

lambdapdk/asap7/libs/asap7sc7p5t_rvt/lambda/la_muxi4.v

@@ -17,17 +17,19 @@
 //    assign z = ~((d0 & ~s1 & ~s0) |
 // 		(d1 & ~s1 &  s0) |
 // 		(d2 &  s1 & ~s0) |
-// 		(d2 &  s1 &  s0));
+// 		(d3 &  s1 &  s0));
 // 
 // endmodule
 
 /* Generated by Yosys 0.37 (git sha1 a5c7f69ed, clang 14.0.0-1ubuntu1.1 -fPIC -Os) */
 
 module la_muxi4(d0, d1, d2, d3, s0, s1, z);
-  wire _0_;
-  wire _1_;
-  wire _2_;
-  wire _3_;
+  wire _00_;
+  wire _01_;
+  wire _02_;
+  wire _03_;
+  wire _04_;
+  wire _05_;
   input d0;
   wire d0;
   input d1;
@@ -42,30 +44,41 @@ module la_muxi4(d0, d1, d2, d3, s0, s1, z);
   wire s1;
   output z;
   wire z;
-  INVx2_ASAP7_75t_R _4_ (
-    .A(d0),
-    .Y(_1_)
+  INVx2_ASAP7_75t_R _06_ (
+    .A(s0),
+    .Y(_04_)
   );
-  NAND2x1_ASAP7_75t_R _5_ (
+  OR2x2_ASAP7_75t_R _07_ (
     .A(s0),
-    .B(d1),
-    .Y(_2_)
+    .B(d2),
+    .Y(_05_)
+  );
+  OA211x2_ASAP7_75t_R _08_ (
+    .A1(_04_),
+    .A2(d3),
+    .B(_05_),
+    .C(s1),
+    .Y(_00_)
   );
-  OA21x2_ASAP7_75t_R _6_ (
-    .A1(s0),
-    .A2(_1_),
-    .B(_2_),
-    .Y(_3_)
+  OR2x2_ASAP7_75t_R _09_ (
+    .A(s0),
+    .B(d0),
+    .Y(_01_)
   );
-  NAND2x1_ASAP7_75t_R _7_ (
+  INVx2_ASAP7_75t_R _10_ (
     .A(s1),
-    .B(d2),
-    .Y(_0_)
+    .Y(_02_)
+  );
+  OA211x2_ASAP7_75t_R _11_ (
+    .A1(_04_),
+    .A2(d1),
+    .B(_01_),
+    .C(_02_),
+    .Y(_03_)
   );
-  OA21x2_ASAP7_75t_R _8_ (
-    .A1(s1),
-    .A2(_3_),
-    .B(_0_),
+  NOR2x1_ASAP7_75t_R _12_ (
+    .A(_00_),
+    .B(_03_),
     .Y(z)
   );
 endmodule