Rename to abc.*

diff --git a/techlibs/ice40/abc.box b/techlibs/ice40/abc.box
new file mode 100644 (file)
index 0000000..d775efa
--- /dev/null
+++ b/techlibs/ice40/abc.box
@@ -0,0 +1,13 @@
+# From https://github.com/cliffordwolf/icestorm/blob/81c33a3/icefuzz/timings_hx8k.txt
+
+# NB: Inputs/Outputs must be ordered alphabetically
+
+# Inputs: CI I0 I1
+# Outputs: CO
+SB_CARRY 1 1 3 1
+126 259 231
+
+# Inputs: I0 I1 I2 I3
+# Outputs: O
+SB_LUT4 2 1 4 1
+316 379 400 449

diff --git a/techlibs/ice40/abc.lut b/techlibs/ice40/abc.lut
new file mode 100644 (file)
index 0000000..eef9978
--- /dev/null
+++ b/techlibs/ice40/abc.lut
@@ -0,0 +1,6 @@
+# From https://github.com/cliffordwolf/icestorm/blob/81c33a3/icefuzz/timings_hx8k.txt
+#       I3  I2  I1  I0
+1   1   316
+2   1   316 379
+3   1   316 379 400
+4   1   316 379 400 449

diff --git a/techlibs/ice40/abc.v b/techlibs/ice40/abc.v
new file mode 100644 (file)
index 0000000..e2a54a4
--- /dev/null
+++ b/techlibs/ice40/abc.v
@@ -0,0 +1,12 @@
+(* abc_box_id = 1 *)
+module SB_CARRY (output CO, input CI, I0, I1);
+       assign CO = (I0 && I1) || ((I0 || I1) && CI);
+endmodule
+
+(* abc_box_id = 2 *)
+module SB_LUT4 (output O, input I0, I1, I2, I3);
+       parameter [15:0] LUT_INIT = 0;
+       // Indicate this is a black-box
+       assign O = 1'b0;
+endmodule
+

diff --git a/techlibs/ice40/cells.box b/techlibs/ice40/cells.box
deleted file mode 100644 (file)
index d775efa..0000000
--- a/techlibs/ice40/cells.box
+++ /dev/null
@@ -1,13 +0,0 @@
-# From https://github.com/cliffordwolf/icestorm/blob/81c33a3/icefuzz/timings_hx8k.txt
-
-# NB: Inputs/Outputs must be ordered alphabetically
-
-# Inputs: CI I0 I1
-# Outputs: CO
-SB_CARRY 1 1 3 1
-126 259 231
-
-# Inputs: I0 I1 I2 I3
-# Outputs: O
-SB_LUT4 2 1 4 1
-316 379 400 449

diff --git a/techlibs/ice40/cells_box.v b/techlibs/ice40/cells_box.v
deleted file mode 100644 (file)
index e2a54a4..0000000
--- a/techlibs/ice40/cells_box.v
+++ /dev/null
@@ -1,12 +0,0 @@
-(* abc_box_id = 1 *)
-module SB_CARRY (output CO, input CI, I0, I1);
-       assign CO = (I0 && I1) || ((I0 || I1) && CI);
-endmodule
-
-(* abc_box_id = 2 *)
-module SB_LUT4 (output O, input I0, I1, I2, I3);
-       parameter [15:0] LUT_INIT = 0;
-       // Indicate this is a black-box
-       assign O = 1'b0;
-endmodule
-

diff --git a/techlibs/ice40/lut.lut b/techlibs/ice40/lut.lut
deleted file mode 100644 (file)
index eef9978..0000000
--- a/techlibs/ice40/lut.lut
+++ /dev/null
@@ -1,6 +0,0 @@
-# From https://github.com/cliffordwolf/icestorm/blob/81c33a3/icefuzz/timings_hx8k.txt
-#       I3  I2  I1  I0
-1   1   316
-2   1   316 379
-3   1   316 379 400
-4   1   316 379 400 449