Compute mean time between failures and display report
Syntax
report_synchronizer_mtbf [‑file <arg>] [‑append] [‑return_string]
[‑warn_if_mtbf_below <arg>] [‑quiet] [‑no_header] [‑report_endpoints]
[‑verbose]
Returns
Report
Usage
Name | Description |
---|---|
[-file]
|
Filename to output results to. (send output to console if -file is not used) |
[-append]
|
Append the results to file, don't overwrite the results file |
[-return_string]
|
Return the report output as a string |
[-warn_if_mtbf_below]
|
Default: 1e+12 |
[-quiet]
|
Ignore command errors |
[-no_header]
|
Report without the header |
[-report_endpoints]
|
Report cdc path end points |
[-verbose]
|
Suspend message limits during command execution |
Description
The report_synchronizer_mtbf
command reports mean time between failures (MTBF) of each clock domain crossing (CDC) synchronizer chain in a design, and provides an overall MTBF covering all synchronizers. Synchronizer registers must have ASYNC_REG properties with value TRUE to be properly identified as synchronizers for reporting.
- One or both clocks of the CDC are unconstrained.
- There is a timing violation involving registers in the synchronizer chain.
- There is a zero toggle rate detected for the CDC data.
set_switching_activity
command to manually override the toggle rate on the CDC net with a realistic value. This involves assigning the Toggle Rate and the Static Probability:
- Toggle Rate: The number of CDC data signal transitions measured in Million Transitions per Second.
- Static Probability: The percentage of time during which the CDC data signal is driven at a high logic level.
set_switching_activity -toggle_rate 12.5 -static_probability 0.5 \
[get_nets resync[0]]
- MTBF: The Mean Time Between Failures for the CDC synchronizer reported in dynamic time units, from seconds to years. An invalid MTBF value is reported as UNDEFINED.
- Data Toggle Rate: The rate at which the CDC data switches, based on the default switching activity for the design as reported by
report_switching_activity
. Measured in (Mts) Millions of Transitions per Second. The rate can be overridden using theset_switching_activity
command targeting the CDC net object. - Data Sample Rate: The rate at which the CDC data is sampled, equivalent to the synchronizer chain frequency, measured in MHz.
- Settling Time: The total amount of positive slack in nanoseconds on the timing paths from synchronizer register outputs. Higher Settling Time increases MTBF.
- Sending Domain: The clock domain of the source of the CDC data. A value of UNCONSTRAINED is reported if the source clock is not defined.
- Receiving Domain: The clock domain of the destination of the CDC data. A value of UNCONSTRAINED is reported if the destination clock is not defined.
- Number of Stages: This is the length of the synchronizer chain, which equals the number of registers with ASYNC_REG value of TRUE. The MTBF calculation will determine the likelihood that the output register or registers (should the fanout be greater than 1) will experience a metastable event. For example in a typical synchronizer containing 2 registers with the ASYNC_REG property set, the MTBF calculation indicates the probability that the output register(s) following the last ASYNC_REG register will capture an incorrect value resulting from the metastable event. When a synchronizer is connected to more than 1 output register, the minimum slack from all the paths will be used in the MTBF calculation to ensure that all registers capture the same logic level.
- CDC Net Name: This is the logical net name of the CDC data, the data that is captured asynchronously.
This command returns the MTBF report, or returns an error if it fails.
The report also includes an overall MTBF calculated using the MTBF of all synchronizers in the design, calculated as the inverse of the sum of the reciprocals of the individual synchronizer MTBF values: (1 / (1/MTBF_1 + 1/MTBF_2 + … + 1/MTBF_N) ) for N synchronizers.
Arguments
-file
<arg> - (Optional) Write the report into the specified file. This command will overwrite any files of the same name without warning.
-append
- (Optional) Append the output of the command to the specified file rather than overwriting it.
-append
option can only be used with the -file
option.-return_string
- (Optional) Directs the output to a Tcl string rather than to the standard output. The Tcl string can be captured by a variable definition and parsed or otherwise processed.
-file
option.
-warn_if_mtbf_below
<arg> - (Optional) Specify a value as a floating point number, below which the Vivado Design Suite will issue a warning in addition to the report. The default value is 1e+12.
-no_header
- (Optional) Write the report without the addition of the standard header.
-report_endpoints
- (Optional) Report the total number of CDC path endpoints. This is the sum of Safe, Unsafe, and Unknown endpoints.
-quiet
- (Optional) Execute the command quietly, returning no messages from the command. The command also returns TCL_OK regardless of any errors encountered during execution.
-verbose
- (Optional) Temporarily override any message limits and return all messages from this command.
set_msg_config
command.Examples
report_synchronizer_mtbf -file C:/Data/mtbf_report.txt