Long description

Figure a: It consists of a block labeled time of day in ticks. The number of bits is given 64.

Figure b: It consists of two blocks labeled time of day in seconds and number of ticks in the current second. The first block has 32 bits.

Figure c: It consists of two blocks labeled counter in ticks and system boot time in seconds. Each block is of 32 bits.