Untitled Document

　　信号的声明发生在块语句和结构体内。
　　块语句：令M_e = <I, S, O, s₀,δ,λ>为功能块语句部分的状态机，S_d为说明部分声明的信号集。整个功能块（包括说明部分和语句部分）的状态机为M_e = <I_e , S_e , O_e, s_0e,δ_e,λ_e>，M_e中对应于S_d中元素的变量在M_e中应作为内部变量，而不应该是输出变量。相应地，更新这些局部信号的有效值的操作将在功能块层被转换为状态转换函数。
　　M_e为：
　　1. I_e = I - {S

S ∈　S_d}，从输入信号集合中删除那些内部定义的信号。
　　2. S_e = S {S

S ∈　S_d}，从状态变量集合中加入那些内部定义的信号。
　　3. O_e = O - {S

S ∈　S_d}，从输出信号集合中删除那些内部定义的信号。
　　4. 初始状态s_0e是s₀加上2中引入变量的初值。
　　5. δ_e是加上新引入的状态变量的转换函数。
　　6. λ_e等于除去在S_d中出现的输出变量的输出函数。
　　结构体：在结构体中考虑端口和信号。M = <I, S, O, s_e,δ,λ>为结构体语句部分的状态机，P_in，P_out，P_inout为端口，S_d为说明部分说明的信号集。整个结构体（包括端口，说明部分和语句部分）的状态机为M_e = <I_e, S_e, O_e, s_0e,δ_e,λ_e>。
　　M_e为：
　　1. I_e = I - {S

S ∈　S_d}，从输入信号集合中删除那些内部定义的信号，这时我们可以看出输入信号集应为{P_in ∪ P_inout}。
　　2. S_e = S ∪ {S

S ∈　S_d}，从状态变量集合中加入那些内部定义的信号。
　　3. O_e = O - {S

S ∈　S_d}，从输出信号集合中删除那些内部定义的信号，这时我们可以看出输出信号集应为{P_out ∪ P_inout}。
　　4. 初始状态s_0e是s₀加上2中引入变量的初值。
　　5. δ_e是δ加上新引入的状态变量的转换函数。
　　6. 对于一个还没有在状态机M中建立输出变量的端口P（既端口为被赋值，也不是内部元件的输出），输出函数为 λ_P(I_e，S_e)= E，E是P的初始值。
　　元件例化语句：被例化的元件的状态机可直接复制设计单元的状态机。不过，被例化的元件的局部对象要重新命名。
　　
　　至此已经得到一个有限状态机模型。但对于同步时序电路来说，还有一些问题需要解决。关键问题是上面的步骤中没有考虑时序赋值与组合赋值的区别。下一节讨论这个问题。