I am working on a counter that synchronizes itself to a clock by dropping an occasional count if a phase comparator does not detect lock. I had to add a reset line in simulation to reset the counter at the beginning, but there is no need for it in the actual chip, since no matter what it starts out with, it will eventually synchronize. How do I specify the initial values when simulating? phma