diff --git a/doc/ChangeLog.txt b/doc/ChangeLog.txt index f4ab5751..c30947f8 100644 --- a/doc/ChangeLog.txt +++ b/doc/ChangeLog.txt @@ -22,13 +22,13 @@ Release 3.0.1 2026/03/12 ------------------------ Statistical timing (SSTA) with Liberty LVF (Liberty Variation Format) -models is now supported. Statistical timing uses a probaility -distribution to represent a delay or slew ranther than a single +models is now supported. Statistical timing uses a probability +distribution to represent a delay or slew rather than a single number. Normal and skew normal probability distributions are supported. -SSTA is enabled with the sta_pocv_mode variaable. +SSTA is enabled with the sta_pocv_mode variable. set sta_pocv_mode scalar|normal|skew_normal @@ -43,10 +43,10 @@ set with the sta_pocv_quantile variable. The default value is 3 standard deviations, or sigma. -Use the variance field with report_checks or report_check_types to see +Use the variation field with report_checks or report_check_types to see distribution parameters in timing reports. -A command file for analyzing a design with statisical timing with an +A command file for analyzing a design with statistical timing with an LVF library is shown below. read_liberty lvf_library.lib.gz diff --git a/doc/OpenSTA.fodt b/doc/OpenSTA.fodt index e0d25e48..318b70a0 100644 --- a/doc/OpenSTA.fodt +++ b/doc/OpenSTA.fodt @@ -6639,15 +6639,15 @@ This example can be found in examples/mcmm3.tcl.In the example show above the SDC for the modes is in separate files. Alternatively, the SDC can be defined in the command file using the set_mode command between SDC command groups. set_mode mode1create_clock -name m1_clk -period 1000 {clk1 clk2 clk3}set_input_delay -clock m1_clk 100 {in1 in2}set_mode mode2create_clock -name m2_clk -period 500 {clk1 clk3}set_output_delay -clock m2_clk 100 out Statistical Timing Analysis - OpenSTA also supports statistical timing .anallysis with Liberty Variation Format (LVF) libraries. Statistical timing uses a probaility distribution to represent a delay or slew ranther than a single number. - Normal and skew normal probability distributions are supported. SSTA is enabled with the sta_pocv_mode variaable. + OpenSTA also supports statistical timing analysis with Liberty Variation Format (LVF) libraries. Statistical timing uses a probability distribution to represent a delay or slew rather than a single number. + Normal and skew normal probability distributions are supported. SSTA is enabled with the sta_pocv_mode variable. set sta_pocv_mode scalar|normal|skew_normalscalar mode is for non-SSTA analysisnormal mode uses gaussian normal distributionsskew_normal mode is for skew normal LVF moment based distributions The target quantile of a delay probability distribution (confidence level) is set with the sta_pocv_quantile variable. set sta_pocv_quantile <float> The default value is 3 standard deviations, or sigma. - Use the variance field with the report_checks and report_check_types commands to see distribution parameters in timing reports. - A command file for analyzing a design with statisical timing is shown below. - read_liberty lvf_library.lib.gzread_verilog design.vlink_design topcreate_clock -period 50 clkset_input_delay -clock clk 1 {in1 in2}set sta_pocv_mode skew_normalreport_checks -fields {slew variation input_pin variation} -digits 3 + Use the variation field with the report_checks and report_check_types commands to see distribution parameters in timing reports. + A command file for analyzing a design with statistical timing is shown below. + read_liberty lvf_library.lib.gzread_verilog design.vlink_design topcreate_clock -period 50 clkset_input_delay -clock clk 1 {in1 in2}set sta_pocv_mode skew_normalreport_checks -fields {slew variation input_pin} -digits 3 Startpoint: r2 (rising edge-triggered flip-flop clocked by clk)Endpoint: r3 (rising edge-triggered flip-flop clocked by clk)Path Group: clkPath Type: max Slew Delay Variation Time Description--------------------------------------------------------------------------- 0.000 0.000 0.000 clock clk (rise edge) 0.000 0.000 clock network delay (ideal) 0.000 0.000 0.000 ^ r2/CK (FDPQ1) 12.026 mean 0.017 mean_shift 0.366 std_dev 0.000 skewness 4.648 12.409 12.409 v r2/Q (FFQ1) 4.648 0.000 12.409 v u1/A (BUF1) 6.084 mean 0.007 mean_shift 0.188 std_dev 0.000 skewness 2.513 6.137 18.546 v u1/X (BUF1) 2.513 0.000 18.546 v u2/A2 (AN21) 6.447 mean 0.008 mean_shift 0.191 std_dev 0.000 skewness 2.565 6.497 25.043 v u2/X (AN21) 2.565 0.000 25.043 v r3/D (FFQ1) 25.043 data arrival time 0.000 50.000 50.000 clock clk (rise edge) 0.000 50.000 clock network delay (ideal) 0.000 50.000 clock reconvergence pessimism 50.000 ^ r3/CK (FFQ1) -9.376 40.624 library setup time 40.624 data required time--------------------------------------------------------------------------- 40.624 data required time -25.043 data arrival time--------------------------------------------------------------------------- 15.581 slack (MET) The standard deviation for normal distributions is specified with the following liberty timing groups. ocv_sigma_cell_riseocv_sigma_cell_fallocv_sigma_rise_transitionocv_sigma_fall_transitionocv_sigma_rise_constraintocv_sigma_fall_constraint @@ -9532,7 +9532,7 @@ fields - List of capacitance|slew|input_pins|hierarchical_pins|nets|fanout|src_attr|variance + List of capacitance|slew|input_pins|hierarchical_pins|nets|fanout|src_attr|variation @@ -9611,7 +9611,7 @@ fields - List of capacitance|slew|input_pins|hierarchical_pins|nets|fanout|src_attr|variance + List of capacitance|slew|input_pins|hierarchical_pins|nets|fanout|src_attr|variation diff --git a/doc/OpenSTA.pdf b/doc/OpenSTA.pdf index 745f2095..dceb4a4f 100644 Binary files a/doc/OpenSTA.pdf and b/doc/OpenSTA.pdf differ diff --git a/search/Search.tcl b/search/Search.tcl index 066b922b..a57b109b 100644 --- a/search/Search.tcl +++ b/search/Search.tcl @@ -333,7 +333,7 @@ define_cmd_args "report_checks" \ [-sort_by_slack]\ [-path_group group_name]\ [-format full|full_clock|full_clock_expanded|short|end|slack_only|summary|json]\ - [-fields capacitance|slew|fanout|input_pin|net|src_attr]\ + [-fields capacitance|slew|fanout|input_pin|net|src_attr|variation]\ [-digits digits]\ [-no_line_splits]\ [> filename] [>> filename]}