Post-Synthesis Simulation, What does it guarantee?

Thank for your replies!

I finally found the way to keep QuartusII happy and stop giving me this critical warning.

In the code that I use i wrote this for the count registers:

SIGNAL count : NATURAL RANGE 0 TO 3;

so the synthesizer was assuming that i wanted the registers to power-up with zeros. This was in conflict with

IF ( rst='1' ) THEN

count := 3;

output <= '0'

so by making the following change:

SIGNAL count : NATURAL RANGE 0 TO 3 :=3;

the warning was gone...

It seems to me that by taking care of the power-up levels of registers If the design simulates OK with a post-synthesis simulation then chances are that this is going to be the actual behavior as well.

Thx all to once more