How to operate the simulation after ISE synthesis?

Step 1: compile xilinx's library with modelsim and add it;

Step 2: Open ISE, edit-> preferences, and add the directory where you installed modelsim in the third-party simulation tool;

Step 3: Open the ISE project you want to simulate. There is a drop-down menu on the Source window. The menu includes "Behavior Simulation" and "Simulation after Synthesis". Choose the last one.

Step 4: Now in the source code window, you should be able to see the test incentive file you wrote; Click to select the file, and you should see the icon and simulation options of modelsim in the process window.

Step 5: Double-click the modesim icon in the process window, and then start calling modelsim for simulation!

I don't have ISE installed on this computer at hand, so I wrote so much from memory, hoping it will help;