来自第2.1.1
In the case of function statements, latches will not be generated even if the conditions are
not completely defined. In this case, however, it behaves like a latch during simulation,
but logic gates generated by logic synthesis tools have the result of don’t care, so that it is
uncertain whether the value takes 0 or 1. As a result this description can be very hazardous since the RTL simulation and gate simulation results will no longer match.[2]
请问这一段可以这样理解吗:function语句内部的case就算是没有default语句,综合时也不会生成锁存器,但是仿真时,由综合器生成的逻辑门有无关的状态,所以会造成前仿真和后仿真不一致的情况? |