aboutsummaryrefslogtreecommitdiffstats
path: root/bugs/vivado_4.md
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-11-14 16:49:42 +0000
committerYann Herklotz <git@yannherklotz.com>2019-11-14 16:49:42 +0000
commite827635e34079c8ee9c9e7273a59c905274e553d (patch)
tree5ea082d8120a740af3aeea13eb4565f2ade55c7c /bugs/vivado_4.md
parent798f54c05376ec3b4ebbe8326d0a91eec807df3d (diff)
downloadverismith-e827635e34079c8ee9c9e7273a59c905274e553d.tar.gz
verismith-e827635e34079c8ee9c9e7273a59c905274e553d.zip
Update bug reports
Diffstat (limited to 'bugs/vivado_4.md')
-rw-r--r--bugs/vivado_4.md13
1 files changed, 10 insertions, 3 deletions
diff --git a/bugs/vivado_4.md b/bugs/vivado_4.md
index 0e7ab04..be3d8a6 100644
--- a/bugs/vivado_4.md
+++ b/bugs/vivado_4.md
@@ -1,10 +1,17 @@
# Signed with shift in condition synthesis mistmatch
-[ [Vivado forum 982518](https://forums.xilinx.com/t5/Synthesis/Vivado-2019-1-Signed-with-shift-in-condition-synthesis-mistmatch/td-p/982518) ]
+[ Not fixed | [Vivado forum 982518](https://forums.xilinx.com/t5/Synthesis/Vivado-2019-1-Signed-with-shift-in-condition-synthesis-mistmatch/td-p/982518) ]
-The following code seems to give a mismatch after synthesis. I am using Vivado 2019.1 on my personal Arch Linux machineg and Vivado 2018.2 on CentOS 6.
+## Affected versions
-```
+- Vivado 2019.1
+- Vivado 2018.2
+
+## Description
+
+The following code seems to give a mismatch after synthesis. I am using Vivado 2019.1 on my personal Arch Linux machine and Vivado 2018.2 on CentOS 6.
+
+```verilog
module top (y, w0);
output [1:0] y;
input w0;