9.15.8.17 Arguments

-name {device_name}

Optional user-defined device name. The device name is not required if there is only one device in the current configuration, or a device has already been selected using the set_debug_device command.

-mem_file_dir {mem_file_directory}

Location of memory file.

-file {filename}

Output filename.