ID:307002 Value for option <name> is missing. This option is required.

CAUSE: The (design_name)_report_timing.tcl file passes a missing parameter to the assumption verification function, which is not allowed.

ACTION: Make sure that the parameters passed in are complete and properly formatted.