To run a post-synthesis netlist functional simulation:
1. Generate the core with required configuration
2. Open the example design and run Synthesis
3. After synthesis is completed, in the Flow Navigator, right-click the Run Simulation option and select Run Post-Synthesis Functional Simulation .