Conformal的前世今生
加州大学CS硕士，EE博士，曾任Cadence FED VP的台湾人Andy Lin在1997年创立了Verplex Systems，提供formal verification解决方案，明星产品Conformal。2003年九月，Cadence收购Verplex Systems，Conformal从单一的conformal LEC壮大到涵盖Conformal LEC, Conformal low power, Conformal ECO, Conformal constraint Designer的一个庞大产品族，且每一个产品都成了相应领域的标杆。
Conformal的盖世武功
Conformal其实是个奇葩的存在，它几乎存在于业界每一个半导体公司，它出没在RTL-to-GDSII的每一个步骤，但作为一个母体，它低调到硅农只识其子却不识其母，它的四个孩子各个名声在外。
大儿子LEC:
技能：RTL-to-Gate， Gate-to-Gate形式验证
说明：他验证实现过程中每一步优化的正确性，他不依赖于输入激励而依靠『数学』解析进行完备验证，他是业界唯一一个独立的形式验证工具，所谓独立是指他不依赖于优化工具输出的指导文件，而是依照自己独立的算法去做key point的mapping及compare，他之所以独立是由其诞生及成长背景所决定的。他跟随着时代的步伐，不断进步，可以搞定各种最先进的优化策略。它拥有强大的debug功能，虽然它的GUI长的丑，但确实是个心里美。
大闺女CECO:
技能：自动逻辑功能 ECO。
点评：她可以自动做成千上万门逻辑功能的ECO，她是业界唯一有此技能的工具，做过ECO的人都知道，对于一个简单的+1逻辑，手工ECO几乎都是难以实现，更何况更大的更改，在眼瞅着最后期限的那条死亡线就要切过来的时候，RTL设计/验证人员灵光乍现地发现了一个不得不修的bug时，这时候CECO就成了救星，不论你是处在pre-silicon、pre-mask、post-mask哪一阶段，不论你是要做hierarchical还是power domain aware的ECO，她都可以帮你搞定。
二儿子CLP：
技能：低功耗检查
点评：二儿子是四个孩子里名气最大的一个，自从有了低功耗设计，他就独步于低功耗检查的天下，他支持现世已产业化的所有低功耗策略（PSO,MSV,DVFS），他可以验证power intent本身的完备性，他可以验证电路中的低功耗结构是否满足power intent定义的低功耗策略，他可以做hierarchical power intent的集成，他支持CPF跟1801。
二闺女CCD:
技能：SDC质量检查
点评：二闺女是个简单的孩子，简单体现在flow简单，用户接口阶段，debug方法简单。二闺女也是个内心强大的孩子，她可以做SDC语法语义的检查、SDC质量的检查、CDC电路结构的检查及相应约束的检查，她自己有预定义的四大类rule基本可以cover所有的需求。二闺女还是个随和的孩子，她留有接口让用户根据需求定义自己的rule。
Conformal的光明前程
2017年秋天，smart LEC在万众瞩目中诞生，在LEC的基础上他吸收了『大规模并行算法』加强了分析算法，类似于机器学习的东西，他可以根据设计的特性自己调整分析的策略，不再需要人工迭代。他可以更快的处理更大的设计，这一特性无疑是近几年半导体行业技术爆发在这一个点上最迫切需要的，又一次他领跑着，虽然回头看不到跟跑者，但他依旧全力以赴，因为这是他的本性，这是他的使命，这是他的光明前程。
参考文献：
Conformal\_Product\_Famliy\_Customer\_Presentation\_Version\_15.pdf
Conformal\_Smart\_LEC\_Overview.pdf
http://semiengineering.com/kc/people.php?kcid=&pid=11125
https://www.eetimes.com/document.asp?doc\_id=1217093
作者：陌上风骑驴
来源：https://mp.weixin.qq.com/s/LPysxGq7OTCxqU-G9lDLWg
作者微信公众号
相关文章推荐
•论PR | Innovus 中cell density计算解析
•大牛访谈：我的益友良师——伟哥
更多IC设计技术干货请关注IC设计技术专栏。
