现代ASIC、SoC和FPGA动辄数百万门、数千万门、数亿门的设计规模,系统都由内存DDR、收发器、第三方IP和处理器核心等组成。RTL代码设计问题在仿真验证过程中非常耗时且难以调试。为了减少验证和调试时间,设计工程师需要有效的工具在做相关验证和综合之前快速识别问题。
Blue Pearl软件(Blue Pearl Software)公司RTL分析器(Analyze RTL™)提供强有力的RTL分析(RTL lint)和调试(debug)能力、FSM分析、高速设计的RTL检查等实时检查、修复功能,快速识别设计问题,加速RTL验证和调试,是业界错误发现和修复率最高的工具,可以快速识别关键的设计问题,预先发现并修复问题,简化软件仿真和综合的过程,提高设计的整体质量。
RTL分析器(Analyze RTL™)在Blue Pearl软件(Blue Pearl Software)公司可视化验证环境(Visual Verification Environment)中使用,可利用环境中的智能化排序和信息过滤等功能实现快速调试,可视化验证环境(Visual Verification Environment)的主要特征有低噪声、根据设计风格进行定制化检查、建议设置,和豁免迁移等。
Blue Pearl软件(Blue Pearl Software)公司的RTL分析器(Analyze RTL™)将应用方法学和具有形式验证能量的super-lint工具的巨量分析充分的融合到了一个高性能、高验证容量的解决方案中。使用Blue Pearl软件(Blue Pearl Software)公司的验证工具,开发者可以获得强大的内置检查和形式分析的独特组合,为您提供最全面和强大的静态设计检查功能。