There is a general computer science problem comparing real numbers which is magnified by the time precision concept in Verilog. You need to perform your comparisons with a tolerance for rounding errors. See Comparing Floating Point Numbers, 2012 Edition | Random ASCII – tech blog of Bruce Dawson