Veri3.SDF后仿真时序检查
纲要：1.SDF如何标识具体的dly2.后仿真如何模拟transition3.如何屏蔽时序违例的检查1.Delay Calculation简单而言，工具在给出Dlay信息时，已经将transition的影响考虑在内，因此后仿真尽管在波形上的体现是没有transition斜率的体现，但是其Delay信息已经将其考虑在内；2.Back-AnnotationThe SDF is used to gate-sim include the Net delays
