1)首先要理解在给定数据通道结构上必须执行的时序寄存器操作;
2)定义一个ASM图,其状态机受控于数据通道的主要输入信号和状态信号;
3)使用与控制器的状态转移相关的数据通路操作,标注ASM图的弧线来形成ASMD图;
4)用无条件输出信号标注控制器的状态;
5)把那些由控制器产生用以控制数据通道的信号写入条件框。如果信号把数据通道的状态报告给控制器,且这些信号被放入判决框中,则表明状态机
之间具有反馈链接。这种分解使得控制器和数据通道能够独立的验证。
1)首先要理解在给定数据通道结构上必须执行的时序寄存器操作;
2)定义一个ASM图,其状态机受控于数据通道的主要输入信号和状态信号;
3)使用与控制器的状态转移相关的数据通路操作,标注ASM图的弧线来形成ASMD图;
4)用无条件输出信号标注控制器的状态;
5)把那些由控制器产生用以控制数据通道的信号写入条件框。如果信号把数据通道的状态报告给控制器,且这些信号被放入判决框中,则表明状态机
之间具有反馈链接。这种分解使得控制器和数据通道能够独立的验证。