【摘要】：在我们讨论驱动器之前，并重新看一下我们所用过的三个状态机是有益的——激励产生器、DUT和监视器，直观比较它们如图6-6所示。状态机的数学机理超出了本文的讨论范围。注意激励产生器和DUT的状态机是互补的。一旦请求信号被触发，激励产生器和监视器都切换到WAIT_ACK状态来等待DUT的回应。对于每种协议的细节会有所不同，但是通常这三类状态机是类似的。
6.4 三类状态机
在我们讨论驱动器之前，并重新看一下我们所用过的三个状态机是有益的——激励产生器、DUT和监视器，直观比较它们如图6-6所示。状态机的数学机理超出了本文的讨论范围。
图6-6 DUT、激励产生器和监视器的FSM
注意激励产生器和DUT的状态机是互补的。激励产生器发送请求而DUT等待请求，DUT发送确认而激励产生器等待确认。
当系统被初始化时，DUT和监视器都处于WAIT_REQ状态，等待请求。激励产生器处于SEND_REQ状态，并将一个请求信号置于总线上。一旦请求信号被触发，激励产生器和监视器都切换到WAIT_ACK状态来等待DUT的回应。当DUT结束了所被请求的操作，它发送确认信号并使得监视器和激励产生器都回到初始的状态，同时这个循环被重复运行。这是一个典型的非流水线的请求/响应协议。请求者和响应者之间来回动作——请求者发送请求并等待回应，回应者等待请求并送回回应——并且监视器来回地与请求者和响应者同步。
对于每种协议的细节会有所不同，但是通常这三类状态机是类似的。请求者和响应者的状态机一般是互补的，监视器跟随着其他两者的状态，辨识什么时候请求被提出，什么时候响应被返回。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
