点击蓝字 关爱咱们楠里 足交

（2024年12月5日，四川成齐）英诺达（成齐）电子科技有限公司无际推出两款全新的静态考证EDA用具：EnAltius®CDC跨域查抄用具和Lint RTL代码查抄用具。这两款用具的推出，将进一步进步芯片规划的后果和可靠性，助力中国芯片产业的发展。

静态考证是通过分析规划的源代码来发现规划中的问题，看成业界普遍使用的法子，在规划中通过配合动态仿真考证和体式化考证，不错权臣提高考证的笼罩率，匡助规划师在规划开拓的早期更快地发现和会诊规划残障，从而镌汰规划考证所需的时辰。这两款用具的发布进一步丰富了英诺达的居品线，迄今为止英诺达也曾推出了6款面向数字电路的静态考证和分析EDA用具。

新址品概览

EnAltius®昂屹®CDC 跨域查抄用具

跨时钟域（Clock Domain Crossing）是数字集成电路规划中常见的复杂问题，时钟域处理失当平日会出现亚稳态、数据丢失、潜在毛刺、多数据相干性丢失等问题，导致芯片功能荒谬致使失效，是流片失败的主要成分之一。 EnAltius®CDC不错在保证跨时钟域CDC查抄完备性和准确性的同期，在最短时辰内向用户提供通俗的违例证实 。其独到的静态逻辑检测算法，或者准确默契跨时钟域经典结构，还不错通过电路功能性分析从而完成难度更高的非经典的跨时钟域结构分析，为用户提供全面而精确的分析为止。趁早发现并处治CDC问题，不错大大提高芯片的可靠性，减少芯片在本体应用中发生故障的概率，何况在芯片规划早期发现并建树CDC问题，不错斥责规划迭代老本。

EnAltius®昂屹®Lint RTL代码查抄用具

Lint用具是代码工程师的左膀右臂，或者发现规划代码中潜在的语法失误和逻辑失误，尤其是在规划中对IP、模块等进行复用时，平日出现立场不调处，不利于顾惜的问题。对于这些问题，规划团队要在第一时辰处治，不然将径直导致编译或运行失误，影响开拓后果和质地。 EnAltius®Lint不仅不错提供基本语法、语义和规范查抄，还不错检测在仿真、考证或抽象阶段的潜在残障，匡助规划团队终了查抄的“左移”，从而终了早期RTL代码质地签核 。该用具吸收业界豪迈应用的编码规范，举例RMM和STARC，以及英诺达过甚规划合作伙伴在该范围多年的专科蕴蓄而成的规范。这款用具不仅能提高代码的可读性，便于团队联接，还不错斥责规划风险，提高芯片的可靠性。

注：ECDC用具的GUI界面

这两款用具均基于英诺达全新的软件架构，通过读入治安文献花式进行分析和证实。同类用具的非法证实频频存在多数重叠和组织浩瀚的信息，加多了分析难度。 EnAltius®CDC和Lint用具对同源违例进行吞并，并对音尘进行了归类，减少了重叠的分析、调试和迭代过程 。即使在规划荒谬遍及的情况下，该用具以想法为导向的通俗证实和组织功能依然不错匡助用户聚焦裂缝问题。

此外，通过图形化用户界面（GUI），从违例信息开动，到违例旅途到电路细节，该用具为用户了了地展示电路中的潜在问题。用户不错通过RTL源代码或电路旨趣图进行饮水思源，并精确定位到问题泉源。其中，增量电路旨趣图只是清楚违例相干逻辑，将任何不相干逻辑错杂开，为用户放弃烦闷信息从而或者无礼地深刻分析复杂规划。

华中科技大学集成电路学院童乔凌诠释暗意：“英诺达的静态考证用具让咱们在规划早期就发现了好多咱们昔日莫得明慧到的问题，大大提高了芯片的可靠性，让咱们对代码的质地有了更高的信心。该系列用具也加快了咱们的规划迭代，进步了后果。期待英诺达或者执续窜改，推出更多先进的EDA用具，为中国芯片产业的发展孝顺更大的力量。”

“跟着芯片规划复杂度的不停提高，规划企业对静态考证用具的需求也越来越蹙迫。”英诺达的独创东谈主、CEO王琦博士暗意，“格外是诸如CDC和RTL代码质地检测这类基础且不行或缺的考证用具，市集刻下对国产化的处治决策抱有极大的期待与需求。英诺达全新发布的EnAltius®CDC和Lint这两款用具，将为芯片规划企业提供愈加高效、可靠的静态考证处治决策，助力其在热烈的市集竞争中保执进步上风。”

12月11-12日，英诺达将亮相在上海举办的第三十届集成电路规划业博览会（ICCAD-Expo），英诺达将携最新址品参会，您不错关爱咱们的演讲信息，或前去英诺达的展台了解咱们的系列EDA用具。

对于英诺达

英诺达（成齐）电子科技有限公司是一家由行业顶尖资深东谈主士创立的原土EDA企业，公司坚执以客户需求为导向，匡助客户终了价值最大化，为中国半导体产业提供出奇的EDA处治决策。公司的恒久想法是通过EDA用具的研发和上云实行，参与国产EDA好意思满用具链布局并探索合乎中国国情的工业软件上云的旅途与模式，赋能半导体产业高质地发展。英诺达首款自主研发的EnFortius®凝锋®系列低功耗EDA用具，可有用匡助IC规划工程师定位并分析低功耗规划相干问题。在静态考证范围，EnAltius®昂屹®系列用具将在规划过程的早期增强可权衡性，匡助IC规划工程师作念出最优决策。英诺达的EnCitius®曜奇® SVS系统考证平台则应用EDA上云的上风，为客户买通考证资源的渠谈，提供全面的SoC及系统级考证的一站式处治决策，提高芯片规划后果。此外，英诺达还可提供好意思满、可定制的前/后端规划干事。

12-02

11-21

11-08