aboutsummaryrefslogtreecommitdiffstats
path: root/manual/CHAPTER_StateOfTheArt/validate_tb.sh
diff options
context:
space:
mode:
authorMiodrag Milanović <mmicko@gmail.com>2023-01-02 16:07:36 +0100
committerGitHub <noreply@github.com>2023-01-02 16:07:36 +0100
commit257b41cd1fc3f5ce73fd111e7014150f46af833c (patch)
tree33aedbe2ca1f0420b182a7dea8606078044902b4 /manual/CHAPTER_StateOfTheArt/validate_tb.sh
parent3ebc50dee4007f8cca4ffc0e850bc3e86f7641f4 (diff)
parentf2a4e5f1a077e7980598114adf33951132e60785 (diff)
downloadyosys-257b41cd1fc3f5ce73fd111e7014150f46af833c.tar.gz
yosys-257b41cd1fc3f5ce73fd111e7014150f46af833c.tar.bz2
yosys-257b41cd1fc3f5ce73fd111e7014150f46af833c.zip
Merge pull request #3577 from KrystalDelusion/deprecate_manual
Deprecate manual
Diffstat (limited to 'manual/CHAPTER_StateOfTheArt/validate_tb.sh')
-rwxr-xr-xmanual/CHAPTER_StateOfTheArt/validate_tb.sh55
1 files changed, 0 insertions, 55 deletions
diff --git a/manual/CHAPTER_StateOfTheArt/validate_tb.sh b/manual/CHAPTER_StateOfTheArt/validate_tb.sh
deleted file mode 100755
index b6409eb14..000000000
--- a/manual/CHAPTER_StateOfTheArt/validate_tb.sh
+++ /dev/null
@@ -1,55 +0,0 @@
-#!/bin/bash
-
-set -ex
-
-yosys_bin="/usr/local/synthesis/src/yosys/yosys"
-iverilog_bin="iverilog"
-
-all_modes="yosys hana vis icarus odin"
-all_sources="always01 always02 always03 arrays01 forgen01 forgen02"
-
-gcc -o cmp_tbdata cmp_tbdata.c
-
-for src in $all_sources; do
- echo; echo
- $yosys_bin -o ${src}_tb.v -b autotest ${src}.v
- $iverilog_bin -o ${src}_tb ${src}_tb.v ${src}.v
- ./${src}_tb > ${src}_tb.out
- for mode in $all_modes; do
- simlib=""
- [ -f ${src}_${mode}.v ] || continue
- [ -f simlib_${mode}.v ] && simlib="simlib_${mode}.v"
- if $iverilog_bin -o ${src}_${mode}_tb -s testbench ${src}_tb.v ${src}_${mode}.v $simlib; then
- ./${src}_${mode}_tb > ${src}_${mode}_tb.out
- else
- rm -f ${src}_${mode}_tb.out
- fi
- done
-done
-
-set +x
-echo; echo; echo
-
-{
- for mode in $all_modes; do
- echo -en "\t$mode"
- done; echo
-
- for src in $all_sources; do
- echo -n "$src"
- for mode in $all_modes; do
- if [ -f ${src}_${mode}.v ]; then
- if [ ! -s ${src}_${mode}_tb.out ]; then
- echo -en "\tmissing"
- elif ./cmp_tbdata ${src}_tb.out ${src}_${mode}_tb.out; then
- echo -en "\tok"
- else
- echo -en "\tfailed"
- fi
- else
- echo -en "\terror"
- fi
- done; echo
- done
-} | expand -t12
-