21.6.25 VERIFYTIMING

Description

"VERIFYTIMING" is a command tool used in configure_tool and run_tool. Use "configure_tool -name {VERIFYTIMING}" to configure "VERIFYTIMING" tool, run_tool passes a script file that contains timing specific Tcl commands to the VERIFYTIMING command and executes it.

configure_tool -name {VERIFYTIMING} -params {parameter:value}
run_tool -name {VERIFYTIMING} -script {timing.tcl}

Where, timing.tcl is a script that contains the SmartTime-specific Tcl commands. You can include SmartTime-specific Tcl commands to create user path, to set and generate timing reports.

Arguments

The following table list the "VERIFYTIMING" arguments for PolarFire, SmartFusion 2, IGLOO 2, RTG4 and PolarFire SoC.

The following table list the "VERIFYTIMING" arguments for PolarFire and PolarFire SoC.

Error Codes

Supported Families

Example

The following example specifies text as the Report format and turns on report generation for Constraint_coverage report, the Max_Delay_Analysis Timing Report based on Slow process, Low Voltage, and High Temperature and the Max_Delay_Analysis Timing Violation Report based on Slow Process, Low Voltage, and High Temperature operating conditions. The script turns off Min_Delay_Analysis Timing Violation Report generation based on Slow process, Low Voltage, and High Temperature operating conditions. It also sets the maximum number of timing paths to 25 and maximum slack threshold of 0.04:

configure_tool -name {VERIFYTIMING} \
               -params {FORMAT:txt} \
               -params {CONSTRAINT_COVERAGE:1} \
               -params {MAX_TIMING_SLOW_LV_HT:1} \
               -params {MAX_TIMING_VIOLATIONS_SLOW_LV_HT:1} \
               -params {MIN_TIMING_VIOLATIONS_SLOW_LV_HT:0}
               -params {MAX_PATHS_TIMING:25} \
               -params {SLACK_THRESHOLD_VIOLATION:0.04}
		    
run_tool -name {VERIFYTIMING} -script {timing.tcl}

Sample SmartTime Tcl Script <timing.tcl>

# Create user path set -from B_reg 
create_set -name from_B_reg \
    -source {B_reg*[*]:CLK} -sink {*}

# Create user set -from A, B, C
create_set -name from_in_ports \
    -source {A B C} \
    -sink {*}

# Generate Timing Reports
report \
    -type timing \
    -analysis min \
    -format text \
    -max_paths 10 \
    -print_paths yes \
    -max_expanded_paths 10 \
    -include_user_sets yes \
    min_timing.rpt

# Export SDC
write_sdc -scenario {Primary} exported.sdc

#save the changes
save