URL
https://opencores.org/ocsvn/or1k/or1k/trunk
Subversion Repositories or1k
[/] [or1k/] [trunk/] [linux/] [linux-2.4/] [net/] [802/] [transit/] [pdutr.pre] - Rev 1765
Compare with Previous | Blame | View Log
COMPILE pdutr INDEX
;
; Transition tables for incoming pdu events.
; translate this thing into C with
; awk -f ./compile.awk pdu.trans > pdutr.h
;
TABLE ADM
;Transition table for the ADM state:
;
;frame type p bit action newstate
;received in frame
;
I_CMD 0 ADM5 ADM
I_CMD 1 ADM4 ADM
RR_CMD 0 ADM5 ADM
RR_CMD 1 ADM4 ADM
RNR_CMD 0 ADM5 ADM
RNR_CMD 1 ADM4 ADM
REJ_CMD 0 ADM5 ADM
REJ_CMD 1 ADM4 ADM
DISC_CMD 0 ADM3 ADM
DISC_CMD 1 ADM3 ADM
SABME_CMD 0 ADM2 CONN
SABME_CMD 1 ADM2 CONN
I_RSP 0 ADM5 ADM
I_RSP 1 ADM5 ADM
RR_RSP 0 ADM5 ADM
RR_RSP 1 ADM5 ADM
RNR_RSP 0 ADM5 ADM
RNR_RSP 1 ADM5 ADM
REJ_RSP 0 ADM5 ADM
REJ_RSP 1 ADM5 ADM
UA_RSP 0 ADM5 ADM
UA_RSP 1 ADM5 ADM
DM_RSP 0 ADM5 ADM
DM_RSP 1 ADM5 ADM
FRMR_RSP 0 ADM5 ADM
FRMR_RSP 1 ADM5 ADM
;
TABLE CONN
;
;Transition table for the CONN state:
;
;frame type action newstate
;received
;
I_CMD CONN5 CONN
RR_CMD CONN5 CONN
RNR_CMD CONN5 CONN
REJ_CMD CONN5 CONN
DISC_CMD CONN5 CONN
SABME_CMD CONN3 CONN
I_RSP CONN5 CONN
RR_RSP CONN5 CONN
RNR_RSP CONN5 CONN
REJ_RSP CONN5 CONN
UA_RSP CONN5 CONN
DM_RSP CONN4 ADM
FRMR_RSP CONN5 CONN
;
TABLE RESET_WAIT
;Transition table for the RESET_WAIT
;
;frame type action newstate
;received
;
I_CMD RESWAIT8 RESET_WAIT
RR_CMD RESWAIT8 RESET_WAIT
RNR_CMD RESWAIT8 RESET_WAIT
REJ_CMD RESWAIT8 RESET_WAIT
DISC_CMD RESWAIT7 RESET_WAIT
SABME_CMD RESWAIT6 RESET_WAIT
I_RSP RESWAIT8 RESET_WAIT
RR_RSP RESWAIT8 RESET_WAIT
RNR_RSP RESWAIT8 RESET_WAIT
REJ_RSP RESWAIT8 RESET_WAIT
UA_RSP RESWAIT8 RESET_WAIT
DM_RSP RESWAIT5 ADM
FRMR_RSP RESWAIT8 RESET_WAIT
;
;
TABLE RESET_CHECK
;Transition table for the RESET_CHECK state
;
;frame type action newstate
;received
;
I_CMD RESCHK6 RESET_CHECK
RR_CMD RESCHK6 RESET_CHECK
RNR_CMD RESCHK6 RESET_CHECK
REJ_CMD RESCHK6 RESET_CHECK
DISC_CMD RESCHK5 ADM
SABME_CMD RESCHK4 RESET_CHECK
I_RSP RESCHK6 RESET_CHECK
RR_RSP RESCHK6 RESET_CHECK
RNR_RSP RESCHK6 RESET_CHECK
REJ_RSP RESCHK6 RESET_CHECK
UA_RSP RESCHK6 RESET_CHECK
DM_RSP RESCHK3 ADM
FRMR_RSP RESCHK6 RESET_CHECK
;
;
TABLE SETUP
;Transition table for the SETUP state
;
;frame type p flag action newstate
;received = f
;
I_CMD 0 SETUP6 SETUP
I_CMD 1 SETUP6 SETUP
RR_CMD 0 SETUP6 SETUP
RR_CMD 1 SETUP6 SETUP
RNR_CMD 0 SETUP6 SETUP
RNR_CMD 1 SETUP6 SETUP
REJ_CMD 0 SETUP6 SETUP
REJ_CMD 1 SETUP6 SETUP
DISC_CMD 0 SETUP4 ADM
DISC_CMD 1 SETUP4 ADM
SABME_CMD 0 SETUP1 SETUP
SABME_CMD 1 SETUP1 SETUP
I_RSP 0 SETUP6 SETUP
I_RSP 1 SETUP6 SETUP
RR_RSP 0 SETUP6 SETUP
RR_RSP 1 SETUP6 SETUP
RNR_RSP 0 SETUP6 SETUP
RNR_RSP 1 SETUP6 SETUP
REJ_RSP 0 SETUP6 SETUP
REJ_RSP 1 SETUP6 SETUP
UA_RSP 0 SETUP6 SETUP
UA_RSP 1 SETUP2 NORMAL
DM_RSP 0 SETUP5 ADM
DM_RSP 1 SETUP5 ADM
FRMR_RSP 0 SETUP6 SETUP
FRMR_RSP 1 SETUP6 SETUP
;
;
TABLE RESET
;Transition table for the RESET state:
;
;frame type p flag action newstate
;received = f
;
I_CMD 0 RESET6 RESET
I_CMD 1 RESET6 RESET
RR_CMD 0 RESET6 RESET
RR_CMD 1 RESET6 RESET
RNR_CMD 0 RESET6 RESET
RNR_CMD 1 RESET6 RESET
REJ_CMD 0 RESET6 RESET
REJ_CMD 1 RESET6 RESET
DISC_CMD 0 RESET4 ADM
DISC_CMD 1 RESET4 ADM
SABME_CMD 0 RESET1 RESET
SABME_CMD 1 RESET1 RESET
I_RSP 0 RESET6 RESET
I_RSP 1 RESET6 RESET
RR_RSP 0 RESET6 RESET
RR_RSP 1 RESET6 RESET
RNR_RSP 0 RESET6 RESET
RNR_RSP 1 RESET6 RESET
REJ_RSP 0 RESET6 RESET
REJ_RSP 1 RESET6 RESET
UA_RSP 0 RESET6 RESET
UA_RSP 1 RESET2 NORMAL
DM_RSP 0 RESET5 ADM
DM_RSP 1 RESET5 ADM
FRMR_RSP 0 RESET6 RESET
FRMR_RSP 1 RESET6 RESET
;
;
TABLE D_CONN
;Transition table for the D_CONN state:
;
;frame type p bit action newstate
;received in frame
I_CMD 0 D_CONN5 D_CONN
I_CMD 1 D_CONN5 D_CONN
RR_CMD 0 D_CONN5 D_CONN
RR_CMD 1 D_CONN5 D_CONN
RNR_CMD 0 D_CONN5 D_CONN
RNR_CMD 1 D_CONN5 D_CONN
REJ_CMD 0 D_CONN5 D_CONN
REJ_CMD 1 D_CONN5 D_CONN
DISC_CMD 0 D_CONN3 D_CONN
DISC_CMD 1 D_CONN3 D_CONN
SABME_CMD 0 D_CONN1 ADM
SABME_CMD 1 D_CONN1 ADM
I_RSP 0 D_CONN5 D_CONN
I_RSP 1 D_CONN5 D_CONN
RR_RSP 0 D_CONN5 D_CONN
RR_RSP 1 D_CONN5 D_CONN
RNR_RSP 0 D_CONN5 D_CONN
RNR_RSP 1 D_CONN5 D_CONN
REJ_RSP 0 D_CONN5 D_CONN
REJ_RSP 1 D_CONN5 D_CONN
UA_RSP 0 D_CONN5 D_CONN
UA_RSP 1 D_CONN4 ADM
DM_RSP 0 D_CONN4 ADM
DM_RSP 1 D_CONN5 ADM
FRMR_RSP 0 D_CONN5 D_CONN
FRMR_RSP 1 D_CONN5 D_CONN
;
;
TABLE ERROR
;Transition table for the ERROR state:
;
;frame type action newstate
;received
;
I_CMD ERR5 ERROR
RR_CMD ERR5 ERROR
RNR_CMD ERR5 ERROR
REJ_CMD ERR5 ERROR
DISC_CMD ERR2 ADM
SABME_CMD ERR1 RESET_CHECK
I_RSP ERR6 ERROR
RR_RSP ERR6 ERROR
RNR_RSP ERR6 ERROR
REJ_RSP ERR6 ERROR
UA_RSP ERR6 ERROR
DM_RSP ERR3 ADM
FRMR_RSP ERR4 RESET_WAIT
;
TABLE NORMAL
;Transition table for the NORMAL state:
;
;frame type uexpect p bit p_flag
;received N(S) in frame
;
I_CMD 0 0 0 NORMAL8B NORMAL
I_CMD 0 0 1 NORMAL9 NORMAL
I_CMD 0 1 0 NORMAL10 NORMAL
I_CMD 0 1 1 NORMAL10 NORMAL
I_CMD 1 0 0 NORMAL5 REJECT
I_CMD 1 0 1 NORMAL6 REJECT
I_CMD 1 1 0 NORMAL7 REJECT
I_CMD 1 1 1 NORMAL7 REJECT
RR_CMD 0 0 0 NORMAL11 NORMAL
RR_CMD 0 0 1 NORMAL11 NORMAL
RR_CMD 0 1 0 NORMAL12 NORMAL
RR_CMD 0 1 1 NORMAL12 NORMAL
RR_CMD 1 0 0 NORMAL11 NORMAL
RR_CMD 1 0 1 NORMAL11 NORMAL
RR_CMD 1 1 0 NORMAL12 NORMAL
RR_CMD 1 1 1 NORMAL12 NORMAL
RNR_CMD 0 0 0 NORMAL13 NORMAL
RNR_CMD 0 0 1 NORMAL13 NORMAL
RNR_CMD 0 1 0 NORMAL14 NORMAL
RNR_CMD 0 1 1 NORMAL14 NORMAL
RNR_CMD 1 0 0 NORMAL13 NORMAL
RNR_CMD 1 0 1 NORMAL13 NORMAL
RNR_CMD 1 1 0 NORMAL14 NORMAL
RNR_CMD 1 1 1 NORMAL14 NORMAL
REJ_CMD 0 0 0 NORMAL15 NORMAL
REJ_CMD 0 0 1 NORMAL16 NORMAL
REJ_CMD 0 1 0 NORMAL17 NORMAL
REJ_CMD 0 1 1 NORMAL17 NORMAL
REJ_CMD 1 0 0 NORMAL15 NORMAL
REJ_CMD 1 0 1 NORMAL16 NORMAL
REJ_CMD 1 1 0 NORMAL17 NORMAL
REJ_CMD 1 1 1 NORMAL17 NORMAL
DISC_CMD 0 0 0 SH4 ADM
DISC_CMD 0 0 1 SH4 ADM
DISC_CMD 0 1 0 SH4 ADM
DISC_CMD 0 1 1 SH4 ADM
DISC_CMD 1 0 0 SH4 ADM
DISC_CMD 1 0 1 SH4 ADM
DISC_CMD 1 1 0 SH4 ADM
DISC_CMD 1 1 1 SH4 ADM
SABME_CMD 0 0 0 SH3 RESET_CHECK
SABME_CMD 0 0 1 SH3 RESET_CHECK
SABME_CMD 0 1 0 SH3 RESET_CHECK
SABME_CMD 0 1 1 SH3 RESET_CHECK
SABME_CMD 1 0 0 SH3 RESET_CHECK
SABME_CMD 1 0 1 SH3 RESET_CHECK
SABME_CMD 1 1 0 SH3 RESET_CHECK
SABME_CMD 1 1 1 SH3 RESET_CHECK
I_RSP 0 0 0 NORMAL8B NORMAL
I_RSP 0 0 1 NORMAL9 NORMAL
I_RSP 0 1 0 SH10 ERROR
I_RSP 0 1 1 NORMAL8A NORMAL
I_RSP 1 0 0 NORMAL5 REJECT
I_RSP 1 0 1 NORMAL6 REJECT
I_RSP 1 1 0 SH10 ERROR
I_RSP 1 1 1 NORMAL5 REJECT
RR_RSP 0 0 0 NORMAL11 NORMAL
RR_RSP 0 0 1 NORMAL11 NORMAL
RR_RSP 0 1 0 SH10 ERROR
RR_RSP 0 1 1 NORMAL11 NORMAL
RR_RSP 1 0 0 NORMAL11 NORMAL
RR_RSP 1 0 1 NORMAL11 NORMAL
RR_RSP 1 1 0 SH10 ERROR
RR_RSP 1 1 1 NORMAL11 NORMAL
RNR_RSP 0 0 0 NORMAL13 NORMAL
RNR_RSP 0 0 1 NORMAL13 NORMAL
RNR_RSP 0 1 0 SH10 ERROR
RNR_RSP 0 1 1 NORMAL13 NORMAL
RNR_RSP 1 0 0 NORMAL13 NORMAL
RNR_RSP 1 0 1 NORMAL13 NORMAL
RNR_RSP 1 1 0 SH10 ERROR
RNR_RSP 1 1 1 NORMAL13 NORMAL
REJ_RSP 0 0 0 NORMAL15 NORMAL
REJ_RSP 0 0 1 NORMAL16 NORMAL
REJ_RSP 0 1 0 SH10 ERROR
REJ_RSP 0 1 1 NORMAL15 NORMAL
REJ_RSP 1 0 0 NORMAL15 NORMAL
REJ_RSP 1 0 1 NORMAL16 NORMAL
REJ_RSP 1 1 0 SH10 ERROR
REJ_RSP 1 1 1 NORMAL15 NORMAL
UA_RSP 0 0 0 SH9 ERROR
UA_RSP 0 0 1 SH9 ERROR
UA_RSP 0 1 0 SH9 ERROR
UA_RSP 0 1 1 SH9 ERROR
UA_RSP 1 0 0 SH9 ERROR
UA_RSP 1 0 1 SH9 ERROR
UA_RSP 1 1 0 SH9 ERROR
UA_RSP 1 1 1 SH9 ERROR
DM_RSP 0 0 0 SH6 ADM
DM_RSP 0 0 1 SH6 ADM
DM_RSP 0 1 0 SH6 ADM
DM_RSP 0 1 1 SH6 ADM
DM_RSP 1 0 0 SH6 ADM
DM_RSP 1 0 1 SH6 ADM
DM_RSP 1 1 0 SH6 ADM
DM_RSP 1 1 1 SH6 ADM
FRMR_RSP 0 0 0 SH5 RESET_WAIT
FRMR_RSP 0 0 1 SH5 RESET_WAIT
FRMR_RSP 0 1 0 SH5 RESET_WAIT
FRMR_RSP 0 1 1 SH5 RESET_WAIT
FRMR_RSP 1 0 0 SH5 RESET_WAIT
FRMR_RSP 1 0 1 SH5 RESET_WAIT
FRMR_RSP 1 1 0 SH5 RESET_WAIT
FRMR_RSP 1 1 1 SH5 RESET_WAIT
BAD_FRAME 0 0 0 SH7 ERROR
BAD_FRAME 0 0 1 SH7 ERROR
BAD_FRAME 0 1 0 SH7 ERROR
BAD_FRAME 0 1 1 SH7 ERROR
BAD_FRAME 1 0 0 SH7 ERROR
BAD_FRAME 1 0 1 SH7 ERROR
BAD_FRAME 1 1 0 SH7 ERROR
BAD_FRAME 1 1 1 SH7 ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 0 NORMAL5 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 0 NORMAL5 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 1 NORMAL5 REJECT
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 1 NORMAL6 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 1 NORMAL6 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x NORMAL7 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 1 1 NORMAL8A NORMAL
;112 entries in table, 1 modified by tredit4 I_RSP x 0 0 NORMAL8B NORMAL
;112 entries in table, 1 modified by tredit4 I_CMD x 0 0 NORMAL8B NORMAL
;112 entries in table, 1 modified by tredit4 I_RSP x 0 1 NORMAL9 NORMAL
;112 entries in table, 1 modified by tredit4 I_CMD x 0 1 NORMAL9 NORMAL
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x NORMAL10 NORMAL
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x NORMAL11 NORMAL
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x NORMAL11 NORMAL
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 1 NORMAL11 NORMAL
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x NORMAL12 NORMAL
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x NORMAL13 NORMAL
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x NORMAL13 NORMAL
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 1 NORMAL13 NORMAL
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x NORMAL14 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 0 NORMAL15 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 1 NORMAL15 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 0 NORMAL15 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 1 NORMAL16 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 1 NORMAL16 NORMAL
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x NORMAL17 NORMAL
;
TABLE BUSY
;Transition table for the BUSY state:
;
;frame type uexpect p bit p_flag
;received N(S) in frame
;
I_CMD 0 0 0 BUSY13 BUSY
I_CMD 0 0 1 BUSY14 BUSY
I_CMD 0 1 0 BUSY12 BUSY
I_CMD 0 1 1 BUSY12 BUSY
I_CMD 1 0 0 BUSY9 BUSY
I_CMD 1 0 1 BUSY10 BUSY
I_CMD 1 1 0 BUSY11 BUSY
I_CMD 1 1 1 BUSY11 BUSY
RR_CMD 0 0 0 BUSY15 BUSY
RR_CMD 0 0 1 BUSY15 BUSY
RR_CMD 0 1 0 BUSY16 BUSY
RR_CMD 0 1 1 BUSY16 BUSY
RR_CMD 1 0 0 BUSY15 BUSY
RR_CMD 1 0 1 BUSY15 BUSY
RR_CMD 1 1 0 BUSY16 BUSY
RR_CMD 1 1 1 BUSY16 BUSY
RNR_CMD 0 0 0 BUSY17 BUSY
RNR_CMD 0 0 1 BUSY17 BUSY
RNR_CMD 0 1 0 BUSY18 BUSY
RNR_CMD 0 1 1 BUSY18 BUSY
RNR_CMD 1 0 0 BUSY17 BUSY
RNR_CMD 1 0 1 BUSY17 BUSY
RNR_CMD 1 1 0 BUSY18 BUSY
RNR_CMD 1 1 1 BUSY18 BUSY
REJ_CMD 0 0 0 BUSY19 BUSY
REJ_CMD 0 0 1 BUSY20 BUSY
REJ_CMD 0 1 0 BUSY21 BUSY
REJ_CMD 0 1 1 BUSY21 BUSY
REJ_CMD 1 0 0 BUSY19 BUSY
REJ_CMD 1 0 1 BUSY20 BUSY
REJ_CMD 1 1 0 BUSY21 BUSY
REJ_CMD 1 1 1 BUSY21 BUSY
DISC_CMD 0 0 0 SH4 ADM
DISC_CMD 0 0 1 SH4 ADM
DISC_CMD 0 1 0 SH4 ADM
DISC_CMD 0 1 1 SH4 ADM
DISC_CMD 1 0 0 SH4 ADM
DISC_CMD 1 0 1 SH4 ADM
DISC_CMD 1 1 0 SH4 ADM
DISC_CMD 1 1 1 SH4 ADM
SABME_CMD 0 0 0 SH3 RESET_CHECK
SABME_CMD 0 0 1 SH3 RESET_CHECK
SABME_CMD 0 1 0 SH3 RESET_CHECK
SABME_CMD 0 1 1 SH3 RESET_CHECK
SABME_CMD 1 0 0 SH3 RESET_CHECK
SABME_CMD 1 0 1 SH3 RESET_CHECK
SABME_CMD 1 1 0 SH3 RESET_CHECK
SABME_CMD 1 1 1 SH3 RESET_CHECK
I_RSP 0 0 0 BUSY13 BUSY
I_RSP 0 0 1 BUSY14 BUSY
I_RSP 0 1 0 SH10 ERROR
I_RSP 0 1 1 BUSY13 BUSY
I_RSP 1 0 0 BUSY9 BUSY
I_RSP 1 0 1 BUSY10 BUSY
I_RSP 1 1 0 SH10 ERROR
I_RSP 1 1 1 BUSY9 BUSY
RR_RSP 0 0 0 BUSY15 BUSY
RR_RSP 0 0 1 BUSY15 BUSY
RR_RSP 0 1 0 SH10 ERROR
RR_RSP 0 1 1 BUSY15 BUSY
RR_RSP 1 0 0 BUSY15 BUSY
RR_RSP 1 0 1 BUSY15 BUSY
RR_RSP 1 1 0 SH10 ERROR
RR_RSP 1 1 1 BUSY15 BUSY
RNR_RSP 0 0 0 BUSY17 BUSY
RNR_RSP 0 0 1 BUSY17 BUSY
RNR_RSP 0 1 0 SH10 ERROR
RNR_RSP 0 1 1 BUSY17 BUSY
RNR_RSP 1 0 0 BUSY17 BUSY
RNR_RSP 1 0 1 BUSY17 BUSY
RNR_RSP 1 1 0 SH10 ERROR
RNR_RSP 1 1 1 BUSY17 BUSY
REJ_RSP 0 0 0 BUSY19 BUSY
REJ_RSP 0 0 1 BUSY20 BUSY
REJ_RSP 0 1 0 SH10 ERROR
REJ_RSP 0 1 1 BUSY19 BUSY
REJ_RSP 1 0 0 BUSY19 BUSY
REJ_RSP 1 0 1 BUSY20 BUSY
REJ_RSP 1 1 0 SH10 ERROR
REJ_RSP 1 1 1 BUSY19 BUSY
UA_RSP 0 0 0 SH9 ERROR
UA_RSP 0 0 1 SH9 ERROR
UA_RSP 0 1 0 SH9 ERROR
UA_RSP 0 1 1 SH9 ERROR
UA_RSP 1 0 0 SH9 ERROR
UA_RSP 1 0 1 SH9 ERROR
UA_RSP 1 1 0 SH9 ERROR
UA_RSP 1 1 1 SH9 ERROR
DM_RSP 0 0 0 SH6 ADM
DM_RSP 0 0 1 SH6 ADM
DM_RSP 0 1 0 SH6 ADM
DM_RSP 0 1 1 SH6 ADM
DM_RSP 1 0 0 SH6 ADM
DM_RSP 1 0 1 SH6 ADM
DM_RSP 1 1 0 SH6 ADM
DM_RSP 1 1 1 SH6 ADM
FRMR_RSP 0 0 0 SH5 RESET_WAIT
FRMR_RSP 0 0 1 SH5 RESET_WAIT
FRMR_RSP 0 1 0 SH5 RESET_WAIT
FRMR_RSP 0 1 1 SH5 RESET_WAIT
FRMR_RSP 1 0 0 SH5 RESET_WAIT
FRMR_RSP 1 0 1 SH5 RESET_WAIT
FRMR_RSP 1 1 0 SH5 RESET_WAIT
FRMR_RSP 1 1 1 SH5 RESET_WAIT
BAD_FRAME 0 0 0 SH7 ERROR
BAD_FRAME 0 0 1 SH7 ERROR
BAD_FRAME 0 1 0 SH7 ERROR
BAD_FRAME 0 1 1 SH7 ERROR
BAD_FRAME 1 0 0 SH7 ERROR
BAD_FRAME 1 0 1 SH7 ERROR
BAD_FRAME 1 1 0 SH7 ERROR
BAD_FRAME 1 1 1 SH7 ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 0 BUSY9 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 1 BUSY9 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 0 BUSY9 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 1 BUSY10 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 1 BUSY10 BUSY
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x BUSY11 BUSY
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x BUSY12 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 0 0 BUSY13 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 1 1 BUSY13 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD x 0 0 BUSY13 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 0 1 BUSY14 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD x 0 1 BUSY14 BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x BUSY15 BUSY
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x BUSY15 BUSY
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 1 BUSY15 BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x BUSY16 BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x BUSY17 BUSY
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x BUSY17 BUSY
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 1 BUSY17 BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x BUSY18 BUSY
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 0 BUSY19 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 0 BUSY19 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 1 BUSY19 BUSY
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 1 BUSY20 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 1 BUSY20 BUSY
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x BUSY21 BUSY
;
TABLE REJECT
;Transition table for the REJECT state:
;
;frame type uexpect p bit p_flag
;received N(S) in frame
;
I_CMD 0 0 0 REJECT7 REJECT
I_CMD 0 0 1 REJECT8 REJECT
I_CMD 0 1 0 REJECT9 REJECT
I_CMD 0 1 1 REJECT9 REJECT
I_CMD 1 0 0 REJECT5 REJECT
I_CMD 1 0 1 REJECT5 REJECT
I_CMD 1 1 0 REJECT6 REJECT
I_CMD 1 1 1 REJECT6 REJECT
RR_CMD 0 0 0 REJECT10 REJECT
RR_CMD 0 0 1 REJECT10 REJECT
RR_CMD 0 1 0 REJECT11 REJECT
RR_CMD 0 1 1 REJECT11 REJECT
RR_CMD 1 0 0 REJECT10 REJECT
RR_CMD 1 0 1 REJECT10 REJECT
RR_CMD 1 1 0 REJECT11 REJECT
RR_CMD 1 1 1 REJECT11 REJECT
RNR_CMD 0 0 0 REJECT12 REJECT
RNR_CMD 0 0 1 REJECT12 REJECT
RNR_CMD 0 1 0 REJECT13 REJECT
RNR_CMD 0 1 1 REJECT13 REJECT
RNR_CMD 1 0 0 REJECT12 REJECT
RNR_CMD 1 0 1 REJECT12 REJECT
RNR_CMD 1 1 0 REJECT13 REJECT
RNR_CMD 1 1 1 REJECT13 REJECT
REJ_CMD 0 0 0 REJECT14 REJECT
REJ_CMD 0 0 1 REJECT15 REJECT
REJ_CMD 0 1 0 REJECT16 REJECT
REJ_CMD 0 1 1 REJECT16 REJECT
REJ_CMD 1 0 0 REJECT14 REJECT
REJ_CMD 1 0 1 REJECT15 REJECT
REJ_CMD 1 1 0 REJECT16 REJECT
REJ_CMD 1 1 1 REJECT16 REJECT
DISC_CMD 0 0 0 SH4 ADM
DISC_CMD 0 0 1 SH4 ADM
DISC_CMD 0 1 0 SH4 ADM
DISC_CMD 0 1 1 SH4 ADM
DISC_CMD 1 0 0 SH4 ADM
DISC_CMD 1 0 1 SH4 ADM
DISC_CMD 1 1 0 SH4 ADM
DISC_CMD 1 1 1 SH4 ADM
SABME_CMD 0 0 0 SH3 RESET_CHECK
SABME_CMD 0 0 1 SH3 RESET_CHECK
SABME_CMD 0 1 0 SH3 RESET_CHECK
SABME_CMD 0 1 1 SH3 RESET_CHECK
SABME_CMD 1 0 0 SH3 RESET_CHECK
SABME_CMD 1 0 1 SH3 RESET_CHECK
SABME_CMD 1 1 0 SH3 RESET_CHECK
SABME_CMD 1 1 1 SH3 RESET_CHECK
I_RSP 0 0 0 REJECT7 REJECT
I_RSP 0 0 1 REJECT8 REJECT
I_RSP 0 1 0 SH10 ERROR
I_RSP 0 1 1 REJECT7 REJECT
I_RSP 1 0 0 REJECT5 REJECT
I_RSP 1 0 1 REJECT5 REJECT
I_RSP 1 1 0 SH10 ERROR
I_RSP 1 1 1 REJECT5 REJECT
RR_RSP 0 0 0 REJECT10 REJECT
RR_RSP 0 0 1 REJECT10 REJECT
RR_RSP 0 1 0 SH10 ERROR
RR_RSP 0 1 1 REJECT10 REJECT
RR_RSP 1 0 0 REJECT10 REJECT
RR_RSP 1 0 1 REJECT10 REJECT
RR_RSP 1 1 0 SH10 ERROR
RR_RSP 1 1 1 REJECT10 REJECT
RNR_RSP 0 0 0 REJECT12 REJECT
RNR_RSP 0 0 1 REJECT12 REJECT
RNR_RSP 0 1 0 SH10 ERROR
RNR_RSP 0 1 1 REJECT12 REJECT
RNR_RSP 1 0 0 REJECT12 REJECT
RNR_RSP 1 0 1 REJECT12 REJECT
RNR_RSP 1 1 0 SH10 ERROR
RNR_RSP 1 1 1 REJECT12 REJECT
REJ_RSP 0 0 0 REJECT14 REJECT
REJ_RSP 0 0 1 REJECT15 REJECT
REJ_RSP 0 1 0 SH10 ERROR
REJ_RSP 0 1 1 REJECT14 REJECT
REJ_RSP 1 0 0 REJECT14 REJECT
REJ_RSP 1 0 1 REJECT15 REJECT
REJ_RSP 1 1 0 SH10 ERROR
REJ_RSP 1 1 1 REJECT14 REJECT
UA_RSP 0 0 0 SH9 ERROR
UA_RSP 0 0 1 SH9 ERROR
UA_RSP 0 1 0 SH9 ERROR
UA_RSP 0 1 1 SH9 ERROR
UA_RSP 1 0 0 SH9 ERROR
UA_RSP 1 0 1 SH9 ERROR
UA_RSP 1 1 0 SH9 ERROR
UA_RSP 1 1 1 SH9 ERROR
DM_RSP 0 0 0 SH6 ADM
DM_RSP 0 0 1 SH6 ADM
DM_RSP 0 1 0 SH6 ADM
DM_RSP 0 1 1 SH6 ADM
DM_RSP 1 0 0 SH6 ADM
DM_RSP 1 0 1 SH6 ADM
DM_RSP 1 1 0 SH6 ADM
DM_RSP 1 1 1 SH6 ADM
FRMR_RSP 0 0 0 SH5 RESET_WAIT
FRMR_RSP 0 0 1 SH5 RESET_WAIT
FRMR_RSP 0 1 0 SH5 RESET_WAIT
FRMR_RSP 0 1 1 SH5 RESET_WAIT
FRMR_RSP 1 0 0 SH5 RESET_WAIT
FRMR_RSP 1 0 1 SH5 RESET_WAIT
FRMR_RSP 1 1 0 SH5 RESET_WAIT
FRMR_RSP 1 1 1 SH5 RESET_WAIT
BAD_FRAME 0 0 0 SH7 ERROR
BAD_FRAME 0 0 1 SH7 ERROR
BAD_FRAME 0 1 0 SH7 ERROR
BAD_FRAME 0 1 1 SH7 ERROR
BAD_FRAME 1 0 0 SH7 ERROR
BAD_FRAME 1 0 1 SH7 ERROR
BAD_FRAME 1 1 0 SH7 ERROR
BAD_FRAME 1 1 1 SH7 ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x REJECT5 REJECT
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x REJECT5 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 1 REJECT5 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x REJECT6 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 1 1 REJECT7 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 0 0 REJECT7 REJECT
;112 entries in table, 1 modified by tredit4 I_CMD x 0 0 REJECT7 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 0 1 REJECT8 REJECT
;112 entries in table, 1 modified by tredit4 I_CMD x 0 1 REJECT8 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x REJECT9 REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x REJECT10 REJECT
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x REJECT10 REJECT
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 1 REJECT10 REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x REJECT11 REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x REJECT12 REJECT
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x REJECT12 REJECT
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 1 REJECT12 REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x REJECT13 REJECT
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 0 REJECT14 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 0 REJECT14 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 1 REJECT14 REJECT
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 1 REJECT15 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 1 REJECT15 REJECT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x REJECT16 REJECT
;
TABLE AWAIT
;Transition table for the AWAIT state:
;
;frame type uexpect p bit p_flag
;received N(S) in frame
;
I_CMD 0 0 0 AWAIT6 AWAIT
I_CMD 0 0 1 AWAIT6 AWAIT
I_CMD 0 1 0 AWAIT7 AWAIT
I_CMD 0 1 1 AWAIT7 AWAIT
I_CMD 1 0 0 AWAIT3 AWAIT_REJECT
I_CMD 1 0 1 AWAIT3 AWAIT_REJECT
I_CMD 1 1 0 AWAIT4 AWAIT_REJECT
I_CMD 1 1 1 AWAIT4 AWAIT_REJECT
RR_CMD 0 0 0 AWAIT9 AWAIT
RR_CMD 0 0 1 AWAIT9 AWAIT
RR_CMD 0 1 0 AWAIT10 AWAIT
RR_CMD 0 1 1 AWAIT10 AWAIT
RR_CMD 1 0 0 AWAIT9 AWAIT
RR_CMD 1 0 1 AWAIT9 AWAIT
RR_CMD 1 1 0 AWAIT10 AWAIT
RR_CMD 1 1 1 AWAIT10 AWAIT
RNR_CMD 0 0 0 AWAIT12 AWAIT
RNR_CMD 0 0 1 AWAIT12 AWAIT
RNR_CMD 0 1 0 AWAIT13 AWAIT
RNR_CMD 0 1 1 AWAIT13 AWAIT
RNR_CMD 1 0 0 AWAIT12 AWAIT
RNR_CMD 1 0 1 AWAIT12 AWAIT
RNR_CMD 1 1 0 AWAIT13 AWAIT
RNR_CMD 1 1 1 AWAIT13 AWAIT
REJ_CMD 0 0 0 AWAIT9 AWAIT
REJ_CMD 0 0 1 AWAIT9 AWAIT
REJ_CMD 0 1 0 AWAIT10 AWAIT
REJ_CMD 0 1 1 AWAIT10 AWAIT
REJ_CMD 1 0 0 AWAIT9 AWAIT
REJ_CMD 1 0 1 AWAIT9 AWAIT
REJ_CMD 1 1 0 AWAIT10 AWAIT
REJ_CMD 1 1 1 AWAIT10 AWAIT
DISC_CMD 0 0 0 SH4 ADM
DISC_CMD 0 0 1 SH4 ADM
DISC_CMD 0 1 0 SH4 ADM
DISC_CMD 0 1 1 SH4 ADM
DISC_CMD 1 0 0 SH4 ADM
DISC_CMD 1 0 1 SH4 ADM
DISC_CMD 1 1 0 SH4 ADM
DISC_CMD 1 1 1 SH4 ADM
SABME_CMD 0 0 0 SH3 RESET_CHECK
SABME_CMD 0 0 1 SH3 RESET_CHECK
SABME_CMD 0 1 0 SH3 RESET_CHECK
SABME_CMD 0 1 1 SH3 RESET_CHECK
SABME_CMD 1 0 0 SH3 RESET_CHECK
SABME_CMD 1 0 1 SH3 RESET_CHECK
SABME_CMD 1 1 0 SH3 RESET_CHECK
SABME_CMD 1 1 1 SH3 RESET_CHECK
I_RSP 0 0 0 AWAIT6 AWAIT
I_RSP 0 0 1 AWAIT6 AWAIT
I_RSP 0 1 0 SH10 ERROR
I_RSP 0 1 1 AWAIT5 NORMAL
I_RSP 1 0 0 AWAIT3 AWAIT_REJECT
I_RSP 1 0 1 AWAIT3 AWAIT_REJECT
I_RSP 1 1 0 SH10 ERROR
I_RSP 1 1 1 AWAIT2 REJECT
RR_RSP 0 0 0 AWAIT9 AWAIT
RR_RSP 0 0 1 AWAIT9 AWAIT
RR_RSP 0 1 0 SH10 ERROR
RR_RSP 0 1 1 AWAIT8 AWAIT
RR_RSP 1 0 0 AWAIT9 AWAIT
RR_RSP 1 0 1 AWAIT9 AWAIT
RR_RSP 1 1 0 SH10 ERROR
RR_RSP 1 1 1 AWAIT8 AWAIT
RNR_RSP 0 0 0 AWAIT12 AWAIT
RNR_RSP 0 0 1 AWAIT12 AWAIT
RNR_RSP 0 1 0 SH10 ERROR
RNR_RSP 0 1 1 AWAIT11 AWAIT
RNR_RSP 1 0 0 AWAIT12 AWAIT
RNR_RSP 1 0 1 AWAIT12 AWAIT
RNR_RSP 1 1 0 SH10 ERROR
RNR_RSP 1 1 1 AWAIT11 AWAIT
REJ_RSP 0 0 0 AWAIT9 AWAIT
REJ_RSP 0 0 1 AWAIT9 AWAIT
REJ_RSP 0 1 0 SH10 ERROR
REJ_RSP 0 1 1 AWAIT8 AWAIT
REJ_RSP 1 0 0 AWAIT9 AWAIT
REJ_RSP 1 0 1 AWAIT9 AWAIT
REJ_RSP 1 1 0 SH10 ERROR
REJ_RSP 1 1 1 AWAIT8 AWAIT
UA_RSP 0 0 0 SH9 ERROR
UA_RSP 0 0 1 SH9 ERROR
UA_RSP 0 1 0 SH9 ERROR
UA_RSP 0 1 1 SH9 ERROR
UA_RSP 1 0 0 SH9 ERROR
UA_RSP 1 0 1 SH9 ERROR
UA_RSP 1 1 0 SH9 ERROR
UA_RSP 1 1 1 SH9 ERROR
DM_RSP 0 0 0 SH6 ADM
DM_RSP 0 0 1 SH6 ADM
DM_RSP 0 1 0 SH6 ADM
DM_RSP 0 1 1 SH6 ADM
DM_RSP 1 0 0 SH6 ADM
DM_RSP 1 0 1 SH6 ADM
DM_RSP 1 1 0 SH6 ADM
DM_RSP 1 1 1 SH6 ADM
FRMR_RSP 0 0 0 SH5 RESET_WAIT
FRMR_RSP 0 0 1 SH5 RESET_WAIT
FRMR_RSP 0 1 0 SH5 RESET_WAIT
FRMR_RSP 0 1 1 SH5 RESET_WAIT
FRMR_RSP 1 0 0 SH5 RESET_WAIT
FRMR_RSP 1 0 1 SH5 RESET_WAIT
FRMR_RSP 1 1 0 SH5 RESET_WAIT
FRMR_RSP 1 1 1 SH5 RESET_WAIT
BAD_FRAME 0 0 0 SH7 ERROR
BAD_FRAME 0 0 1 SH7 ERROR
BAD_FRAME 0 1 0 SH7 ERROR
BAD_FRAME 0 1 1 SH7 ERROR
BAD_FRAME 1 0 0 SH7 ERROR
BAD_FRAME 1 0 1 SH7 ERROR
BAD_FRAME 1 1 0 SH7 ERROR
BAD_FRAME 1 1 1 SH7 ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 x AWAIT2 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x AWAIT3 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x AWAIT3 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x AWAIT4 AWAIT_REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 1 x AWAIT5 NORMAL
;112 entries in table, 2 modified by tredit4 I_RSP x 0 x AWAIT6 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 0 x AWAIT6 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x AWAIT7 AWAIT
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 x AWAIT8 AWAIT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 x AWAIT8 AWAIT
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 REJ_RSP x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x AWAIT10 AWAIT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x AWAIT10 AWAIT
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 x AWAIT11 AWAIT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x AWAIT12 AWAIT
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x AWAIT12 AWAIT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x AWAIT13 AWAIT
;
TABLE AWAIT_BUSY
;Transition table for the AWAIT_BUSY state:
;
;frame type uexpect p bit p_flag
;received N(S) in frame
;
I_CMD 0 0 0 AWAIT_BUSY8 AWAIT_BUSY
I_CMD 0 0 1 AWAIT_BUSY8 AWAIT_BUSY
I_CMD 0 1 0 AWAIT_BUSY9 AWAIT_BUSY
I_CMD 0 1 1 AWAIT_BUSY9 AWAIT_BUSY
I_CMD 1 0 0 AWAIT_BUSY5 AWAIT_BUSY
I_CMD 1 0 1 AWAIT_BUSY5 AWAIT_BUSY
I_CMD 1 1 0 AWAIT_BUSY6 AWAIT_BUSY
I_CMD 1 1 1 AWAIT_BUSY6 AWAIT_BUSY
RR_CMD 0 0 0 AWAIT_BUSY11 AWAIT_BUSY
RR_CMD 0 0 1 AWAIT_BUSY11 AWAIT_BUSY
RR_CMD 0 1 0 AWAIT_BUSY12 AWAIT_BUSY
RR_CMD 0 1 1 AWAIT_BUSY12 AWAIT_BUSY
RR_CMD 1 0 0 AWAIT_BUSY11 AWAIT_BUSY
RR_CMD 1 0 1 AWAIT_BUSY11 AWAIT_BUSY
RR_CMD 1 1 0 AWAIT_BUSY12 AWAIT_BUSY
RR_CMD 1 1 1 AWAIT_BUSY12 AWAIT_BUSY
RNR_CMD 0 0 0 AWAIT_BUSY14 AWAIT_BUSY
RNR_CMD 0 0 1 AWAIT_BUSY14 AWAIT_BUSY
RNR_CMD 0 1 0 AWAIT_BUSY15 AWAIT_BUSY
RNR_CMD 0 1 1 AWAIT_BUSY15 AWAIT_BUSY
RNR_CMD 1 0 0 AWAIT_BUSY14 AWAIT_BUSY
RNR_CMD 1 0 1 AWAIT_BUSY14 AWAIT_BUSY
RNR_CMD 1 1 0 AWAIT_BUSY15 AWAIT_BUSY
RNR_CMD 1 1 1 AWAIT_BUSY15 AWAIT_BUSY
REJ_CMD 0 0 0 AWAIT_BUSY11 AWAIT_BUSY
REJ_CMD 0 0 1 AWAIT_BUSY11 AWAIT_BUSY
REJ_CMD 0 1 0 AWAIT_BUSY12 AWAIT_BUSY
REJ_CMD 0 1 1 AWAIT_BUSY12 AWAIT_BUSY
REJ_CMD 1 0 0 AWAIT_BUSY11 AWAIT_BUSY
REJ_CMD 1 0 1 AWAIT_BUSY11 AWAIT_BUSY
REJ_CMD 1 1 0 AWAIT_BUSY12 AWAIT_BUSY
REJ_CMD 1 1 1 AWAIT_BUSY12 AWAIT_BUSY
DISC_CMD 0 0 0 SH4 ADM
DISC_CMD 0 0 1 SH4 ADM
DISC_CMD 0 1 0 SH4 ADM
DISC_CMD 0 1 1 SH4 ADM
DISC_CMD 1 0 0 SH4 ADM
DISC_CMD 1 0 1 SH4 ADM
DISC_CMD 1 1 0 SH4 ADM
DISC_CMD 1 1 1 SH4 ADM
SABME_CMD 0 0 0 SH3 RESET_CHECK
SABME_CMD 0 0 1 SH3 RESET_CHECK
SABME_CMD 0 1 0 SH3 RESET_CHECK
SABME_CMD 0 1 1 SH3 RESET_CHECK
SABME_CMD 1 0 0 SH3 RESET_CHECK
SABME_CMD 1 0 1 SH3 RESET_CHECK
SABME_CMD 1 1 0 SH3 RESET_CHECK
SABME_CMD 1 1 1 SH3 RESET_CHECK
I_RSP 0 0 0 AWAIT_BUSY8 AWAIT_BUSY
I_RSP 0 0 1 AWAIT_BUSY8 AWAIT_BUSY
I_RSP 0 1 0 SH10 ERROR
I_RSP 0 1 1 AWAIT_BUSY7 BUSY
I_RSP 1 0 0 AWAIT_BUSY5 AWAIT_BUSY
I_RSP 1 0 1 AWAIT_BUSY5 AWAIT_BUSY
I_RSP 1 1 0 SH10 ERROR
I_RSP 1 1 1 AWAIT_BUSY4 BUSY
RR_RSP 0 0 0 AWAIT_BUSY11 AWAIT_BUSY
RR_RSP 0 0 1 AWAIT_BUSY11 AWAIT_BUSY
RR_RSP 0 1 0 SH10 ERROR
RR_RSP 0 1 1 AWAIT_BUSY10 BUSY
RR_RSP 1 0 0 AWAIT_BUSY11 AWAIT_BUSY
RR_RSP 1 0 1 AWAIT_BUSY11 AWAIT_BUSY
RR_RSP 1 1 0 SH10 ERROR
RR_RSP 1 1 1 AWAIT_BUSY10 BUSY
RNR_RSP 0 0 0 AWAIT_BUSY14 AWAIT_BUSY
RNR_RSP 0 0 1 AWAIT_BUSY14 AWAIT_BUSY
RNR_RSP 0 1 0 SH10 ERROR
RNR_RSP 0 1 1 AWAIT_BUSY13 BUSY
RNR_RSP 1 0 0 AWAIT_BUSY14 AWAIT_BUSY
RNR_RSP 1 0 1 AWAIT_BUSY14 AWAIT_BUSY
RNR_RSP 1 1 0 SH10 ERROR
RNR_RSP 1 1 1 AWAIT_BUSY13 BUSY
REJ_RSP 0 0 0 AWAIT_BUSY11 AWAIT_BUSY
REJ_RSP 0 0 1 AWAIT_BUSY11 AWAIT_BUSY
REJ_RSP 0 1 0 SH10 ERROR
REJ_RSP 0 1 1 AWAIT_BUSY10 BUSY
REJ_RSP 1 0 0 AWAIT_BUSY11 AWAIT_BUSY
REJ_RSP 1 0 1 AWAIT_BUSY11 AWAIT_BUSY
REJ_RSP 1 1 0 SH10 ERROR
REJ_RSP 1 1 1 AWAIT_BUSY10 BUSY
UA_RSP 0 0 0 SH9 ERROR
UA_RSP 0 0 1 SH9 ERROR
UA_RSP 0 1 0 SH9 ERROR
UA_RSP 0 1 1 SH9 ERROR
UA_RSP 1 0 0 SH9 ERROR
UA_RSP 1 0 1 SH9 ERROR
UA_RSP 1 1 0 SH9 ERROR
UA_RSP 1 1 1 SH9 ERROR
DM_RSP 0 0 0 SH6 ADM
DM_RSP 0 0 1 SH6 ADM
DM_RSP 0 1 0 SH6 ADM
DM_RSP 0 1 1 SH6 ADM
DM_RSP 1 0 0 SH6 ADM
DM_RSP 1 0 1 SH6 ADM
DM_RSP 1 1 0 SH6 ADM
DM_RSP 1 1 1 SH6 ADM
FRMR_RSP 0 0 0 SH5 RESET_WAIT
FRMR_RSP 0 0 1 SH5 RESET_WAIT
FRMR_RSP 0 1 0 SH5 RESET_WAIT
FRMR_RSP 0 1 1 SH5 RESET_WAIT
FRMR_RSP 1 0 0 SH5 RESET_WAIT
FRMR_RSP 1 0 1 SH5 RESET_WAIT
FRMR_RSP 1 1 0 SH5 RESET_WAIT
FRMR_RSP 1 1 1 SH5 RESET_WAIT
BAD_FRAME 0 0 0 SH7 ERROR
BAD_FRAME 0 0 1 SH7 ERROR
BAD_FRAME 0 1 0 SH7 ERROR
BAD_FRAME 0 1 1 SH7 ERROR
BAD_FRAME 1 0 0 SH7 ERROR
BAD_FRAME 1 0 1 SH7 ERROR
BAD_FRAME 1 1 0 SH7 ERROR
BAD_FRAME 1 1 1 SH7 ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 x AWAIT_BUSY4 BUSY
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x AWAIT_BUSY5 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x AWAIT_BUSY5 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x AWAIT_BUSY6 AWAIT_BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 1 x AWAIT_BUSY7 BUSY
;112 entries in table, 2 modified by tredit4 I_RSP x 0 x AWAIT_BUSY8 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_CMD x 0 x AWAIT_BUSY8 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x AWAIT_BUSY9 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 x AWAIT_BUSY10 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 x AWAIT_BUSY10 BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 REJ_CMD x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 REJ_RSP x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x AWAIT_BUSY12 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x AWAIT_BUSY12 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 x AWAIT_BUSY13 BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x AWAIT_BUSY14 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x AWAIT_BUSY14 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x AWAIT_BUSY15 AWAIT_BUSY
;
TABLE AWAIT_REJECT
;Transition table for the AWAIT_REJECT state:
;
;frame type uexpect p bit p_flag
;received N(S) in frame
;
I_CMD 0 0 0 AWAIT_REJECT5 AWAIT
I_CMD 0 0 1 AWAIT_REJECT5 AWAIT
I_CMD 0 1 0 AWAIT_REJECT6 AWAIT
I_CMD 0 1 1 AWAIT_REJECT6 AWAIT
I_CMD 1 0 0 AWAIT_REJECT2 AWAIT_REJECT
I_CMD 1 0 1 AWAIT_REJECT2 AWAIT_REJECT
I_CMD 1 1 0 AWAIT_REJECT3 AWAIT_REJECT
I_CMD 1 1 1 AWAIT_REJECT3 AWAIT_REJECT
RR_CMD 0 0 0 AWAIT_REJECT8 AWAIT_REJECT
RR_CMD 0 0 1 AWAIT_REJECT8 AWAIT_REJECT
RR_CMD 0 1 0 AWAIT_REJECT9 AWAIT_REJECT
RR_CMD 0 1 1 AWAIT_REJECT9 AWAIT_REJECT
RR_CMD 1 0 0 AWAIT_REJECT8 AWAIT_REJECT
RR_CMD 1 0 1 AWAIT_REJECT8 AWAIT_REJECT
RR_CMD 1 1 0 AWAIT_REJECT9 AWAIT_REJECT
RR_CMD 1 1 1 AWAIT_REJECT9 AWAIT_REJECT
RNR_CMD 0 0 0 AWAIT_REJECT11 AWAIT_REJECT
RNR_CMD 0 0 1 AWAIT_REJECT11 AWAIT_REJECT
RNR_CMD 0 1 0 AWAIT_REJECT12 AWAIT_REJECT
RNR_CMD 0 1 1 AWAIT_REJECT12 AWAIT_REJECT
RNR_CMD 1 0 0 AWAIT_REJECT11 AWAIT_REJECT
RNR_CMD 1 0 1 AWAIT_REJECT11 AWAIT_REJECT
RNR_CMD 1 1 0 AWAIT_REJECT12 AWAIT_REJECT
RNR_CMD 1 1 1 AWAIT_REJECT12 AWAIT_REJECT
REJ_CMD 0 0 0 AWAIT_REJECT8 AWAIT_REJECT
REJ_CMD 0 0 1 AWAIT_REJECT8 AWAIT_REJECT
REJ_CMD 0 1 0 AWAIT_REJECT9 AWAIT_REJECT
REJ_CMD 0 1 1 AWAIT_REJECT9 AWAIT_REJECT
REJ_CMD 1 0 0 AWAIT_REJECT8 AWAIT_REJECT
REJ_CMD 1 0 1 AWAIT_REJECT8 AWAIT_REJECT
REJ_CMD 1 1 0 AWAIT_REJECT9 AWAIT_REJECT
REJ_CMD 1 1 1 AWAIT_REJECT9 AWAIT_REJECT
DISC_CMD 0 0 0 SH4 ADM
DISC_CMD 0 0 1 SH4 ADM
DISC_CMD 0 1 0 SH4 ADM
DISC_CMD 0 1 1 SH4 ADM
DISC_CMD 1 0 0 SH4 ADM
DISC_CMD 1 0 1 SH4 ADM
DISC_CMD 1 1 0 SH4 ADM
DISC_CMD 1 1 1 SH4 ADM
SABME_CMD 0 0 0 SH3 RESET_CHECK
SABME_CMD 0 0 1 SH3 RESET_CHECK
SABME_CMD 0 1 0 SH3 RESET_CHECK
SABME_CMD 0 1 1 SH3 RESET_CHECK
SABME_CMD 1 0 0 SH3 RESET_CHECK
SABME_CMD 1 0 1 SH3 RESET_CHECK
SABME_CMD 1 1 0 SH3 RESET_CHECK
SABME_CMD 1 1 1 SH3 RESET_CHECK
I_RSP 0 0 0 AWAIT_REJECT5 AWAIT
I_RSP 0 0 1 AWAIT_REJECT5 AWAIT
I_RSP 0 1 0 SH10 ERROR
I_RSP 0 1 1 AWAIT_REJECT4 NORMAL
I_RSP 1 0 0 AWAIT_REJECT2 AWAIT_REJECT
I_RSP 1 0 1 AWAIT_REJECT2 AWAIT_REJECT
I_RSP 1 1 0 SH10 ERROR
I_RSP 1 1 1 AWAIT_REJECT4 NORMAL
RR_RSP 0 0 0 AWAIT_REJECT8 AWAIT_REJECT
RR_RSP 0 0 1 AWAIT_REJECT8 AWAIT_REJECT
RR_RSP 0 1 0 SH10 ERROR
RR_RSP 0 1 1 AWAIT_REJECT7 REJECT
RR_RSP 1 0 0 AWAIT_REJECT8 AWAIT_REJECT
RR_RSP 1 0 1 AWAIT_REJECT8 AWAIT_REJECT
RR_RSP 1 1 0 SH10 ERROR
RR_RSP 1 1 1 AWAIT_REJECT7 REJECT
RNR_RSP 0 0 0 AWAIT_REJECT11 AWAIT_REJECT
RNR_RSP 0 0 1 AWAIT_REJECT11 AWAIT_REJECT
RNR_RSP 0 1 0 SH10 ERROR
RNR_RSP 0 1 1 AWAIT_REJECT10 REJECT
RNR_RSP 1 0 0 AWAIT_REJECT11 AWAIT_REJECT
RNR_RSP 1 0 1 AWAIT_REJECT11 AWAIT_REJECT
RNR_RSP 1 1 0 SH10 ERROR
RNR_RSP 1 1 1 AWAIT_REJECT10 REJECT
REJ_RSP 0 0 0 AWAIT_REJECT8 AWAIT_REJECT
REJ_RSP 0 0 1 AWAIT_REJECT8 AWAIT_REJECT
REJ_RSP 0 1 0 SH10 ERROR
REJ_RSP 0 1 1 AWAIT_REJECT7 REJECT
REJ_RSP 1 0 0 AWAIT_REJECT8 AWAIT_REJECT
REJ_RSP 1 0 1 AWAIT_REJECT8 AWAIT_REJECT
REJ_RSP 1 1 0 SH10 ERROR
REJ_RSP 1 1 1 AWAIT_REJECT7 REJECT
UA_RSP 0 0 0 SH9 ERROR
UA_RSP 0 0 1 SH9 ERROR
UA_RSP 0 1 0 SH9 ERROR
UA_RSP 0 1 1 SH9 ERROR
UA_RSP 1 0 0 SH9 ERROR
UA_RSP 1 0 1 SH9 ERROR
UA_RSP 1 1 0 SH9 ERROR
UA_RSP 1 1 1 SH9 ERROR
DM_RSP 0 0 0 SH6 ADM
DM_RSP 0 0 1 SH6 ADM
DM_RSP 0 1 0 SH6 ADM
DM_RSP 0 1 1 SH6 ADM
DM_RSP 1 0 0 SH6 ADM
DM_RSP 1 0 1 SH6 ADM
DM_RSP 1 1 0 SH6 ADM
DM_RSP 1 1 1 SH6 ADM
FRMR_RSP 0 0 0 SH5 RESET_WAIT
FRMR_RSP 0 0 1 SH5 RESET_WAIT
FRMR_RSP 0 1 0 SH5 RESET_WAIT
FRMR_RSP 0 1 1 SH5 RESET_WAIT
FRMR_RSP 1 0 0 SH5 RESET_WAIT
FRMR_RSP 1 0 1 SH5 RESET_WAIT
FRMR_RSP 1 1 0 SH5 RESET_WAIT
FRMR_RSP 1 1 1 SH5 RESET_WAIT
BAD_FRAME 0 0 0 SH7 ERROR
BAD_FRAME 0 0 1 SH7 ERROR
BAD_FRAME 0 1 0 SH7 ERROR
BAD_FRAME 0 1 1 SH7 ERROR
BAD_FRAME 1 0 0 SH7 ERROR
BAD_FRAME 1 0 1 SH7 ERROR
BAD_FRAME 1 1 0 SH7 ERROR
BAD_FRAME 1 1 1 SH7 ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x AWAIT_REJECT2 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x AWAIT_REJECT2 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x AWAIT_REJECT3 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_RSP x 1 x AWAIT_REJECT4 NORMAL
;112 entries in table, 2 modified by tredit4 I_RSP x 0 x AWAIT_REJECT5 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 0 x AWAIT_REJECT5 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x AWAIT_REJECT6 AWAIT
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 x AWAIT_REJECT7 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 x AWAIT_REJECT7 REJECT
;112 entries in table, 0 modified by tredit4 I_RSP 1 1 x AWAIT_REJECT7 REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 REJ_RSP x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x AWAIT_REJECT9 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x AWAIT_REJECT9 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 x AWAIT_REJECT10 REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x AWAIT_REJECT11 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x AWAIT_REJECT11 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x AWAIT_REJECT12 AWAIT_REJECT
;112 entries in table, 0 modified by tredit4 RNR_CMD x 1 x AWAIT_REJECT15 AWAIT_BUSY