EETOP 创芯网论坛

找回密码

  登录   注册  

搜帖子
300信元+30个幸运抽奖|电子书《4种方法帮助您高效进行元器件表征》
查看: 3307|回复: 13

[转贴] 后端面试--每日一题(066)

[复制链接]
发表于 2011-11-24 11:28:29 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

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

x
问题由szp9912收集提供,特此感谢!

detAIl explain what is the difference between LEC and simulation?

详细解释逻辑等值验证和仿真的异同

难度:2
发表于 2011-11-24 17:12:04 | 显示全部楼层
LEC应该是偏向电路逻辑方面的检查,而仿真应该主要是看电路实现的功能的正确性吧。
回复 支持 反对

使用道具 举报

发表于 2011-11-24 17:37:49 | 显示全部楼层
本帖最后由 marsfabio 于 2011-11-24 17:51 编辑

LEC应该是比较电路结构之间的等价性检查吧,不需要测试激励,但需要一个基准电路;而仿真应该主要是看电路功能的正确性,需要测试激励。不知理解对否
回复 支持 反对

使用道具 举报

发表于 2011-11-24 19:52:19 | 显示全部楼层
问一下,形式验证和它们有什么区别啊?
回复 支持 反对

使用道具 举报

发表于 2011-11-24 21:25:10 | 显示全部楼层
我想版主的意思是不是就是形式验证与仿真的区别吧。
形式验证是为了验证综合前后或者layout前后,电路是否在数学模型上有改变吧。那综合前后的形式验证为例,用formality进行形式验证时需要DC提供验证节点,然后FM根据这些节点去验证综合前后的电路在数学逻辑功能上是否等价。形式验证不需要任何激励测试向量,他能保证逻辑上电路没有发生变化。

仿真的话有分为layout前后的仿真,前仿真主要用于测试功能是否正确,需要测试激励,后仿真主要用于测试是否满足时序(当然也就测试了功能是否正确),同样也需要激励信号。仿真的目的是模拟电路实际工作状态,看输入和输出是否满足设计要求。

如果要说区别的话,我个人感觉形式验证就像数字电路中的analyse,分析电路功能,看是否满足设计要求,而仿真的话更多的是在模拟实际电路工作情况。
不知道这样理解对不对。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2011-11-25 08:37:41 | 显示全部楼层
就是形式验证

sages解释得很清楚
回复 支持 反对

使用道具 举报

发表于 2011-11-25 08:44:18 | 显示全部楼层
形式验证比较的是电路间的等效性,比较是基于逻辑锥进行的
仿真是检验电路的function的。
回复 支持 反对

使用道具 举报

发表于 2011-11-25 09:22:09 | 显示全部楼层
5#回答的很精辟啊!学习了!
回复 支持 反对

使用道具 举报

发表于 2011-11-25 12:16:00 | 显示全部楼层
现在基本上都做的, formal run的比较快,  可以早点发现问题

但是post-layout simulation也是必不可少的, 对于designer 来说 是更放心的一步 ,
回复 支持 反对

使用道具 举报

发表于 2011-11-25 13:53:07 | 显示全部楼层
回复 6# 陈涛

请问是不是formality也可以做synthesis前后的形式验证,还是只能做RTL vs layout后的?
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐上一条 /3 下一条

小黑屋| 关于我们| 联系我们| 在线咨询 |  EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2020-2-29 14:06 , Processed in 0.070835 second(s), 12 queries , Gzip On, Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

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