You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Author Name: Alex Solomatnikov
Original Redmine Issue: 501 from https://www.veripool.org
Original Date: 2012-04-28
Original Assignee: Wilson Snyder (@wsnyder)
Source code:
function integer ceil;
input number;
real number;
// LMR 4.1.7
// When either operand of a relational expression is a real operand then the other operand shall be converted
// to an equivalent real value, and the expression shall be interpreted as a comparison between two real values.
if (number > $rtoi(number))
ceil = $rtoi(number) + 1;
else
ceil = number;
endfunction
Errors on both calls to $rtoi():
%Error: ddr3.v:553: Expected real input to RTOIS
%Error: ddr3.v:552: Expected real input to RTOIS
The text was updated successfully, but these errors were encountered:
Author Name: Alex Solomatnikov
Original Redmine Issue: 501 from https://www.veripool.org
Original Date: 2012-04-28
Original Assignee: Wilson Snyder (@wsnyder)
Source code:
Errors on both calls to $rtoi():
The text was updated successfully, but these errors were encountered: