-wto "b86105b9c620426fb949ea62c9fc70d9" --incr --debug "typical" --relax --mt "2" -L "xil_defaultlib" -L "unisims_ver" -L "unimacro_ver" -L "secureip" --snapshot "HDL_DVBS2_Correlator_tb_behav" "xil_defaultlib.HDL_DVBS2_Correlator_tb" "xil_defaultlib.glbl" -log "elaborate.log" 
