### Open post-implementation functional simulation in Vivado

restart
open_saif "core.saif" ## change the name of the SAIF file.
log_saif [get_objects -r *] ## record activity of all signals
add_force {/core_tb/ap_clk} -radix hex {1 0ns} {0 5000ps}
-repeat_every 10000ps
add_force {/core_tb/ap_rst} -radix hex {1 0ns}
add_force {/core_tb/ap_start} -radix hex {1 0ns}
run 100 ns
add_force {/core_tb/ap_rst} -radix hex {0 0ns}
run 43556245 ns ## specify the time when the code finishes.
close_saif