交互状态机建模，交互状态机能够使用通过公共寄存器通信的独立的a l w a y s语句进行描述。

示的两个交互进程的状态图， T X是一个发送器， M P是一个微处理器。如果进程T X不忙，进

程M P将要发送的数据放置在数据总线上，然后向进程T X发送信号L o a d T X，通知其装载数据

并开始发送数据。进程T X在数据传送期间设置T X B u s y表明其处于忙状态，不能从进程M P接

收任何进一步的数据。-Interactive state machine modeling, interactive state machine can be used to communicate through the public register statements describe independent always. Shows the state diagram of two interacting processes, TX is a transmitter, MP is a microprocessor. If the process TX is not busy, the process of MP will be placed in the data to be transmitted on the data bus, and then send a signal to process TX L oad TX, notify the load data and begin sending data. TX during the data transfer process set TXB usy that it is busy, the process of MP can not receive any further data.