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

Large numbers silently truncated #1380

Closed
veripoolbot opened this issue Dec 31, 2018 · 2 comments
Closed

Large numbers silently truncated #1380

veripoolbot opened this issue Dec 31, 2018 · 2 comments
Assignees

Comments

@veripoolbot
Copy link

@veripoolbot veripoolbot commented Dec 31, 2018


Author Name: Jonathan Kimmitt (@jrrk2)
Original Redmine Issue: 1380 from https://www.veripool.org

Original Assignee: Wilson Snyder (@wsnyder)


module bigint(input clk, output reg [128:0] cnt);

    always @(posedge clk)
      cnt = cnt + 129'hdeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00d;

endmodule // bigint

In the above code no warnings are issued when the 256 bit number is silently truncated to 129 bits. However if the 129 is changed to 128, the correct message 'too many digits', is correctly issued. Feel free to use this for the regression suite if wanted.

@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Jan 4, 2019


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-01-04T00:03:45Z


Fixed in git towards 4.010

@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Jan 28, 2019


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-01-28T12:32:23Z


In 4.010.

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