如何避免门级后防出现X传递？

用快时钟去采慢信号的上升沿，门级仿真时如果有时序违反（由于异步采样，这个是允许的），就会导致采到的上升沿信号出现X，然后X传递导致整个仿真不能跑下去，请问如何能避免这个问题？

+no_notifier可以不传播任何violation造成的x。
vcs还有个 +optconfigfile的选项可以去掉你不关心的dff的检查。nc对应的option是nctchk?(nc好几年不用，不太记得了。可以在手册里搜nctchk或者tchk。)
还有就是在写sdf的时候把指定dff的检查部分写成0.0-- PT的命令，记不清楚了

把double-sync第一级触发器的timing check去掉
最简单不用动脑的办法就是用脚本直接处理sdf

将第一级触发器的notifier force成1'b0或者1'bx