Onpoint

数字设计自动Debug方案

数字设计自动Debug方案

OnPoint软件是目前业内唯一的突破性可编程系统调试诊断工具。它突破以往Debug过程当中需要大量人工参与的传统方法，创新型的提出了全自动化的设计分析（包括RTL，Netlist等混合层次），自动定位Root Error，精确定位到导致功能错误的代码行，提出修改参考等方法模块。需要强调的是，在这个过程当中不需要执行onpoint基于仿真结构或者形式验证结果，根据设计结构和行为，几乎不需要工程师的参与，是真正的全自动化测试定位工具。
Onpoint自动列出可以产生bug的源码，用户唯一需要判断的事情就是找出解掉bug最好的地方。Onpoint全自动调试系统，可搭载各种仿真器，有效提升SOC/FPGA设计生产效率。
OnPoint支持业界复杂的多语言设计和各类验证方法，利用流行的形式验证技术，帮助设计人员可以面对复杂的数字电路设计出现的棘手问题，更好的解决设计中存在的问题。而Onpoint具有良好的兼容性，可以很容易的嵌入用户的验证环境和流程。利用Onpoint的全自动化调试工具，设计工程师和验证工程师在功能验证和时序验证中快速地分离,定位设计问题的源头,从而加速系统设计的进程,确保整个开发周期的进度。
Onpoint的所有应用基于其内建的形式验证（Formal Engine）引擎，并由此建立具体设计的数学分析公式。这是Onpoint可以完全自动化调试的基础。
Image
Onpoint工具通过标准的语言编译器，读入数字设计的源代码，在内部利用分析产生设计系统的数学公式，再利用仿真结果，获得系统行为分析必备的基于事件的系统响应，通过一系列的行为、结构分析引擎，对系统的响应过程进行详细而全面的分析，从而获得了报告系统行为历史和推算系统行为的能力，所以Onpoint可以通过一系列可视化的模块，代码调试窗口、电路图察看窗口、波形察看窗口，展示系统行为、追踪信号变化的历史过程，并且提供错误信号和其对应的正确信号的波形衍生图，进而实现追踪错误信号的目的。
Onpoint适用于大中小规模数字电路设计，分析与验证，对于大规模超大规模电路设计效率提高尤为明显。它使可以您专注于更有价值的设计工作，减少纠错时间多达50％。 
Onpoint调试系统适用于数字电路的设计与验证，它提供了一系列工具使工程师快速的了解和掌握设计的结构，并提供行为分析方法，抽取整个区域里完整的，全局的，相关的视图，极大的提高侦错效率从而有效的提高生产率。Onpoint支持各种硬件描述语言Verilog，VHDL，System Verilog等设计语言和验证语言。数字IC设计的整个验证过程都可以在Onpoint中分析与调试。Onpoint的强大功能帮助您：
  • 理解复杂和不熟悉的设计行为
  • 自动处理困难和繁琐的纠错过程
  • 统一多变的复杂设计环境
Image
理解复杂设计行为
用户不需要去理解整个复杂的设计，只需要理解和设计错误相关的逻辑行为。它可定位与分离相关逻辑。这是和其他传统调试软件的区别。传统软件需要人工的追踪大量传播路径后，才能确定问题发生的真正传播路径是哪一条。而Onpoint帮助您从巨大，复杂，看似混乱的设计中查找结构和互连的信息，快速定位与分离相关逻辑，只需要关注和问题相关的传播路径，并且提供：
  • 错误信号的传播路径
  • 错误信号的波形衍生路径
  • 错误信号的电路图衍生路径
  • 导致错误信号发生的相关信号列表。
  • 提供正确波形的传播路径
  • 提供错误修正的提示
Onpoint是一个完整的全自动调试环境。其功能包括： 
  • 错误功能的自动定位到出错误的源代码
  • 自动定位高阶系统级设计代码的错误，比如利用C综合出来的代码存在的问题，导出到所书写C存在的问题
  • 网表与RTL代码之间不匹配的问题。
  • 检查跨时钟域问题的原因
  • 不定态问题的自动定位，找到不定态产生的源头。
  • 等效性检查失败的原因自动定位
  • 自动定位VIP/IP存在的问题
完整的设计语言支持 
Onpoint整合的纠错环境提供了一个无缝的一致的界面，包装不同验证工具，不同设计/验证语言带来的复杂性。工程师可以工作在一个熟悉的高效环境中，即使面对不同的工具和语言也不需要重新学习的时间，对Onpoint的投入可以在不同的设计环境中得到保持。 
另外，Onpoint作为第三方验证工具，直接支持所有主流仿真器，包括Cadence NC-Sim，Synopsys VCS，Mentor ModelSim等。而这些仿真器自带的调试工具都只不支持其他家仿真器。 
纠错自动化
Onpoint具有独特的形式验证分析技术，基于这种技术，自动化的信号追踪过程取代传统的手工单步追踪，大幅度减少纠错时间。Onpoint不需要用户很深刻的理解完整的设计，它可以根据用户的设计需求，自动去发现不符合设计需求的原因是什么。Onpoint的技术包括：
  • 根据RTL或门级描述推断设计逻辑方程式
  • 结合逻辑方程式与仿真结果，产生在时间坐标上的设计行为综合模型
  • 判断任一时间，任一信号是否具有“活性”及其对设计行为的影响
  • 根据信号行为，自动追踪门级网表不定态
  • 通过行为分析，比较仿真波形的不同，并自动追踪原因 
由于没有形式的验证分析技术，其他的调试工具都不具备这些功能。尤其对不定态的定位，Onpoint可以大大节省调试时间
Image
Image
Onpoint通过自动化技术大幅缩短测试验证时间，减少人工参与度从而大幅降低人工成本，通过专利化的形式化分析技术大幅提高测试及bug定位效率及准确性。从而提高产品率，减少故障率；自动定位错误发生代码位置，提供修正问题的提示，指导设计人员进行错误修正，避免人为带入的错误； 
支持多样的设计方法学 
Onpoint整合的纠错环境提供了一个无缝的一致的界面，支持不同的验证方法学，工程师可以工作在一个熟悉的高效环境中，即使面对不同的工具和语言也不需要重新学习的时间，对Onpoint的投入可以在不同的设计环境中得到保持。 
整合主流验证工具
Onpoint的开放架构使验证环境整合变得容易，无论是使用商业工具还是自有工具。Onpoint内建的合作伙伴也在不断增加，它为所有常用商业工具提供了整合一致的接口。Onpoint支持Cadence，Synopsys，Mentor等主流EDA公司的仿真器，并直接支持VCD、VPD、FSDB格式波形。
案例的调研
 
某通信公司的使用结果：设计的调试时间减少19%到66%
Image
Top