Novas推出基于行为的调试系统，推动调试技术进步

基于行为的调试是使设计行为目标的发现过程自动化的一种新方法。这一新方法是建立在经过现场验证的设计知识架构和内置于Novas公司流行的Debussy调试系统内的基于结构的调试工具之上的。Novas公司Verdi的基于行为的调试系统中提供了这个下一代调试方法。
基于行为的调试以一种崭新方式应用合成和形式化技术，结合仿真结果详尽分析寄存器传送语言(RTL)或门级设计，从而构建一个时间与设计行为的形式化逻辑模型。这个模型是一组自动调试应用程序的基础，这些应用程序能极大地减少理解复杂且生疏的设计和追踪不可靠设计行为的成因所需要做的工作。

基于行为的调试包括断言驱动的调试能力，这种能力使用断言来询问有关设计行为的问题，从而提供一个功能强大的加快定位和相关逻辑隔离的新方法。在这一行为询问方法中，用户以断言方式表达其需要，并且让基于行为的调试系统完成追踪行为成因这一艰难的任务。

从结构到行为传统意义上的调试是基于结构的。工程师靠向后逐个门或逐个高密度逻辑陈述追踪设计的连通性试图弄懂一个设计是如何工作或为什么它不工作这样的问题。在Novas公司引进Debussy之前，工程师们依靠诸如UNIX工作程序和vi这类工具寻找文本文件来完成这项工作。Novas的设计知识结构和 Debussy系统将结构信息组织起来并使其极易浏览、追踪和理解。

然而，即便拥有像 Debussy系统这般最强大的基于结构的调试工具，工程师们仍然必须通过其结构和仿真结果来人工推断一个设计的行为。现今设计的特性和(甚至)设计团队的人员组织都使得调试工作越来越困难、调试成本越来越高，转移了工程师们对诸如创造新设计和进行更多的测试这类高附加值性的工作注意力并影响芯片开发的时间。

系统级芯片设计工作量巨大且复杂得难以置信，而且是由遍及全球的分散队伍设计和检验的。设计的再使用日益成为现实。 这些因素可能会使围绕其工作的工程师们对绝大多数的设计感到生疏并由此感到极难理解。更难和更费时的任务罗列如下：

1. 时序驱动配置之后的逻辑错误追踪
2. 理解合成工具产生的逻辑
3. 对仅在一长串事件之后出现的错误进行调试
4. 通过存储器追踪行为
5. 理解多驱动器信号的行为
6. 解决时域交叉问题
7. 理解两个仿真器或不同类型仿真器之间不同仿真结果的成因
8. 确定较小逻辑变化后不同仿真结果的成因

Novas 公司率先开发了致力于设计理解的工具。基于结构的Debussy系统编译高密度逻辑(HDL)、将其存入专用数据库并提供应用程序接口，验证工具(如仿真器)通过这些接口进入一个小型的结果数据库。最近，Novas已使用Verdi的基于行为的调试系统推动了调试技术的进步。这个系统建立在所有熟悉的基于结构的Debussy性能之上，增加了能迅速识别不可靠设计行为的成因的功能强大的新型自动化应用软件。