Ac_conv03

Ac_conv03 Checks different domain signals synchronized in the same destination domain and are converging When to Use Use this rule to check convergences of different domain signals that are synchronized in the same domain. Prerequisites Specify clock signals in any of the following ways: • By using the clock constraint • By using the automatically generated clock signals after setting the use_inferred_clocks parameter to yes • By using a combination of both the above methods Description The details of the Ac_conv03 rule are covered under the following topics: • Reasons for the Ac_conv03 Rule Violation • Features of the Ac_conv03 Rule • Handling MUXes by the Ac_conv03 Rule Reasons for the Ac_conv03 Rule Violation The Ac_conv03 rule reports different domain signals that converge after satisfying the following conditions: • Signals are synchronized by using any of the following schemes: ◦ Conventional Multi-Flop Synchronization Scheme ◦ Synchronizing Cell Synchronization Scheme ◦ Qualifier Synchronization Scheme • Signals from different source domains are synchronized in the same destination domain.

电路拓扑 (Circuit Topology)

波形示例 (Waveform Animation)

Ac_unsync01

规则描述

修复建议 (Fix)

Waive 建议