EETOP 创芯网论坛 (原名：电子顶级开发网)

标题: 后端面试--每日一题（046） [打印本页]

作者: 陈涛 时间: 2011-7-1 11:38
标题: 后端面试--每日一题（046）
In logic equivalence checking, how do you handle scan_en signal?

LEC中如何处理scan_en端？

难度：3

作者: 陈涛 时间: 2011-7-4 11:13
这个问题不难啊！

如果有scan chain reorder，disable scan_en
如果没有，enable scan_en

作者: abc2403 时间: 2011-7-4 11:23
LEC没用过FORMALITY里要设成常数

作者: papertiger 时间: 2011-7-4 12:33
应该都disable scan_en，无论rtl vs netlist 还是 scan reoder 的 netlist vs netlist
scan都是后端处理的。

作者: 陈涛 时间: 2011-7-4 16:18

应该都disable scan_en，无论rtl vs netlist 还是 scan reoder 的 netlist vs netlist
scan都是后端处理的 ...
papertiger 发表于 2011-7-4 12:33

登录/注册后可看大图

再一次提醒你，请看清楚题目--《后端面试》，这里问的就是后端如何处理！

本版欢迎不同意见的发表，但是希望先看清楚别人的发言，这是对别人的尊重

作者: papertiger 时间: 2011-7-5 09:55
咋个，难道每家的后端定义必须符合你的要求。

1，综合现在归后端的很多，而且该趋势越来越明显。
2，另外有些netlist 做scan 换的是mentor 的工具，scan 这步也未必在dc 都做全了。
3，本来scan 的正确性就是跑向量来保证的，逻辑上，disable scan_en 不存在问题。

作者: 陈涛 时间: 2011-7-5 10:13
再重复一遍，本版欢迎不同意见的发表，也就是说，没有一个人是永远正确的。

我不否认，你有一定的设计经验，也感谢你的发贴对大家的帮助，只是希望你看懂别人的讨论后再说。

本来我已经打算不对你的这个问题做任何回应了，但是考虑到你的观点有可能误导其他人，所以最后说一句
你6#的1和2已经在证明我的观点是正确的，而只好反驳了你自己的4#

作者: abao123 时间: 2012-8-22 11:40
回复 7# 陈涛
对于scan_en一般都用set_constant设置为0、1，看哪个是功能模式
对于scan_in之类用set_dont_verify_point设置
在formality，版主说的工具没有用过，请指正

作者: yzquestc 时间: 2012-11-8 17:07
设置为常数值

作者: power0650 时间: 2012-11-8 23:54
如果综合后的网表中带有扫描链，在物理设计中也进行了扫描链重定序。关于扫描链部分，P&R后的网表和综合的网表，如何LEC？

欢迎光临 EETOP 创芯网论坛 (原名：电子顶级开发网) (https://bbs.eetop.cn/)