--incr --debug "typical" --relax --mt "8" -L "xil_defaultlib" -L "secureip" --snapshot "z3_ripple_counter_4bit_behav" "xil_defaultlib.z3_ripple_counter_4bit" -log "elaborate.log" 
