技术资讯

用基于现场可编程门阵列(FPGA)的原型的验证团队面临的最大挑战之一在于当原型系统未能发挥期望的性能时了解原型系统的内部行为。分析和调试这些设计的一个关键因素是难以观察内部信号。目前的顶级FPGA在容量和性能方面均提供巨大的能力。例如，XilinxVirtex-5家族成员包含成千上万可以配置成逻辑、RAM或移位寄存器的逻辑单元。此外，这种可编程逻辑可与硬IP块搭配使用，如工作频率全部高达550MHz的兆位RAM以及数百个25×18乘法器/DSP功能。这些可能还包含多个硬和/或软处理器内核和相关外围器件的设┄

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