此操作的结果是：

•在test_setup中显式强制引脚A到E。

•引脚A、B、C和E强制加载卸载。

•引脚D受到约束（但在load_unload中不强制），是捕获期间唯一具有显式值的引脚。

ff00中说明了一个典型的初始化问题。图B-2显示了test_setup过程中似乎初始化此触发器的相关电路和语句。

在这种情况下，您可能希望在初始化后输出始终为1，因为test_setup过程的第三个周期强制输入a和脉冲clk1为1。为了进行比较，以下是报告的state_stability数据以及为load_unload和shift报告的数据。特别注意Q输出： 

 从状态稳定性显示中可以看到，在test_setup之后，Q的输出设置为1。在load_unload的第一个应用程序中，它仍然是1，但在第一个shift中它变为X。将其与显示的“drc_pattern load_unload”和“drc_pattern shift”进行比较。

通过对ff00执行类似于ff10的操作，可以更好地实现稳定的初始化值，其中D输入连接到受约束的D引脚：

 另一个有趣的观察结果是ff32。该触发器位于4位移位寄存器的末尾，在测试设置期间，所有触发器都被重置，如图B-3所示。

 注意，在这种情况下，对于load_unload和shift的第一个应用程序，Q是稳定的，但是在最后一次shift（~之后）之后的稳定状态是X。（将此输出与示例9-将稳定性检查设置为Off和All_shift进行比较。）

 非扫描触发器ff20由不是移位时钟的clk2计时。如图B-4所示，该触发器也在test_setup期间初始化。

 Q输出在捕获过程中受到干扰，而不是在移位过程中，因为移位过程中未执行此元素：

 请注意，ff32和ff20的load_unload和shift数据几乎相同（除了时钟数据），但state_stability数据使您可以看到它们以非常不同的方式变得不稳定。