13.5.3.3 DRC

Run DRC immediately after synthesis evaluates the netlist generated by Synplify to ensure it does not have any connection problems.

ModelSim: Update modelsim.ini automatically may be useful if the Project Manager does not create a valid modelsim.ini file. Click the checkbox to enable.