请选择 进入手机版 | 继续访问电脑版

fpga论坛|fpga设计论坛

 找回密码
 我要注册

QQ登录

只需一步,快速开始

搜索
查看: 475|回复: 13

关于“灭锁”和安全行为

[复制链接]
小舍YZ 发表于 2017-7-15 19:56:31 | 显示全部楼层 |阅读模式
关于“灭锁”和安全行为

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

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?我要注册

x
FPGA_one 发表于 2017-7-16 09:42:10 | 显示全部楼层
关于“灭锁”和安全行为
晓灰灰 发表于 2017-7-16 09:44:07 | 显示全部楼层
关于“灭锁”和安全行为
 楼主| 小舍YZ 发表于 2017-7-16 19:27:36 | 显示全部楼层
晓灰灰 发表于 2017-7-16 09:44
关于“灭锁”和安全行为

                                                                     
lcytms 发表于 2017-7-17 22:12:51 | 显示全部楼层
            学习一下,不错不错!
芙蓉王 发表于 2017-7-18 09:32:02 | 显示全部楼层
关于“灭锁”和安全行为
 楼主| 小舍YZ 发表于 2017-7-18 18:30:49 | 显示全部楼层
芙蓉王 发表于 2017-7-18 09:32
关于“灭锁”和安全行为

                                                      
d643189658 发表于 2017-8-11 18:37:20 | 显示全部楼层
谢谢楼主的分享
您需要登录后才可以回帖 登录 | 我要注册

本版积分规则

QQ|小黑屋|手机版|Archiver|FPGA论坛 ( 京ICP备10035964号  

GMT+8, 2017-9-22 07:01 , Processed in 0.176292 second(s), 26 queries .

至芯科技 Powered by Discuz X3.2

© 2001-2014 Comsenz Inc.

快速回复 返回顶部 返回列表