diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2023-01-02 16:07:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-02 16:07:36 +0100 |
commit | 257b41cd1fc3f5ce73fd111e7014150f46af833c (patch) | |
tree | 33aedbe2ca1f0420b182a7dea8606078044902b4 /manual/CHAPTER_StateOfTheArt/validate_tb.sh | |
parent | 3ebc50dee4007f8cca4ffc0e850bc3e86f7641f4 (diff) | |
parent | f2a4e5f1a077e7980598114adf33951132e60785 (diff) | |
download | yosys-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-x | manual/CHAPTER_StateOfTheArt/validate_tb.sh | 55 |
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 - |