diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:49:42 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:49:42 +0000 |
commit | e827635e34079c8ee9c9e7273a59c905274e553d (patch) | |
tree | 5ea082d8120a740af3aeea13eb4565f2ade55c7c /bugs/yosys_8.md | |
parent | 798f54c05376ec3b4ebbe8326d0a91eec807df3d (diff) | |
download | verismith-e827635e34079c8ee9c9e7273a59c905274e553d.tar.gz verismith-e827635e34079c8ee9c9e7273a59c905274e553d.zip |
Update bug reports
Diffstat (limited to 'bugs/yosys_8.md')
-rw-r--r-- | bugs/yosys_8.md | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/bugs/yosys_8.md b/bugs/yosys_8.md index 9840f34..56d5e49 100644 --- a/bugs/yosys_8.md +++ b/bugs/yosys_8.md @@ -1,8 +1,14 @@ # Synthesis issue with shift and multiplication -[ [Issue 1047](https://github.com/YosysHQ/yosys/issues/1047) ] +[ Fixed in [`349c472`](https://github.com/YosysHQ/yosys/commit/349c47250a9779bc58634870d2e3facfe95fbff8) | [Issue 1047](https://github.com/YosysHQ/yosys/issues/1047) ] -## Steps to reproduce the issue +## Affected versions + +- Yosys 0.8+498 + +## Description + +### Steps to reproduce the issue Consider the following Verilog code @@ -26,11 +32,11 @@ and the following command yosys -p 'read -formal rtl.v; synth; write_verilog -noattr syn_yosys.v' ``` -## Expected behavior +### Expected behavior When passing the input `3'b100`, I would expect the output to give `1'b1`, as `3'b100 * 3'b110 = 3'b000`. -## Actual behavior +### Actual behavior The synthesised output is the following, which when given `3'b100` gives `1'b0` as output. |