i use the quartusii ,the synthesis result can be simulated correctly in modelsim.
if i use the synplyfy pro,the synthesis result can't be simulated correctly in modelsim.
some of my friends is using dc,i 'd like to try it.
perhaps i don't understand the synplify pro's usage.however it's a good synthesis software.