PolyCleaner tool & Benchmarks

amahzoon · Jul 23, 2018 · c13372c · c13372c
commit c13372c
Show file tree

Hide file tree

Showing 38 changed files with 5,768,843 additions and 0 deletions.
diff --git a/Benchmarks/AOKI/16bit-BP-AR-RC.v b/Benchmarks/AOKI/16bit-BP-AR-RC.v
diff --git a/Benchmarks/AOKI/16bit-BP-CT-BK.v b/Benchmarks/AOKI/16bit-BP-CT-BK.v
diff --git a/Benchmarks/AOKI/16bit-BP-DT-LF.v b/Benchmarks/AOKI/16bit-BP-DT-LF.v
diff --git a/Benchmarks/AOKI/16bit-BP-WT-CL.v b/Benchmarks/AOKI/16bit-BP-WT-CL.v
diff --git a/Benchmarks/AOKI/16bit-SP-AR-RC.v b/Benchmarks/AOKI/16bit-SP-AR-RC.v
diff --git a/Benchmarks/AOKI/16bit-SP-CT-BK.v b/Benchmarks/AOKI/16bit-SP-CT-BK.v
diff --git a/Benchmarks/AOKI/16bit-SP-DT-LF.v b/Benchmarks/AOKI/16bit-SP-DT-LF.v
diff --git a/Benchmarks/AOKI/16bit-SP-WT-CL.v b/Benchmarks/AOKI/16bit-SP-WT-CL.v
diff --git a/Benchmarks/AOKI/32bit-BP-AR-RC.v b/Benchmarks/AOKI/32bit-BP-AR-RC.v
diff --git a/Benchmarks/AOKI/32bit-BP-CT-BK.v b/Benchmarks/AOKI/32bit-BP-CT-BK.v
diff --git a/Benchmarks/AOKI/32bit-BP-DT-LF.v b/Benchmarks/AOKI/32bit-BP-DT-LF.v
diff --git a/Benchmarks/AOKI/32bit-BP-WT-CL.v b/Benchmarks/AOKI/32bit-BP-WT-CL.v
diff --git a/Benchmarks/AOKI/32bit-SP-AR-RC.v b/Benchmarks/AOKI/32bit-SP-AR-RC.v
diff --git a/Benchmarks/AOKI/32bit-SP-CT-BK.v b/Benchmarks/AOKI/32bit-SP-CT-BK.v
diff --git a/Benchmarks/AOKI/32bit-SP-DT-LF.v b/Benchmarks/AOKI/32bit-SP-DT-LF.v
diff --git a/Benchmarks/AOKI/32bit-SP-WT-CL.v b/Benchmarks/AOKI/32bit-SP-WT-CL.v
diff --git a/Benchmarks/AOKI/64bit-BP-AR-RC.v b/Benchmarks/AOKI/64bit-BP-AR-RC.v
diff --git a/Benchmarks/AOKI/64bit-BP-CT-BK.v b/Benchmarks/AOKI/64bit-BP-CT-BK.v
diff --git a/Benchmarks/AOKI/64bit-BP-DT-LF.v b/Benchmarks/AOKI/64bit-BP-DT-LF.v
diff --git a/Benchmarks/AOKI/64bit-BP-WT-CL.v b/Benchmarks/AOKI/64bit-BP-WT-CL.v
diff --git a/Benchmarks/AOKI/64bit-SP-AR-RC.v b/Benchmarks/AOKI/64bit-SP-AR-RC.v
diff --git a/Benchmarks/AOKI/64bit-SP-CT-BK.v b/Benchmarks/AOKI/64bit-SP-CT-BK.v
diff --git a/Benchmarks/AOKI/64bit-SP-DT-LF.v b/Benchmarks/AOKI/64bit-SP-DT-LF.v
diff --git a/Benchmarks/AOKI/64bit-SP-WT-CL.v b/Benchmarks/AOKI/64bit-SP-WT-CL.v
diff --git a/Benchmarks/AOKI/README.md b/Benchmarks/AOKI/README.md
@@ -0,0 +1,37 @@
+
+The Verilog files in this directory result from running Yosys [1] to convert the AOKI benchmarks [2] to a flattened gate-level Verilog netlist.
+
+The files are named according to the schemata:
+
+	SIZE-STAGE1_STAGE2_STAGE3
+
+
+SIZE:	Input bit size of multiplier (16bit means that the design multiplies two 16bit numbers, i.e. 16*16)
+
+
+STAGE1:	The type of first multiplier stage (partial product generator)
+
+	SP: unsigned simple partial product generator
+	BP: unsigned Booth partial product generator
+
+
+STAGE2:	The type of second multiplier stage (partial product accumulator)
+
+	AR: Array 
+	CT: Compressor tree
+	DT: Dadda tree
+	WT: Wallace tree
+
+
+STAGE3:	The type of third multiplier stage (final stage adder)
+
+	RC: Ripple carry adder
+	BK: Brent-Kung adder
+	LF: Lander-Fischer adder
+	CL: Carry look-ahead adder
+
+
+
+References:
+[1] Clifford Wolf. Yosys open synthesis suite. http://www.clifford.at/yosys/
+[2] Arithmetic module generator based on acg. http://www.aoki.ecei.tohoku.ac.jp/arith/
diff --git a/Benchmarks/yosys_mult/README.md b/Benchmarks/yosys_mult/README.md
@@ -0,0 +1,5 @@
+
+The Verilog files in this directory have been synthesized by Yosys [1].
+
+References:
+[1] Clifford Wolf. Yosys open synthesis suite. http://www.clifford.at/yosys/