From 7ea81c43da97953de68f61fafb277e6f6a83e631 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 27 Oct 2015 20:00:36 +0100 Subject: icetime progress --- icetime/show.sh | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 icetime/show.sh (limited to 'icetime/show.sh') diff --git a/icetime/show.sh b/icetime/show.sh new file mode 100644 index 0000000..ee3e7bd --- /dev/null +++ b/icetime/show.sh @@ -0,0 +1,29 @@ +#!/bin/bash + +set -ex + +yosys -p ' + cd equiv + equiv_mark + select -write equiv_graph.segs w:seg_*_gate a:equiv_region!=0 %i + show -prefix equiv_graph -format dot a:equiv_region!=0 %co2 a:equiv_region!=0 %ci2 +' $1.il + +./icetime -P tq144 -p $1.pcf $1.txt $( sed 's,_gate$,,; s,.*_,-g ,;' < equiv_graph.segs ) > /dev/null + +{ + egrep -v '^}' icetime_graph.dot + egrep -v '^(digraph|label=|})' equiv_graph.dot + + for seg in $( sed 's,equiv/,,' equiv_graph.segs ); do + n=$( awk "/$seg/ { print \$1; }" equiv_graph.dot ) + s=$( echo $seg | sed 's,_[0-9]*_gate$,,' ) + echo " $n:s -> $s:n [style=bold];" + done + echo "}" +} > $1.dot + +rm -f equiv_graph.segs +rm -f equiv_graph.dot +rm -f icetime_graph.dot + -- cgit v1.2.3