Waveform Editor - odd inversion

You are mixing incompatible libraries:

use ieee.std_logic_unsigned.all;
use ieee.numeric_std.all;

You should only include one of them, but the first one is deprecated so you are left with the second.

This will have the effect that you can no longer compare standard_logic_vector to an integer.

So you either have to add more casts or switch to using unsigned in stead of std_logic_vector for counts etc.

Using initial values should also work fine. Using a dedicated reset is, as you did, the other option to initialise the simulation.

Regards,

Josy