在modelsim中仿真状态机