首页 > 产品 > Real Intent
  • Real Intent
  • Real Intent是一家业界领先的EDA软件供应商,专注于加速SoC的早期功能验证和高級功能签核。它提供了全面的跨时钟域(CDC)验证,先进的RTL分析和签核解決方案,以消除SoC中的复杂故障。Meridian与Ascent系列以其性能,容量,准确性和完整性产品引领市场。
Ascent Lint
Ascent Lint是业界最快和最低噪音的RTL代码检查工具。 它包括智能的规则用于对复杂的SoC设计做语法和语义检查。 Ascent Lint独特之处在于它的高容量,完整性和易于使用。
Download
Ascent AutoFormal
Ascent AutoFormal是一个早期功能验证工具,能自动在RTL里发现隐蔽的错误。 它利用自动检查方法去进行完整的验证,然后再做深度时序的形式分析。 Ascent AutoFormal能提高验证效率和在开发测试码和仿真前发现多达50%的设计功能错误。 它是唯一包含根源分析的自动化形式工具,大大减少找寻错误的时间和迭代次数以达到功能覆盖。
Download
Ascent X-Verification System (XV)
Ascent X-Verification System (XV)专门针对X传播的问题。 包括分离在RTL里的可能X-乐观和修正在网表里不必要的X’s (X-悲观)。 去除在RTL里的X-乐观能使过度到FPGA模型更快,因为这样会使RTL硬件仿真更准确。 通过发现和修正在门级仿真的悲观情况,Ascent XV也使过度到门级仿真更快。
Download
Meridian CDC
Meridian CDC是最快,最高容量和最精确的CDC解决方案在市场上。它执行全面的结构和功能分析,以确保信号穿越ASIC的异步时钟域,或FPGA器件的可靠接收。容量超过100M的大门,CDC签收各个方面的唯一解决方案。
Download
Meridian Constraints
Meridian Constraints是市场上最完整的约束管理方案。 它提供高性能的约束验证,模板生成,覆盖分析,对等检查和时间异常验证使用户更有信心去制定对不同设计简短的约束。
Download
Meridian Physical CDC
Meridian Physical CDC是唯一能提供完整的毛刺检查和网表Sign-off。 它进行完整的结构和功能分析去确保在ASIC或FPGA门级层次里,跨一步时域的讯号能被可靠的接收。 作为Real Intent的Meridian CDC的高级选项,它为RTL Sign-off提供完整分析和确保500M门以上设计的网表Sign-off。
Download
EDA工具
Real Intent Breker ACE ARM/Carbon Spectral BAUM Concept
半导体设计IP
NetSpeed Spectral
验证与测试系统

沪公网安备 31010602000170号