01
AXI协议基础回顾
AXI通道与握手信号、读写事务流程、突发传输与地址对齐。
握手突发
02
约束冲突的本质
什么是时序约束冲突、冲突的常见来源（跨时钟域、组合逻辑过深、伪路径误判）。
跨时钟域伪路径
03
set_max_delay与set_min_delay冲突
跨时钟域路径的过度约束、与set_clock_groups_check的交互。
max_delayCDC
04
set_clock_groups与set_false_path冲突
异步时钟域处理中的重叠与矛盾。
时钟组false_path
05
set_multicycle_path与set_max_delay冲突
慢速路径的约束重叠、保持时间与建立时间的权衡。
MCP建立时间
06
set_input_delay与set_output_delay冲突
端口约束与内部路径的时序矛盾。
I/O delay端口
07
create_clock与create_generated_clock冲突
主时钟与衍生时钟的相位关系错误。
衍生时钟相位
08
set_clock_uncertainty与set_timing_derate冲突
悲观与乐观估计的叠加效应。
uncertaintyderate
09
set_data_check与setup/hold约束冲突
跨时钟域数据有效窗口的约束矛盾。
data_check窗口
10
set_case_analysis与set_false_path冲突
模式分析下的路径误约束。
case_analysis模式
11
set_disable_timing与set_max_delay冲突
时序弧禁用后的路径约束失效。
disable_timing弧
12
set_clock_latency与set_input_delay冲突
时钟延迟与数据到达时间的计算偏差。
latencyinput_delay
13
set_propagated_clock与set_clock_latency冲突
理想时钟与传播时钟的混合使用。
propagated理想时钟
14
set_clock_transition与set_input_transition冲突
时钟与数据边沿斜率的约束矛盾。
transition斜率
15
set_load与set_output_delay冲突
输出负载与延迟约束的相互影响。
loadoutput_delay
16
set_fanout_load与set_max_fanout冲突
扇出约束与负载约束的冲突。
fanout负载
17
set_max_capacitance与set_max_transition冲突
电容与转换时间的约束重叠。
电容transition
18
set_resistance与set_max_capacitance冲突
电阻与电容的RC延迟约束矛盾。
电阻RC
19
set_operating_conditions与set_timing_derate冲突
工艺角与降额因子的叠加效应。
PVTderate
20
set_wire_load与set_max_capacitance冲突
线负载模型与电容约束的冲突。
wire_load电容
21
set_voltage与set_operating_conditions冲突
多电压域下的时序约束矛盾。
电压域多电压
22
set_threshold_voltage_group与set_operating_conditions冲突
多阈值电压单元的时序约束。
阈值LVT
23
set_clock_sense与set_false_path冲突
时钟极性感知与路径屏蔽的冲突。
clock_sense极性
24
set_clock_gating_check与setup/hold约束冲突
门控时钟检查与时序检查的冲突。
门控clock_gating
25
set_clock_hold与set_clock_setup冲突
保持时间与建立时间约束的独立设置冲突。
holdsetup
26
set_clock_recovery与set_clock_removal冲突
异步复位/置位信号的恢复与移除时间约束。
recoveryremoval
27
set_clock_latency与set_clock_uncertainty冲突
时钟延迟与不确定度的约束叠加。
latencyuncertainty
28
set_clock_jitter与set_clock_uncertainty冲突
时钟抖动与不确定度的重复计算。
jitteruncertainty
29
set_clock_skew与set_clock_uncertainty冲突
时钟偏斜与不确定度的约束重叠。
skewuncertainty
30
综合实战：AXI总线约束冲突排查与解决
使用PrimeTime/Tempus进行约束验证。
PrimeTimeTempus