静态时序分中的case analysis传播分析

在使用静态时序分析工具的时候，通常会遇到case analysis的情形，但是由于时序分析工具的静态分析属性，工具会自动传播case value，常规的时序分析命令不能很好的表达case value的形态，这里介绍一种比较简洁的方法来处理这类情形，闲言少叙，ICer GO！

case value的配置和传播（propagation ）

静态时序分析工具对于SDC里边的case analysis配置（set_case_analysis）会进行静态传播：

• 组合逻辑：Z <= A * B （与门）
  • 如果A==0，B没有case，则Z=0，case 传播
  • 如果A==1，B没有case，则Z不确定，case 不传播
• 时序逻辑：Q <= CP_edge * D
  • 由于Q是一个CP的edge来传递D，并非直接的静态传播，所以无论CP/D被配置成何种case，都不会传播到Q上。

基于上述原理，工具在对SDC进行分析的时候，会先把SDC里的case analysis进行传播分析，而后会得到每一个被确定的case value，用户可以使用使用下面两种方法获得设计中的case value （这里以S家的工具为例）

• report_case_analysis -all: 获得数据库中所有被施加（case analysis或者静态传播）的pin 和对应的case value
• get_attribute [get_pin $pin] case_value: 获得制定pin （$pin）上的case value