diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 16:12:07 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 16:12:46 +0100 |
commit | 1dd3aa0e68bd836dca4b522a922ed494092e46ba (patch) | |
tree | 4ca8b5396c383cf9db0309c5ccc33a829a5c2134 | |
parent | 24cf9ce5bf673615ebe36f5ab5d0ff7685dfada6 (diff) | |
download | verismith-1dd3aa0e68bd836dca4b522a922ed494092e46ba.tar.gz verismith-1dd3aa0e68bd836dca4b522a922ed494092e46ba.zip |
Add found bugs
-rw-r--r-- | README.md | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -14,6 +14,25 @@ and the following simulator: - [Icarus Verilog](http://iverilog.icarus.com) +## Reported bugs + +- **MS** :: Mis-synthesis +- **C** :: Crash + +### Yosys + +| Type | Issue | Confirmed | Fixed | | +|------|------------------------------------------------------------|-----------|-------|---| +| MS | [Issue 1047](https://github.com/YosysHQ/yosys/issues/1047) | ✓ | ✓ | | +| MS | [Issue 997](https://github.com/YosysHQ/yosys/issues/997) | ✓ | ✓ | | +| C | [Issue 993](https://github.com/YosysHQ/yosys/issues/993) | ✓ | ✓ | | + +### Vivado + +| Type | Issue | Confirmed | Fixed | +|------|-----------------------------------------------------------------------------------------------------|-----------|-------| +| C | https://forums.xilinx.com/t5/Synthesis/Vivado-2019-1-Verilog-If-statement-nesting-crash/td-p/981787 | | | + ## Build the Fuzzer The fuzzer is split into an executable (in the [app](/app) folder) and a |