Spyglass mthresh parameter issue

问题
        用spyglass进行语法检查，报告以下错误：

        [DC] SYNTH_5273 SynthesisError ../../src/PDP_RAM.v 32 1000 PDP_RAM -> Number of bits (16384) for net/variable 'mem' is greater than mthresh value 4096. Set the 'mthresh' parameter to a value greater than the indicated number of bits。

        For all the unsynthesizable modules for which memory size exceeds mthresh, SYNTH_5273 warning is generated.

        有以下两种可能的解决方案： 

解决方案1
        将该模块加入到ignore列表，如下所示：

set_option ignoredu {PDP_RAM}
        即忽略掉对于该模块的检查。能否取决于设计者的判断。本模块是一个双口RAM的行为级模型，这个在芯片综合中肯定是要替换为真正的芯片的RAM模型的（通常由芯片制造商提供的SRAM compiler生成） ，所以这个模块肯定是可以ignore的。

解决方案2
        修改mthresh的值，如下所示：

set_option mthresh  16384
————————————————

                            版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
                        
原文链接：https://blog.csdn.net/chenxy_bwave/article/details/123130088