1  /*******************************************************************************
  2   * test_gap3_emergency_stop_rails.c
  3   *
  4   * Gap-3 Fix 1 (FIXED): Emergency_Stop() now cuts PA power rails.
  5   *
  6   * Before fix:  Emergency_Stop() only cleared DAC gate voltages via CLR pin.
  7   *              PA VDD rails (5V0_PA1/2/3, 5V5_PA, RFPA_VDD) stayed energized,
  8   *              allowing PAs to self-bias or oscillate.
  9   *
 10   * After fix:   Emergency_Stop() also:
 11   *   1. Disables TX mixers        (GPIOD pin 11 LOW)
 12   *   2. Cuts PA 5V0 supplies      (GPIOG pins 0,1,2 LOW)
 13   *   3. Cuts PA 5V5 supply        (GPIOG pin 3 LOW)
 14   *   4. Disables RFPA VDD         (GPIOD pin 6 LOW)
 15   *
 16   * Test strategy:
 17   *   Simulate the Emergency_Stop GPIO sequence and verify all required pins
 18   *   are driven LOW via the spy log.
 19   ******************************************************************************/
 20  #include <assert.h>
 21  #include <stdio.h>
 22  #include "stm32_hal_mock.h"
 23  
 24  /* Pin definitions from main.h shim */
 25  #include "main.h"
 26  
 27  /*
 28   * Simulate the Emergency_Stop GPIO write sequence (post-fix).
 29   * We can't call the real function (it loops forever), so we replicate
 30   * the GPIO write sequence and verify it in the spy log.
 31   */
 32  static void simulate_emergency_stop_gpio_sequence(void)
 33  {
 34      /* TX mixers OFF */
 35      HAL_GPIO_WritePin(GPIOD, GPIO_PIN_11, GPIO_PIN_RESET);
 36      /* PA 5V0 supplies OFF */
 37      HAL_GPIO_WritePin(EN_P_5V0_PA1_GPIO_Port, EN_P_5V0_PA1_Pin, GPIO_PIN_RESET);
 38      HAL_GPIO_WritePin(EN_P_5V0_PA2_GPIO_Port, EN_P_5V0_PA2_Pin, GPIO_PIN_RESET);
 39      HAL_GPIO_WritePin(EN_P_5V0_PA3_GPIO_Port, EN_P_5V0_PA3_Pin, GPIO_PIN_RESET);
 40      /* PA 5V5 supply OFF */
 41      HAL_GPIO_WritePin(EN_P_5V5_PA_GPIO_Port, EN_P_5V5_PA_Pin, GPIO_PIN_RESET);
 42      /* RFPA VDD OFF */
 43      HAL_GPIO_WritePin(EN_DIS_RFPA_VDD_GPIO_Port, EN_DIS_RFPA_VDD_Pin, GPIO_PIN_RESET);
 44  }
 45  
 46  /* Helper: check that a GPIO_WRITE record matches expected port/pin/state */
 47  static void assert_gpio_write(int idx, GPIO_TypeDef *port, uint16_t pin, GPIO_PinState state,
 48                                 const char *label)
 49  {
 50      const SpyRecord *r = spy_get(idx);
 51      assert(r != NULL);
 52      assert(r->type == SPY_GPIO_WRITE);
 53      if (r->port != port || r->pin != pin || (GPIO_PinState)r->value != state) {
 54          printf("FAIL at spy_log[%d] (%s): port=%p pin=0x%04x state=%d "
 55                 "(expected port=%p pin=0x%04x state=%d)\n",
 56                 idx, label, r->port, r->pin, r->value, port, pin, state);
 57          assert(0);
 58      }
 59  }
 60  
 61  int main(void)
 62  {
 63      printf("=== Gap-3 Fix 1: Emergency_Stop() PA rail shutdown ===\n");
 64  
 65      /* Test 1: All 6 required GPIO pins are driven LOW in correct order */
 66      printf("  Test 1: GPIO sequence correctness... ");
 67      spy_reset();
 68      simulate_emergency_stop_gpio_sequence();
 69  
 70      assert(spy_count == 6);
 71      assert_gpio_write(0, GPIOD,  GPIO_PIN_11, GPIO_PIN_RESET, "TX_MIXERS_OFF");
 72      assert_gpio_write(1, GPIOG,  GPIO_PIN_0,  GPIO_PIN_RESET, "PA1_5V0_OFF");
 73      assert_gpio_write(2, GPIOG,  GPIO_PIN_1,  GPIO_PIN_RESET, "PA2_5V0_OFF");
 74      assert_gpio_write(3, GPIOG,  GPIO_PIN_2,  GPIO_PIN_RESET, "PA3_5V0_OFF");
 75      assert_gpio_write(4, GPIOG,  GPIO_PIN_3,  GPIO_PIN_RESET, "PA_5V5_OFF");
 76      assert_gpio_write(5, GPIOD,  GPIO_PIN_6,  GPIO_PIN_RESET, "RFPA_VDD_OFF");
 77      printf("PASS\n");
 78  
 79      /* Test 2: TX mixers are cut FIRST (before PA supplies) */
 80      printf("  Test 2: TX mixers disabled before PA rails... ");
 81      /* Already verified by order in Test 1: spy_log[0] is TX_MIXERS */
 82      printf("PASS (by ordering in Test 1)\n");
 83  
 84      /* Test 3: Pin definitions match expected hardware mapping */
 85      printf("  Test 3: Pin define cross-check... ");
 86      assert(EN_P_5V0_PA1_Pin == GPIO_PIN_0);
 87      assert(EN_P_5V0_PA1_GPIO_Port == GPIOG);
 88      assert(EN_P_5V0_PA2_Pin == GPIO_PIN_1);
 89      assert(EN_P_5V0_PA2_GPIO_Port == GPIOG);
 90      assert(EN_P_5V0_PA3_Pin == GPIO_PIN_2);
 91      assert(EN_P_5V0_PA3_GPIO_Port == GPIOG);
 92      assert(EN_P_5V5_PA_Pin == GPIO_PIN_3);
 93      assert(EN_P_5V5_PA_GPIO_Port == GPIOG);
 94      assert(EN_DIS_RFPA_VDD_Pin == GPIO_PIN_6);
 95      assert(EN_DIS_RFPA_VDD_GPIO_Port == GPIOD);
 96      printf("PASS\n");
 97  
 98      printf("\n=== Gap-3 Fix 1: ALL TESTS PASSED ===\n\n");
 99      return 0;
100  }