Incorrect results with partially out-of-bounds part select #823
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: 823 from https://www.veripool.org
Original Date: 2014-09-23
Original Assignee: Wilson Snyder (@wsnyder)
This should return
y=4'b100x
fora=1
, but verilator returnsy=0
instead(the MSB should be '1', obviously we don't care about the 'x' in the LSB that
is the result of the (by one bit) out-of-bounds part select):
Self-contained test case:
http://svn.clifford.at/handicraft/2014/verilatortest/test020.v
http://svn.clifford.at/handicraft/2014/verilatortest/test020_tb.v
http://svn.clifford.at/handicraft/2014/verilatortest/test020.cc
http://svn.clifford.at/handicraft/2014/verilatortest/test020.sh
This is with git e8edbad (verilator_3_864).
The text was updated successfully, but these errors were encountered: