Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Generate IF conditional does not correctly handle constant selections #492

veripoolbot opened this issue Apr 25, 2012 · 1 comment


Copy link

@veripoolbot veripoolbot commented Apr 25, 2012

Author Name: Jeremy Bennett (@jeremybennett)
Original Redmine Issue: 492 from
Original Date: 2012-04-25
Original Assignee: Jeremy Bennett (@jeremybennett)

The patch in Issue 413 to allow short-circuiting of conditionals introduced a bug in evaluating generate IF conditionals that yield a constant selection. For example

   if ((SIZE < 8'h04) && MASK[0]) begin

where SIZE and MASK are parameters with values 2 and 2'h11 respectively.

Please pull a patch for this and an associated regression test from


This comment has been minimized.

Copy link

@veripoolbot veripoolbot commented Apr 25, 2012

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2012-04-25T22:17:40Z

In git; closing as never in formal release.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
1 participant
You can’t perform that action at this time.