diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-10-27 20:00:36 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-10-27 20:00:36 +0100 |
commit | 7ea81c43da97953de68f61fafb277e6f6a83e631 (patch) | |
tree | 4740f804f9a766fac98e6b7e36449f440b43bce9 /icetime/show.sh | |
parent | 1a99f955077f461a609511a04d95acc317c001ec (diff) | |
download | icestorm-7ea81c43da97953de68f61fafb277e6f6a83e631.tar.gz icestorm-7ea81c43da97953de68f61fafb277e6f6a83e631.tar.bz2 icestorm-7ea81c43da97953de68f61fafb277e6f6a83e631.zip |
icetime progress
Diffstat (limited to 'icetime/show.sh')
-rw-r--r-- | icetime/show.sh | 29 |
1 files changed, 29 insertions, 0 deletions
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 + |