From 1dd3aa0e68bd836dca4b522a922ed494092e46ba Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 29 Jun 2019 16:12:07 +0100 Subject: Add found bugs --- README.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/README.md b/README.md index 829f3b0..0159d94 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit