From 3b21b214fb55a2651401794bc2a32b967475fa37 Mon Sep 17 00:00:00 2001 From: Glenn Dwiyatcita Date: Sat, 10 Mar 2018 23:39:54 +0100 Subject: [PATCH] Proof KEYRUPT_UPRUPT (#222) (#315) --- Comanche055/KEYRUPT_UPRUPT.agc | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/Comanche055/KEYRUPT_UPRUPT.agc b/Comanche055/KEYRUPT_UPRUPT.agc index 858eca2..32a6a5e 100644 --- a/Comanche055/KEYRUPT_UPRUPT.agc +++ b/Comanche055/KEYRUPT_UPRUPT.agc @@ -56,7 +56,7 @@ ACCEPTUP CAF CHRPRIO # (NOTE: RUPTREG4 = KEYTEMP1) CA RUPTREG4 INDEX LOCCTR - TS MPAC # LEAVE 5 BIT KEY CODE IN MPAC FOR CHARIN + TS MPAC # LEAVE 5 BIT KEY CDE IN MPAC FOR CHARIN TC RESUME # Page 1450 @@ -88,12 +88,12 @@ UPRPT1 CAF LOW5 # TEST FOR TRIPLE CHAR REDUNDANCY COM TC UPTEST -UPOK CS ELRCODE # CODE IS GOOD. IF CODE = `ERROR RESET', - AD KEYTEMP1 # CLEAR UPLOCKFL (SET BIT4 OF FLAGWRD7 = 0) - EXTEND # IF CODE DOES NOT = `ERROR RESET', ACCEPT +UPOK CS ELRCODE # CODE IS GOOD. IF CODE = 'ERROR RESET', + AD KEYTEMP1 # CLEAR UPLOCKFL(SET BIT4 OF FLAGWRD7 = 0) + EXTEND # IF CODE DOES NOT = 'ERROR RESET', ACCEPT BZF CLUPLOCK # CODE ONLY IF UPLOCKFL IS CLEAR (=0). - CAF BIT4 # TEST UPLOCKFL FOR 0 OR 1 + CAF BIT4 # TEST UPLOCKFL FOR 0 OR 1. MASK FLAGWRD7 CCS A TC RESUME # UPLOCKFL = 1 @@ -107,7 +107,7 @@ CLUPLOCK CS BIT4 # CLEAR UPLOCKFL (I.E., SET BIT 4 OF # CODE IS BAD TMFAIL2 CS FLAGWRD7 # LOCK OUT FURTHER UPLINK ACTIVITY MASK BIT4 # (BY SETTING UPLOCKFL = 1) UNTIL - ADS FLAGWRD7 # `ERROR RESET' IS SENT VIA UPLINK. + ADS FLAGWRD7 # 'ERROR RESET' IS SENT VIA UPLINK. TC RESUME UPTEST AD KEYTEMP1 # Page 1451 @@ -119,18 +119,18 @@ HI10 OCT 77740 ELRCODE OCT 22 -# `UPLINK ACTIVITY LIGHT' IS TURNED OFF BY ..... +# 'UPLINK ACTIVITY LIGHT' IS TURNED OFF BY ..... # 1. VBRELDSP # 2. ERROR RESET -# 3. UPDATE PROGRAM (P27) ENTERED BY V70,V71,V72, AND V73. +# 3. UPDATE PROGRAM(P27) ENTERED BY V70,V71,V72,AND V73. # -# THE RECEPTION OF A BAD CODE (I.E., CCC FAILURE) LOCKS OUT FURTHER UPLINK ACTIVITY BY SETTING BIT4 OF FLAGWRD7 = 1. +# +# - +# THE RECEPTION OF A BAD CODE(I.E. CCC FAILURE) LOCKS OUT FURTHER UPLINK ACTIVITY BY SETTING BIT4 OF FLAGWRD7 = 1. # THIS INDICATION WILL BE TRANSFERRED TO THE GROUND BY THE DOWNLINK WHICH DOWNLINKS ALL FLAGWORDS. -# WHEN UPLINK ACTIVITY IS LOCKED OUT, IT CAN BE ALLOWED WHEN THE GROUND UPLINKS AND `ERROR RESET' CODE. -# (IT IS RECOMMENDED THAT THE `ERROR LIGHT RESET' CODE IS PRECEEDED BY 16 BITS THE FIRST OF WHICH IS 1 FOLLOWED -# BY 15 ZEROS. THIS WILL ELIMINATE EXTRANEOUS BITS FROM INLINK WHICH MAY HAVE BEEN LEFT OVER FROM THE ORIGINAL +# WHEN UPLINK ACTIVITY IS LOCKED OUT ,IT CAN BE ALLOWED WHEN THE GROUND UPLINKS AND 'ERROR RESET' CODE. +# (IT IS RECOMMENDED THAT THE 'ERROR LIGHT RESET' CODE IS PRECEEDED BY 16 BITS THE FIRST OF WHICH IS 1 FOLLOWED +# BY 15 ZEROS. THIS WILL ELIMINATE EXTRANEOUS BITS FROM INLINK WHICH MAY HAVE BEEN LEFT OVER FROM THE ORIGINAL # FAILURE). -# -# UPLINK ACTIVITY IS ALSO ALLOWED (UNLOCKED) DURING FRESH START WHEN FRESH START SETS BIT4 OF FLAGWRD7 = 0. - +# UPLINK ACTIVITY IS ALSO ALLOWED(UNLOCKED) DURING FRESH START WHEN FRESH START SETS BIT4 OF FLAGWRD7 = 0.