-wto "5d1a0a5e9e7f4981b13a5b6105499a55" --incr --debug "typical" --relax --mt "2" -L "xil_defaultlib" -L "secureip" --snapshot "UART_tx_ctrl_tb_behav" "xil_defaultlib.UART_tx_ctrl_tb" -log "elaborate.log" 
