状态模式
2024
状态模式是一种行为设计模式， 让你能在一个对象的内部状态变化时改变其行为， 使其看上去就像改变了自身所属的类一样。
在RTL中可能存在复杂的有限状态机FSM，在任何一个特定状态中， RTL的行为都不相同， 且可从一个状态切换到另一个状态。不过， 根据当前状态， RTL可能会切换到另外一种状态， 也可能会保持当前状态不变。这些数量有限且预先定义的状态切换规则被称为转移。
为了对RTL FSM进行建模，状态设计模式建议将每个状态的行为抽象成一个类，状态之间的切换相当于就是类对象的切换。主要可包括以下几个组件：
Context：它并不会自行实现所有行为， 而是会保存一个指向表示当前状态的状态对象的引用， 且将所有与状态相关的工作委派给该对象。
State：所有状态类的基类，所有状态类都必须遵循同样的接口， 而且context必须仅通过state提供的接口函数与这些对象进行交互。
Concrete States：会自行实现特定于状态的方法。为了避免多个状态中包含相似代码， 你可以提供一个封装有部分通用行为的中间抽象类。状态对象可存储对于上下文对象的反向引用。状态可以通过该引用从上下文处获取所需信息， 并且能触发状态转移。
下图为状态设计模式在FSM中应用的一个UML类图。
参考代码
2024
状态设计模式的参考代码如下：
typedef class fsm_context;typedef class concrete_state1;typedef class concrete_state2;virtual class state;pure virtual function int process1(fsm_context cnxt);pure virtual function int process2(fsm_context cnxt);endclass : stateclass concrete_state1 extends state;function int process1(fsm_context cnxt);$display("concrete_state1 : process1");if ( cnxt.change_state ) beginconcrete_state2 state2 = new();$display("concrete_state1 change to concrete_state2");cnxt.st = state2;endendfunction : process1function int process2(fsm_context cnxt);$display("concrete_state1 : process2");if ( cnxt.change_state ) beginconcrete_state2 state2 = new();$display("concrete_state1 change to concrete_state2");cnxt.st = state2;endendfunction : process2endclass : concrete_state1class concrete_state2 extends state;function int process1(fsm_context cnxt);$display("concrete_state2 : process1");if ( cnxt.change_state ) beginconcrete_state1 state1 = new();$display("concrete_state2 change to concrete_state1");cnxt.st = state1;endendfunction : process1function int process2(fsm_context cnxt);$display("concrete_state2 : process2");if ( cnxt.change_state ) beginconcrete_state1 state1 = new();$display("concrete_state2 change to concrete_state1");cnxt.st = state1;endendfunction : process2endclass : concrete_state2class fsm_context;state st;function bit change_state();return 1; // for simplicityendfunction : change_statefunction void process_req1 (/*interface signals*/);st.process1(this /*, interface signals*/);endfunction : process_req1function void process_req2 (/*interface signals*/);st.process2(this /*, interface signals*/);endfunction : process_req2endclass : fsm_context
模拟测试代码如下：
fsm_context fsm_st = new();fsm_st.st = concrete_state1::new();fsm_st.process_req1();fsm_st.process_req2();
使用Questasim仿真输出日志如下：
| # concrete_state1 : process1| # concrete_state1 change to concrete_state2| # concrete_state2 : process2| # concrete_state2 change to concrete_state1
