pregsim with sdf的保持时间违反，原因分析

1. 如果setup是负值-n，hold check就是-n+1ps。来表征一个正确的采样窗口。
2. hold check不为0，是有意义的。如果仿真报告hold violation，就意味着，数据被当拍采样过去了。
3. 修改方法，最简单的是netlist加assign #延迟，让数据正常采样过去。
4. 最佳方法，是sdf里，针对pt存在的hold违反路径，加net 延迟反标（例如0.2ns），保证数据正常采样过去。