VFSM: T_TwoComplement
VFSM type: T_TwoComplement(user vfsm)
Prefix: T_M
IOid name: MyCmd
(type: CMD-IN)
IOid name: Input
(type: XDA)
-->Virtual Input: Inp0
(0)
-->Virtual Input: Inp1
(1)
-->Virtual Input: InpNone
(3)
-->Virtual Input: InpX
(2)
-->Virtual Output: SetInputNone
(3)
IOid name: Move
(type: XDA)
-->Virtual Output: MoveLeft
(0)
-->Virtual Output: MoveRight
(1)
-->Virtual Output: SetMoveNone
(2)
IOid name: MoveDone
(type: XDA)
-->Virtual Input: MoveDone
(1)
-->Virtual Output: ClearMoveDone
(0)
IOid name: Write
(type: XDA)
-->Virtual Output: SetWriteNone
(3)
-->Virtual Output: Write0
(0)
-->Virtual Output: Write1
(1)
-->Virtual Output: WriteEnd
(4)
-->Virtual Output: WriteX
(2)
IOid name: WriteDone
(type: XDA)
-->Virtual Input: WriteDone
(1)
-->Virtual Output: ClearWriteDone
(0)
State transition table, state '
Init
':
Init |
EntryAction:
| SetMoveNone ClearMoveDone |
ExitAction:
| ||
Start
| always |
State transition table, state '
Start
':
Start |
EntryAction:
| ClearMoveDone SetMoveNone |
ExitAction:
| ||
MoveLeft0
| Inp0 | |
MoveLeft1
| Inp1 |
State transition table, state '
MoveLeft0
':
MoveLeft0 |
EntryAction:
| MoveLeft SetInputNone |
ExitAction:
| ||
MoveLeft0_Done
| MoveDone |
State transition table, state '
MoveLeft0_Done
':
MoveLeft0_Done |
EntryAction:
| ClearMoveDone SetMoveNone |
ExitAction:
| ||
MoveLeft0
| Inp0 | |
MoveLeft1
| Inp1 |
State transition table, state '
MoveLeft1
':
MoveLeft1 |
EntryAction:
| MoveLeft SetInputNone |
ExitAction:
| ||
MoveLeft1_Done
| MoveDone |
State transition table, state '
MoveLeft1_Done
':
MoveLeft1_Done |
EntryAction:
| ClearMoveDone ClearWriteDone SetWriteNone SetMoveNone |
ExitAction:
| ||
Write1_MoveLeft
| Inp0 | |
Write0_MoveLeft
| Inp1 | |
MoveRight
| InpX |
State transition table, state '
Write1_MoveLeft
':
Write1_MoveLeft |
EntryAction:
| Write1 SetInputNone |
ExitAction:
| ||
WriteDone | MoveLeft | |
MoveLeft1_Done
| MoveDone |
State transition table, state '
Write0_MoveLeft
':
Write0_MoveLeft |
EntryAction:
| Write0 SetInputNone |
ExitAction:
| ||
WriteDone | MoveLeft | |
MoveLeft1_Done
| MoveDone |
State transition table, state '
MoveRight
':
MoveRight |
EntryAction:
| MoveRight SetInputNone |
ExitAction:
| ||
MoveRight_Done
| MoveDone |
State transition table, state '
MoveRight_Done
':
MoveRight_Done |
EntryAction:
| ClearMoveDone SetMoveNone |
ExitAction:
| ||
MoveRight
|
Inp0 or Inp1
| |
MoveLeft
| InpX |
State transition table, state '
MoveLeft
':
MoveLeft |
EntryAction:
| SetInputNone WriteEnd |
ExitAction:
| ||
WriteDone | MoveLeft | |
Start
| MoveDone |
Total number of states: 11