关于“灭锁”和安全行为

关于“灭锁”和安全行为

1. 锁存器是导致非安全行为的主要因素，故有要“安全”，先“先灭锁”之说。
2. 但是，RTL的“灭锁”并不一定导致全部安全；反之，一个安全行为一定是“灭锁”的。
3. 这两者之间的关系应该是：“灭锁”是安全行为的必要条件，但不是充分条件；反之，安全行为则是“灭锁”的充分必要条件
4. 但是，“灭锁”是手段，“安全”是目的；“灭锁”是因，“安全”是果。
5. 在闭节点情况下，无论是否全条件，部分条件，无论是否有线与或无线与，EDA均会用寄存器灭锁。但此时并不一定保证安全。
6. 当闭节点中有输出至下游的控制信号时，无论是否线与了，都仍然有可能导致非安全行为。这是因为下游译码逻辑部分可能生锁。
7. 因此，FSM的一段和二段代码中，如果有输出控制信号，安全的写法，就是这些信号要写“全条件全线与”，即这些控制信号必须在每一个条件分支块中陈述一遍（这些信号不能写默认动作），另外在else和default中，这些信号还要陈述一遍。

关于“灭锁”和安全行为

关于“灭锁”和安全行为

晓灰灰 发表于 2017-7-16 09:44
关于“灭锁”和安全行为

                                                                     

            学习一下，不错不错！

关于“灭锁”和安全行为

芙蓉王 发表于 2017-7-18 09:32
关于“灭锁”和安全行为

                                                      

谢谢楼主的分享

学习了 ! ! !

感谢分享！