Which one of the following commands is used to generate a script that can be used by the synthesis tool to synthesize an RTL design that has been DFT inserted? A) synthesize -dft script B) rtl_insert -dft script C) generate_dft_script D) synth_tool -dft script