年近了，写一些不需要动太多脑子的，前几天有小伙伴问，做了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 才能暴露出问题。
作者：陌上风骑驴
来源：https://mp.weixin.qq.com/s/t-GrvrQdZrwUCMaYn4kboA
作者微信公众号
相关文章推荐
•大牛访谈：传说中的小西
•STA | Logical DRC
更多IC设计技术干货请关注IC设计技术专栏。
