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 /README.md | |
| parent | b94f2528d898d6965d5fcf23a38a7df0dda7f538 (diff) | |
| download | verismith-cfa0954106632b3fbadd89786b7480b2bd4e0ab9.tar.gz verismith-cfa0954106632b3fbadd89786b7480b2bd4e0ab9.zip | |
Add new Yosys report
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 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) | ✓ | ✓ | |