1.某些寄存器信号一直是常量,在综合时被优化,导致后续FM一致性检查出现问题。
解决:在dc.tcl中加入以下命令。
set compile_seqmap_propagate_constants false