I've reported a couple of Vivado and Xsim 2013.4 bugs in december 2013. I've now tested with Vivado 2014.1 and my test cases still fail, some with slightly different errors:
http://forums.xilinx.com/t5/Synthesis/Strange-output-const-zero-bug-with-Vivado-gt-gt-gt-signedness/td-p/401411
Does not return constant 0 anymore. But sign extension is done incorrectly. It shopuld return 1111 for a=1 and b=0 but returns 0001 instead.
http://forums.xilinx.com/t5/Synthesis/Vivado-creates-netlist-with-inputs-shorted-together/td-p/397161
Does not short together the inputs anymore but still returns an invalid circuit. For example a=63 and b=15 yields y0=7, but y0 should obviously be set to constant 0.
http://forums.xilinx.com/t5/Synthesis/Vivado-GDpGen-implementDivMod-DFNode-bool-Assertion-TBD-failed/td-p/401721
Still fails with the same assert.
http://forums.xilinx.com/t5/Synthesis/Vivado-bug-in-undef-handling-for-relational-operators/td-p/403469
Still same faulty behavior.
http://forums.xilinx.com/t5/Simulation-and-Verification/Bug-in-XSIM-when-combining-reduce-op-and-signed-unsigned/td-p/406801
Still same faulty behavior.
http://forums.xilinx.com/t5/Simulation-and-Verification/XSim-implements-0-1-incorrectly/td-p/406517
Still same faulty behavior.
http://forums.xilinx.com/t5/Simulation-and-Verification/XSim-hangs-on-power-operations-with-large-exponents/td-p/406887
Still same faulty behavior.
What is the status of those? When can I expect fixes? I have more bug reports pending but are holding back on reporting them until the ones I already reported are fixed so I don't send in duplicates.
