fsm_encoding {262997429971} sequential

fsm_state_encoding {262997429971} 00 {00}

fsm_state_encoding {262997429971} 01 {01}

fsm_state_encoding {262997429971} 10 {10}

fsm_state_encoding {262997429971} 11 {11}

fsm_registers {262997429971} {rŪxŪrstate[1]}  {rŪxŪrstate[0]} 

fsm_encoding {3468786872} sequential

fsm_state_encoding {3468786872} 00 {00}

fsm_state_encoding {3468786872} 10 {01}

fsm_state_encoding {3468786872} 11 {10}

fsm_registers {3468786872} {rŪistate[1]}  {rŪistate[0]} 

fsm_encoding {3615341015343} onehot

fsm_state_encoding {3615341015343} 000000001 {000000}

fsm_state_encoding {3615341015343} 000000010 {000011}

fsm_state_encoding {3615341015343} 000001000 {000101}

fsm_state_encoding {3615341015343} 001000000 {001001}

fsm_state_encoding {3615341015343} 010000000 {010001}

fsm_state_encoding {3615341015343} 100000000 {100001}

fsm_registers {3615341015343} {rŪdstate[0]}  {rŪdstate[1]}  {rŪdstate[2]}  {rŪdstate[3]}  {rŪdstate[4]}  {rŪdstate_i[5]} 

fsm_encoding {3835543554} sequential

fsm_state_encoding {3835543554} 00 {00}

fsm_state_encoding {3835543554} 01 {01}

fsm_state_encoding {3835543554} 10 {10}

fsm_state_encoding {3835543554} 11 {11}

fsm_registers {3835543554} {rŪbo[1]}  {rŪbo[0]} 

fsm_encoding {8032483245} sequential

fsm_state_encoding {8032483245} 00 {00}

fsm_state_encoding {8032483245} 01 {01}

fsm_state_encoding {8032483245} 10 {10}

fsm_registers {8032483245} {rŪtxstate[1]}  {rŪtxstate[0]} 

fsm_encoding {8032483246} sequential

fsm_state_encoding {8032483246} 00 {00}

fsm_state_encoding {8032483246} 01 {01}

fsm_state_encoding {8032483246} 10 {10}

fsm_state_encoding {8032483246} 11 {11}

fsm_registers {8032483246} {rŪrxstate[1]}  {rŪrxstate[0]} 

fsm_encoding {8114781477} onehot

fsm_state_encoding {8114781477} 000001 {000000}

fsm_state_encoding {8114781477} 000010 {000011}

fsm_state_encoding {8114781477} 000100 {000101}

fsm_state_encoding {8114781477} 001000 {001001}

fsm_state_encoding {8114781477} 010000 {010001}

fsm_state_encoding {8114781477} 100000 {100001}

fsm_registers {8114781477} {rŪstate[0]}  {rŪstate[1]}  {rŪstate[2]}  {rŪstate[3]}  {rŪstate[4]}  {rŪstate_i[5]} 

fsm_encoding {8322282228} sequential

fsm_state_encoding {8322282228} 00 {00}

fsm_state_encoding {8322282228} 01 {01}

fsm_state_encoding {8322282228} 10 {10}

fsm_registers {8322282228} {rŪstate[1]}  {rŪstate[0]} 

fsm_encoding {8553785379} sequential

fsm_state_encoding {8553785379} 00 {00}

fsm_state_encoding {8553785379} 01 {01}

fsm_state_encoding {8553785379} 10 {10}

fsm_state_encoding {8553785379} 11 {11}

fsm_registers {8553785379} {rŪtxstate[1]}  {rŪtxstate[0]} 

fsm_encoding {85537853710} onehot

fsm_state_encoding {85537853710} 00001 {00000}

fsm_state_encoding {85537853710} 00010 {00011}

fsm_state_encoding {85537853710} 00100 {00101}

fsm_state_encoding {85537853710} 01000 {01001}

fsm_state_encoding {85537853710} 10000 {10001}

fsm_registers {85537853710} {rŪrxstate[0]}  {rŪrxstate[1]}  {rŪrxstate[2]}  {rŪrxstate[3]}  {rŪrxstate_i[4]}