由于X态导致的FM verification fail

zhalvin · 发表于 2021-11-2 10:07:13

本帖最后由 zhalvin 于 2021-11-5 08:08 编辑

非retention 寄存器在比对时，由于SD端信号来自于retention cell，导致在power down模式时X态传递而比对失败。加什么样的约束可以自动比对通过？

ham8665746 · 发表于 2021-11-2 16:12:52

## constraint to couple isolation & switch control signals
set_constraint mutex {gprs_sd_reg gprs_iso_reg} r:/WORK/power_controller
set_constraint coupled {mult_sd_reg mult_iso_reg} r:/WORK/power_controller

zhalvin · 发表于 2021-11-4 08:03:03

设置ISO_EN为常数，比对通过。虽然比对通过了，还在debug为啥需要设置这个约束

[讨论] 由于X态导致的FM verification fail

站长推荐 /2