异步电路之间必须消除毛刺         之前提到过，数字电路后仿的一个主要目的就是动态验证异步电路时序。异步电路的时序是目前STA工具无法覆盖的。         例如异步复位的release是同步事件，其时序是可以靠STA保证的；但是reset是异步事件，它的时序只能靠设计来保证、动态仿真来检查。产生reset的逻辑可能来自多个时钟域，但是在送入异步复位电路的时候，还是需要在设计上做到最终