我们来看看断言是如何通过独特的追踪分割和追踪切块技术驱动调试过程以便对错误行为作出诊断的。我们还要在此展示一个专门为具有无数个元件互动和大量控制流的复杂系统设计的新的形象化和用户互动技术。

上述形象化提升了设计和断言跨度，以精炼的摘要细节向用户展示调试信息并允许充分的互动。目前已研制出了一个包括基于断言的调试指南的实验型调试系统。随后将展示源自一个项目研究的生产力提升的实验结果。

调试是硬件设计领域里最具挑战性而又获得最少研究的任务之一。除去显著的例外，其绝大部分还保留着软件源级调试的味道。自组织控制器的流行见证了一个事实：伴随着对新产品上市时间的不断缩短的要求，如今不断增加的设计复杂性要求在调试自动化和用户互动方面加以创新。前者要求更强大的行为分析力，后者则要求更加简单然而更具表现力的用户指南以及专用硬件调试环境。

为找出这些缺陷，本文针对硬件调试提出了一个新颖的基于询问的方法。由Shapiro提出的初始的算法调试是针对软件逻辑编程而开发的。算法调试器横贯执行树且凭着对每个过程的预期行为作出询问与用户互动，直到故障被找到并排除。在这一操作中，我们让自己适应这一概念并使用断言作为询问来辅助硬件调试 。

断言可以植入程序本身，也可以简单但富于表现力的说明方式在程序外部予以表达。一般来说，我们的方法适用于硬件调试，而且独立于输入设计的细节或断言描述语言。在此我们展示一下，断言是如何驱动调试过程以便对错误行为的起因作出诊断的。

使用前面提及的独特的追踪切块和追踪分割技术，一个断言的表达和其中的信号支持可用来隔离相关的行为误差。这些方法会受到Weiser的程序切断理论的强烈影响。此外，可以使用多个断言作为约束来进一步对一个追踪切块和追踪分割的多断言形态里面的错误定位。在此情形之下，虽然受到限制，用户指南对于效率和计算考虑的实用性来说至关紧要。

过去的20年里，形象化分明是充分的用户互动的关键；是一个在普遍意义上有利调试的极为有效的工具；特别地，它还是一个共同作用的系统。文章末尾，我们还要在此展示一个专门为拥有无数元件互动和大量控制流的复杂系统设计的新的形象化和用户互动技术

形象化提升了设计和断言的跨度，以一个精炼的摘要细节向用户展示信息从而使与用户(设计者和/或检验工程师)的互动达到足够的级别。

下一段将介绍我们所做工作的依据：一个设计行为的摘要、分析、和确定基础。