From 91c2a8d8f9865fda6fbe998ad5909dee1515b70b Mon Sep 17 00:00:00 2001 From: Chyanne Haugen <42098386+crhaugen@users.noreply.github.com> Date: Tue, 20 Oct 2020 08:26:58 -0700 Subject: [PATCH] Proof KEYRUPT_UPRUPT #600 (#737) Co-authored-by: James Harris --- Luminary099/KEYRUPT_UPRUPT.agc | 38 ++++++++++++++++------------------ 1 file changed, 18 insertions(+), 20 deletions(-) diff --git a/Luminary099/KEYRUPT_UPRUPT.agc b/Luminary099/KEYRUPT_UPRUPT.agc index c971b5b..ac8d035 100644 --- a/Luminary099/KEYRUPT_UPRUPT.agc +++ b/Luminary099/KEYRUPT_UPRUPT.agc @@ -51,7 +51,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 1339 @@ -83,9 +83,9 @@ UPRPT1 CAF LOW5 # TEST FOR TRIPLE CHAR REDUNDANCY COM TC UPTEST -UPCK 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 +UPCK 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 UPLOCBIT # TEST UPLOCKFL FOR 0 OR 1 @@ -94,7 +94,7 @@ UPCK CS ELRCODE # CODE IS GOOD. IF CODE = `ERROR RESET', TC RESUME # UPLOCKFL = 1 TC ACCEPTUP # UPLOCKFL = 0 -CLUPLOCK CS UPLOCBIT # CLEAR UPLOCKFL (I.E., SET BIT 4 OF +CLUPLOCK CS UPLOCBIT # CLEAR UPLOCKFL (I.E.,SET BIT 4 OF ) MASK FLAGWRD7 # FLAGWRD7 = 0) TS FLAGWRD7 TC ACCEPTUP @@ -102,7 +102,7 @@ CLUPLOCK CS UPLOCBIT # CLEAR UPLOCKFL (I.E., SET BIT 4 OF # CODE IS BAD TMFAIL2 CS FLAGWRD7 # LOCK OUT FURTHER UPLINK ACTIVITY MASK UPLOCBIT # (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 1340 @@ -114,19 +114,17 @@ HI10 OCT 77740 ELRCODE OCT 22 -# `UPLINK ACTIVITY LIGHT' IS TURNED OFF BY ..... -# 1. VBRELDSP -# 2. ERROR RESET -# 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. -# 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 -# FAILURE). +# 'UPLINK ACTIVITY LIGHT' IS TURNED OFF BY ..... +# 1. VBRELDSP +# 2. ERROR RESET +# 3. UPDATE PROGRAM(P27) ENTERED BY V70,V71,V72,AND V73. # -# UPLINK ACTIVITY IS ALSO ALLOWED (UNLOCKED) DURING FRESH START WHEN FRESH START SETS BIT4 OF FLAGWRD7 = 0. - +# _ +# 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 ZEROES. 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. CS XDSPBIT -