diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-12-13 20:43:52 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-13 20:43:52 +0000 |
| commit | cfa0954106632b3fbadd89786b7480b2bd4e0ab9 (patch) | |
| tree | f4eb0d4a3b01463b667b10d26e12e7c450cd476a | |
| parent | b94f2528d898d6965d5fcf23a38a7df0dda7f538 (diff) | |
| download | verismith-cfa0954106632b3fbadd89786b7480b2bd4e0ab9.tar.gz verismith-cfa0954106632b3fbadd89786b7480b2bd4e0ab9.zip | |
Add new Yosys report
| -rw-r--r-- | README.md | 1 | ||||
| -rw-r--r-- | scripts/filter_icarus.sh | 15 |
2 files changed, 16 insertions, 0 deletions
@@ -35,6 +35,7 @@ The fuzzer generates combinational and behavioural Verilog to test the various t | Type | Issue | Confirmed | Fixed | |---------------|------------------------------------------------------------|-----------|-------| +| Mis-synthesis | [Issue 1531](https://github.com/YosysHQ/yosys/issues/1531) | ✓ | ✓ | | Mis-synthesis | [Issue 1243](https://github.com/YosysHQ/yosys/issues/1243) | ✓ | ✓ | | Mis-synthesis | [Issue 1047](https://github.com/YosysHQ/yosys/issues/1047) | ✓ | ✓ | | Mis-synthesis | [Issue 997](https://github.com/YosysHQ/yosys/issues/997) | ✓ | ✓ | diff --git a/scripts/filter_icarus.sh b/scripts/filter_icarus.sh new file mode 100644 index 0000000..6c9910a --- /dev/null +++ b/scripts/filter_icarus.sh @@ -0,0 +1,15 @@ +#!/usr/bin/env bash + +base=$(dirname $1) + +current1=$(find ${base} -maxdepth 1 -mindepth 1 -name 'reduce_sim_yosys_0_8.v') +current2=$(find ${base} -maxdepth 1 -mindepth 1 -name 'reduce_sim_yosys_0_9.v') +current3=$(find ${base} -maxdepth 1 -mindepth 1 -name 'reduce_sim_yosys_master.v') +current4=$(find ${base} -maxdepth 1 -mindepth 1 -name 'reduce_equiv_yosys_master.v') +current5=$(find ${base} -maxdepth 1 -mindepth 1 -name 'reduce_equiv_yosys_0_8.v') +current6=$(find ${base} -maxdepth 1 -mindepth 1 -name 'reduce_equiv_yosys_0_9.v') + +if [[ $current1 != "" ]] && [[ $current2 != "" ]] && [[ $current3 != "" ]] && + [[ $current4 = "" ]] && [[ $current4 = "" ]] && [[ $current5 = "" ]]; then + echo $base +fi |