... Description void tf_add_long (int *aof_low1, int *aof_high1, int low2, int high2); Add two 64-bit long values. void tf_subtract_long (int *aof_low1, int *aof_high1, int low2, int high2); ... another. void tf_multiply_long (int *aof_low1, int *aof_high1, int low2, int high2); Multiply two long values.void tf_divide_long (int *aof_low1, int *aof_high1, int low2, int high2); Divide ... hidelay, int *aof_lowtime, int *aof_hightime ); Convert a 64-bit integer delay to internal simulation time units. void tf_scale_realdelay (char *instance, double delay, double *aof_realdelay);...