ur design should meet ur requirement. during synthesis u can find wether u meet the timing requirements or not. but u cant check ur expected out without functional verification. coz everyone is not perfect. hence it always preferbale to do coding first in modelsim and later synthesize ur design
It is possible for small design which are designed for combo logic.
But not possible for big designs having multiple logic in the design which have to follow timing/place constraints.