笔记本电脑开发：什么是逻辑分析仪

试运行低功耗控制系统是一项极具趣味性的文书工作，更是是在涉及通信接口的时候。回波相互间最微小的定时偏移可能是转给到回波或没有转给到回波相互间的差别。共同开发新的驱动程序或接口时，跟踪通信回波以确保回波时序甚至消息章节可能至关重要。低功耗共同开发人员应用于试运行和跟踪低功耗控制系统上的通信接口的最基本方法之一是形式化检验器。

形式化检验器是一种机制强大的设备，它与操作系统回波线同步进行物理接口，值得注意多出口处CRT的连接方式则。与CRT不尽相同，形式化检验器不会检验电压范围，而是检验出口处是处于数字形式化0(地)还是形式化1(电源)。这有利于从回波中去除干扰特征，例如上升时间、过冲、噪声和其他回波伪像。

大多数形式化检验器据估计默许8个出口处的数据集，这些数据集通常以带状图的形式推断。这允许每个出口处在同一时刻与所有其他出口处同步进行比较。Saleae形式化的转换成示例如下所示

形式化检验器允许操作者解码不尽相同类型的标准接口。根据检验器的不尽相同，可能包括UART、SPI、I2C、can等。即使低功耗共同开发人员悄悄试运行的接口不会操作者解码，回波据估计可以记录下来，然后手动解码。

大多数形式化检验器的机制与CRT相似。这些机制包括调整定时、带宽和出现异常模式。事实上，一些高端CRT内置了一个形式化检验器，可以同时跟踪模拟和数字回波。这些方法给共同开发周期带来的军事力量是惊人的!

形式化检验器不仅可应用于跟踪通信，它们也可以用来获得控制系统定时。控制系统上的备用输入/转换成线可应用于断定一个机制何时开始执行以及何时完成。这是通过在切换输入/转换成位的函数调用前后散布一些测试代码来发挥作用的。这对于深入研究控制系统中不尽相同任务的终到更为有努力。可以设置形式化检验器来测量每个出现异常器的宽度。然后合平均值，得到平均终到。观察最主要和小于终到是有努力的。这可以用来了解整个控制系统的时序。

买到形式化检验器是总工程师为他们的方法平台所能继续做的最好的心里之一。这些方法对于试运行低功耗控制系统是不可缺少的。显然，你不会试运行你看见的过道，形式化检验器是低功耗共同开发人员的眼睛。