英诺达携RTL Signoff EDA产品亮相ICCAD

降本增效，RTL Signoff是必选项

在现代IC设计中，静态验证已成为确保芯片设计质量和可靠性的关键环节。与动态仿真和形式化验证不同，静态验证通过在设计流程的早期阶段对RTL代码进行深度分析，能够发现潜在的逻辑错误、设计不一致性、违反设计规则等问题，避免了在设计后期中才发现缺陷带来的高昂修复成本。尤其在复杂的设计中，静态验证工具能够自动识别潜在代码缺陷、跨时钟域等问题等，帮助设计团队实现RTL Signoff。

在题为《英诺达RTL Signoff静态验证解决方案》的主题演讲中，王琦博士详细介绍了RTL Signoff在设计中的必要性，并重点展示了英诺达最新的EnAltius®CDC跨域检查工具和EnAltius®Lint RTL代码检查工具。他表示：“随着芯片设计复杂度的不断提升，芯片难以按时交付，RTL Signoff相关的工具在提高设计验证和保证设计正确性方面的作用愈发重要。英诺达推出的系列静态验证工具基于统一的底层架构，能够全方位、多维度地应对芯片设计企业所遇到的种种难题，助力企业在激烈的市场竞争中保持领先地位。”

英诺达静态验证工具矩阵

英诺达展会现场

在展会现场，英诺达的展台吸引了众多观众。今年展台设置了EDA工具体验区和演讲区，观众能够上机体验英诺达最新的静态验证工具，并深入了解这些工具在芯片设计流程中的重要作用。通过工作人员的详细讲解和现场演示，参观者对英诺达的产品有了更加直观和深入的了解。与会者对英诺达的新产品表现出了极大的兴趣和热情。他们纷纷表示，这些新的EDA工具将为他们的工作带来极大的便利和效益。