Strange Verilator behavior with power, signdness and more #735
Labels
area: wrong runtime result
Issue involves an incorrect runtine result from Verilated model
resolution: fixed
Closed; fixed
Author Name: Clifford Wolf (@cliffordwolf)
Original Redmine Issue: 735 from https://www.veripool.org
Original Date: 2014-04-08
The following module should output 0x00000000 for a=0 and 0x010000ff for a=1. But Verilator GIT 5c39420 outputs 0xffffffff for a=1 instead.
Interestingly the output value for y3 is correct, but setting y3 to a constant value (or otherwise removing the calculation for y3) makes the problem go away. Replacing a with 1 in the assign statements also does make the problem disappear.
Self-contained test case:
http://svn.clifford.at/handicraft/2014/verilatortest/test004.v
http://svn.clifford.at/handicraft/2014/verilatortest/test004.cc
http://svn.clifford.at/handicraft/2014/verilatortest/test004.sh
The text was updated successfully, but these errors were encountered: