首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >形式验证 | LEC, CLP, LP-EC 的区别

形式验证 | LEC, CLP, LP-EC 的区别

作者头像
老秃胖驴
发布2020-02-17 14:18:26
4.4K0
发布2020-02-17 14:18:26
举报
文章被收录于专栏:陌上风骑驴看IC陌上风骑驴看IC

年近了,写一些不需要动太多脑子的,前几天有小伙伴问,做了LEC 之后为什么还需要做LP-EC? 做了LP-EC 之后为什么还需要做CLP? 这三者之间有什么区别呢?

LEC 做最基本的逻辑等效性检查,需要读入两个设计,两组library. 起LEC 时可用如下命令,不同的option 对应不同的license. 其中sl4 是神器smart LEC 的license.

  • lec -xl/-gxl/-lp/-lpgxl/-sl4

LP-EC 在LEC 的基础上,需要读入两组power intent, 在读power intent 时,如果revised 已经插入low power cell,而Golden 未插入low power cell, 则在golden 侧read power intent 时需要加option "-insert_isolation". 相对于LEC, LP-EC 会比较两个power intent 的一致性、会做low power aware 的逻辑等效检查、会检查低功耗cell 的控制信号、会比较Retention rule 的一致性。对于普通的level shifter 不论是在LEC 还是LP-EC 都当做buffer 处理,如果设计里只插了level shifter 不做LP-EC 也可以。但是isolation 在上电跟下电状态,输出完全不同,所以必须要run LP-EC. 起工具时用命令:

  • lec -lp/lpgxl

在设计的不同阶段,LP-EC 要检查的内容:

CLP 读入一个设计、一个power intent, 做power intent 本身quality 检查,并以power intent 为准则来check netlist 中low power cell 是否有多插、乱插、漏插,检查netlist 的pg 连接是否符合power intent 的定义,检查low power cell 的控制信号是否有问题,起工具时用如下命令,option "-verify" 是必须要加的。

  • lec -lp -verify

在设计的不同阶段,CLP 检查的内容:

由上述简短描述可知,LEC, LP-EC, CLP 覆盖设计的不同方面,只要是插了isolation 三个check 缺一不可。一个例子:

根据isolaiton rule的定义,X2/sA 是需要在下电后clamp 成高电平的,而其他信号是需要clamp 成低电平的,但是在优化的过程中,X2/sA 跟X2/sB 被合并成了一个信号X2/sA. 对于这样的电路LEC 跟CLP 都是没问题的,必需要run LP-EC 才能暴露出问题。


驴说IC

本文参与 腾讯云自媒体分享计划,分享自微信公众号。
原始发表:2020-01-19,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 陌上风骑驴看IC 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档