Added Yosys Manual

1 files changed, 64 insertions, 0 deletions

diff --git a/manual/FILES_StateOfTheArt/synth.sh b/manual/FILES_StateOfTheArt/synth.sh
new file mode 100755
index 000000000..3a7524a29
--- /dev/null
+++ b/manual/FILES_StateOfTheArt/synth.sh
@@ -0,0 +1,64 @@
+#!/bin/bash
+
+yosys_bin="/usr/local/synthesis/src/yosys/yosys"
+hana_bin="/usr/local/synthesis/src/hana/bin/hana"
+vl2mv_bin="/usr/local/synthesis/bin/vl2mv"
+vis_bin="/usr/local/synthesis/bin/vis"
+iverilog_bin="/usr/local/synthesis/bin/iverilog-0.8"
+odin_bin="/usr/local/synthesis/src/vtr_release/ODIN_II/odin_II.exe"
+abc_bin="/usr/local/synthesis/src/alanmi-abc-b5750272659f/abc"
+edif2ngd="/opt/Xilinx/14.3/ISE_DS/ISE/bin/lin64/edif2ngd"
+netgen="/opt/Xilinx/14.3/ISE_DS/ISE/bin/lin64/netgen"
+
+all_modes="yosys hana vis icarus odin"
+all_sources="always01 always02 always03 arrays01 forgen01 forgen02"
+
+if [ "$*" == "ALL" ]; then
+	for mode in $all_modes; do
+		for src in $all_sources; do
+			echo "synth.sh $mode $src.v ${src}_${mode}.v"
+			( set -x; bash synth.sh $mode $src.v ${src}_${mode}.v || rm -f ${src}_${mode}.v; ) > ${src}_${mode}.log 2>&1
+		done
+	done
+	exit
+fi
+
+mode="$1"
+source="$2"
+output="$3"
+prefix="${output%.v}"
+
+help() {
+	echo "$0 ALL" >&2
+	echo "$0 {yosys|hana|vis|icarus|odin} <source-file> <output-file>" >&2
+	exit 1
+}
+
+if [ "$#" != 3 -o ! -f "$source" ]; then
+	help
+fi
+
+set -ex
+
+case "$mode" in
+	yosys)
+		$yosys_bin -o $output -b "verilog -noattr" -p proc -p opt -p memory -p opt -p techmap -p opt $source ;;
+	hana)
+		$hana_bin -s $output $source ;;
+	vis)
+		$vl2mv_bin -o $prefix.mv $source
+		{ echo "read_blif_mv $prefix.mv"; echo "write_verilog $output"; } | $abc_bin ;;
+	icarus)
+		rm -f $prefix.ngo $prefix.v
+		$iverilog_bin -t fpga -o $prefix.edif $source
+		$edif2ngd $prefix.edif $prefix.ngo
+		$netgen -ofmt verilog $prefix.ngo $prefix.v
+		sed -re '/timescale/ s,^,//,;' -i $prefix.v ;;
+	odin)
+		$odin_bin -o $prefix.blif -V $source
+		sed -re 's,top\^,,g; s,clock,_clock,g;' -i $prefix.blif
+		{ echo "read_blif $prefix.blif"; echo "write_verilog $output"; } | $abc_bin ;;
+	*)
+		help
+esac
+