序列检测器的综合

一.实验目的
寄存输出和非寄存输出的Mealy 型和Moore 型111"序列检测器仿真
二.实验原理
当串行输人流D_in接收到给定的连续比特流时，序列检测器将产生一个输出D_oul6]。该 据由状态机中控制状态转移的时钟有效沿的相反边沿同步(即反向同步)。如果状态转移发生 时钟的下降沿，那么在接下来的时钟上升沿就产生有效数据输出。序列检测器可由Mealy型或 Moore型的显式有限状态机实现
下面将从两个角度来分析序列检测器。首先主要阐述序列检测器怎样接收输人比特流。 lealy状态机在时钟的有效沿之前就使输出有效，并在连续时钟周期下接收连续的输人值。输 出有效意味着需要立即证码。输出在时钟有效沿之前就立即生效，反映了在时钟之前确立了输 人的采样值和状态机的状态。
其次，状态机分为带复位功能和不带复位功能两种。 一个不带复位功能的状态机在输人位交叠 时，仍然会连续为输出赋值，例如重复序列111,出现在比特流0111110,中的情况。带复位功能的 状态机在这种情况下，会在m+1位到来时进行复位,再对后续的输人进行新一轮的检测。
图6.38(a)中的序列检测器在时钟下降沿对串行输人D_in采样，当采样到连续3个1时 D_ou被置为有效输出。该状态机使用同步复位,并带有一个使能信号En。图6.38(b)中的ASM 图使用Mealy型有限状态机描述了无复位功能的设计，图6.38©中的ASM图使用Moore 型有限 状态机描述了该设计:
在Mealy状态机的描述中，reset信号可将状态机置于S_idle态，直到使能信号En有效②。当 使能有效后,状态机的状态转移完全取决于D_in的输人值。两个连续的采样值1将导致状态转 移到S_2，此时只要D_in的值持续为1,D_out就会被置位。由ASM图表明Mealy状态机在接收 到0之前，会一直停留在S_2状态(即无复位操作);与此相似,Moore状态机会停留在S_3状态。 注意，Moore状态机有一个额外状态，因为Moore机的输出不需要预先考虑D_in值，而是在第3 个有效时钟沿之后的状态中给D_ou赋值(而Mealy状态机会预测D_in值，并在第3个有效时钟 沿之前给D_out赋值)。
所以接下来就来用仿真图来观察这个原理的真实性。
三.步骤