--incr --debug "typical" --relax --mt "8" -L "xil_defaultlib" -L "secureip" --snapshot "tb_z3_ripple_counter_4bit_behav" "xil_defaultlib.tb_z3_ripple_counter_4bit" -log "elaborate.log" 
