下面以图3.19a所示的栓锁电路说明三值模拟过程,如图3.19b所示。图3.19c为三值模拟结果波形图,图3.19d作为对照,画出了相应的二值模拟结果波形图。
设t0时刻各点信号状态初始值均为'X'。在t1时刻x1 = '1',
x2 = '0', x3 = '0'。在前面插入'X'。第一次X通过模拟结束后各点的值仍为'X'。在值通过过程中,对于z因初始值为'X',
加到T2上,因x3 = '0',使y2 = '1'。此时因y1 = '1',使z = '0',反馈到T2上,仍使y2=
'1',处于稳定。
当t2时刻,X通过过程中,因z初始值为'0',使y2 = '1',而此时y1='X',使z = 'X',反馈到T2,使y2='X',仍有z
= 'X',处于稳定。而在t2时刻值通过过程中,z初值'X'与x3 = '1',使y2仍为'X',但此时y1变为'0',使z
= '1'。反馈到T2,因x3 = '1',使y2 = '0',它又使z = '1',达到稳定。
当t6时刻X通过过程中,x1 = x2 = 'X', 使y1='X',z初值'0',使y2='X',因而使z =
'X',处于稳定。而在t6时刻值通过过程中,x1 = '0', x2 = '1'使y1 = '1',z初值'X'与x3
= '1',使y2 = 'X',因而使z = 'X',处于稳定。这样t5-t6之间,y1= '1X1',为静态冒险。y2
= '1XX', z = '0XX' 为动态冒险。又因为y2, z的冒险造成了永久性后果,故y2和z发生临界冒险。
|