Bug in evaluating (defined) expression with undef bits

CLOSED: fixed in Verilator GIT 5f5a3db

This should set y=1, but verilator 6ce2a52 sets y=0 instead.

module issue_042(y);
  output [3:0] y;
  localparam [3:0] p11 = 1'bx;
  assign y = ~&p11;

Self-contained test case: test013.v, test013.cc, test013.sh

2014-05-11 Reported as Issue #764
2014-05-11 Fixed in GIT commit 5f5a3db

← Back to VlogHammer Project Page