It would be better to define a 64 bit or even 128 bit time resolution, considering the increasing simulation execution time and decreasing switching time. Depending on modeling style and abstraction sometimes the required delta-cycles need to be analysed in the testbench. An cxample is to check the delta-cycle equivalence to ensure the correct re- simulation. One possible description of that function is: