set_host_options-max_cores8set_app_varhdlin_interface_only""set_app_varverification_failing_point_limit3000set_app_varsh_continue_on_errortrueset_app_varsh_new_variable_messagefalseset_app_varsynopsys_auto_setuptrueset_app_varhdlin