交互状态机模型模拟矢量自动生成方法

• Automatic Simulation Vector Generation Using Interacting FSM Model