英诺达自主研发的静态验证系列产品EnAltius®昂屹®CDC（ECDC），近日正式上线了跨复位域（Reset Domain Crossing, RDC）检查新功能，其静态验证EDA工具链得以进一步完善，为芯片设计团队提供更严谨、更高效的RTL签核整体解决方案。
与广为人知的跨时钟域（CDC）问题类似，RDC也是数字电路设计中最常见且至关重要的跨域问题，两者都涉及到信号从一个异步域传输到另一个异步域，如果处理不当，可能导致亚稳态、电路功能失效、数据损坏甚至芯片报废。
不过，RDC风险的隐蔽性更强，传统的静态时序分析（STA）或常规功能仿真，很难捕捉到这些由于特定复位时序组合触发的随机错误。一旦此类缺陷随芯片回片，其诊断和修复成本将呈几何倍数增长。因此，建立一套自动化的RDC专用签核流程，已成为确保一次流片成功的关键。
ECDC：精准、高效的CDC/RDC签核方案
此次发布的RDC检查功能，深度集成了英诺达专有的高精度逻辑检测算法，旨在帮助工程师在设计早期快速定位并修复复位相关的设计隐患。其核心优势包括：
全方位识别风险：能够精准识别亚稳态、毛刺传播及再汇聚等典型RDC违例，确保复位路径的完整性；
支持高达十亿门SoC设计容量：高性能运行确保大型设计快速迭代和RTL代码签核；
简洁高效的报告系统：延续了静态验证系列工具一贯的易用性，提供简洁明了的违例报告，助力设计团队实现快速收敛；
无缝集成的验证流程：作为ECDC产品的延伸，RDC检查可与现有验证环境无缝衔接，构建起涵盖时钟与复位的完整跨域检查体系。
持续创新，赋能本土芯片设计
自成立以来，英诺达始终坚持以客户需求为导向，致力于通过自研的EDA工具帮助客户实现价值跃升。静态验证系列产品从UPF，DFT，CDC，Lint到RDC检查，英诺达正逐步构建起覆盖设计验证多个关键环节的产品矩阵。
“RDC检查功能的发布，是英诺达在静态验证领域持续深耕的又一里程碑。”英诺达EDA研发副总裁李英梦博士表示，“我们深知本土设计企业在面对超大规模SoC时的验证痛点。未来，英诺达将继续秉承专业、严谨的技术初心，不断完善工具链，为中国半导体产业提供更具竞争力的EDA解决方案。”
欲了解更多产品详情或申请试用ECDC工具，欢迎发送邮件至contact@ennocad.com
关于英诺达
英诺达（成都）电子科技有限公司是一家由行业资深人士创立的本土EDA企业，公司坚持以客户需求为导向，帮助客户实现价值跃升，为中国半导体产业提供卓越的EDA解决方案。公司的长期目标是通过EDA工具的研发和上云实践，参与国产EDA完整工具链布局并探索适合中国国情的工业软件上云的路径与模式，赋能半导体产业高质量发展。公司的主营业务包括：EDA软件研发、IC设计云解决方案以及IC设计服务。
来源：英诺达EnnoCAD