又到优秀论文推荐时间,今天推一篇Renesas 在2019 年CDNLive 日本发布的文章,文章原标题是《 Efficient Conformal Smart LEC flow for complex and big designs at Renesas 》, 老驴翻译成 《 Smart LEC 高效应对超复杂设计 》。
在引出正文之前,先来看一下:
什么是Smart LEC
Conformal 家族包括四大产品LEC, CLP, CECO, CCD, 可回顾《 低调的实力派:Conformal 》来了解每个产品的功能及应用场景,其中LEC 是业界唯一的独立形式验证工具,经千锤百炼从未放过任何一个真错。近几年数字电路的复杂度在新工艺跟新市场的催生下如吃了激素般飞速发展,传统LEC 在特别复杂的设计跟前会有乏力感,体征是runtime 太长,abort 难解,为了应对复杂设计,楷登斯基在LEC 的基础上推出了新一代LEC,命名为Smart LEC.
相较于传统的LEC, Smart LEC 的优势是什么?
简而言之,Smart LEC 的优势可以概括为:
为什么需要Smart LEC?
设计复杂度的增加是需要Smart LEC 最重要的原因,除此之外,代码风格日渐低劣是需要Smart LEC 的另一原因。老驴以为,设计复杂度的增加是大势所趋是产品需求是技术进步的果,代码风格日渐低劣的因是SystemVerilog,自从SystemVerilog 被用于逻辑设计,会经常看到特别风骚的代码风格,从那一眼望不到尾的代码都可以觉察到设计者在敲下这一行代码时内心的飘逸。
正文欣赏时间,且看且珍惜!