Verilator extends ~|a and ~(|a) wrong with -Wno-WIDTH #736
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: 736 from https://www.veripool.org
Original Date: 2014-04-09
Original Assignee: Wilson Snyder (@wsnyder)
The following module should return 4'b0000 or 4'b0001 but Verilator
GIT fb4928b returns 4'b1111 or 4'b1110 instead.
Note: The "
|" in "|a" is the nor reduction operator. This is differentfrom "~(|a)".
Crosscheck: Vivado 2013.4, XST 14.7, Quartus 13.1, Xsim 2013.4 and Modelsim
10.1d implement this correctly.
Self-contained test case:
http://svn.clifford.at/handicraft/2014/verilatortest/test005.v
http://svn.clifford.at/handicraft/2014/verilatortest/test005.cc
http://svn.clifford.at/handicraft/2014/verilatortest/test005.sh
The text was updated successfully, but these errors were encountered: