[Cryptech-Commits] [sw/stm32] 09/12: update FMC test for alpha

[git at cryptech.is]

This is an automated email from the git hooks/post-receive script.

fredrik at thulin.net pushed a commit to branch ft-alpha_board_bringup
in repository sw/stm32.

commit 34e2db12555852bbc062ed11073bf35330f3bf9f
Author: Fredrik Thulin <fredrik at thulin.net>
AuthorDate: Fri May 13 14:36:41 2016 +0200

    update FMC test for alpha
---
 projects/board-test/fmc-test.c | 32 +++++++++++++++++++++++++++-----
 stm-fmc.c                      |  4 ++--
 2 files changed, 29 insertions(+), 7 deletions(-)

diff --git a/projects/board-test/fmc-test.c b/projects/board-test/fmc-test.c
index a6efbef..98e950f 100644
--- a/projects/board-test/fmc-test.c
+++ b/projects/board-test/fmc-test.c
@@ -90,7 +90,7 @@ int main(void)
 
   // Blink blue LED for six seconds to not upset the Novena at boot.
   led_on(LED_BLUE);
-  for (i = 0; i < 12; i++) {
+  for (i = 0; i < 4; i++) {
     HAL_Delay(500);
     led_toggle(LED_BLUE);
   }
@@ -130,7 +130,7 @@ int main(void)
 	led_toggle(LED_YELLOW);
 
 	successful_runs++;
-	sleep = 100;
+	sleep = 0;
       } else {
 	led_on(LED_RED);
 	failed_runs++;
@@ -192,6 +192,16 @@ int test_fpga_data_bus(void)
 	}
     }
 
+  data_diff = buf;
+  data_diff ^= rnd;
+
+  uart_send_string("Sample of data bus test data: expected ");
+  uart_send_binary(rnd, 32);
+  uart_send_string(", got ");
+  uart_send_binary(buf, 32);
+  uart_send_string(", diff ");
+  uart_send_binary(data_diff, 32);
+  uart_send_string("\r\n");
   // return number of successful tests
   return c;
 }
@@ -213,9 +223,10 @@ int test_fpga_address_bus(void)
       hal_result = HAL_RNG_GenerateRandomNumber(&rng_inst, &rnd);
       if (hal_result != HAL_OK) break;
 
-      // we only have 2^22 32-bit words
-      //rnd &= 0x00FFFFFC;
-      rnd &= 0x0007FFFC;
+      // there are 26 physicaly connected address lines on the alpha,
+      // but "only" 24 usable for now (the top two ones are used by FMC
+      // to choose bank, and we only have one bank set up currently)
+      rnd &= 0x3fffffc;
 
       // don't test zero addresses (fpga will store data, not address)
       if (rnd == 0) continue;
@@ -250,6 +261,17 @@ int test_fpga_address_bus(void)
 	}
     }
 
+  addr_diff = buf;
+  addr_diff ^= rnd;
+
+  uart_send_string("Sample of addr bus test data: expected ");
+  uart_send_binary(rnd, 32);
+  uart_send_string(", got ");
+  uart_send_binary(buf, 32);
+  uart_send_string(", diff ");
+  uart_send_binary(addr_diff, 32);
+  uart_send_string("\r\n");
+
   return c;
 }
 
diff --git a/stm-fmc.c b/stm-fmc.c
index 3b36cbf..eca4b38 100644
--- a/stm-fmc.c
+++ b/stm-fmc.c
@@ -44,7 +44,7 @@
 // Defined Values
 //------------------------------------------------------------------------------
 #define FMC_FPGA_BASE_ADDR              0x60000000
-#define FMC_FPGA_ADDR_MASK              0x00FFFFFC
+#define FMC_FPGA_ADDR_MASK              0x03FFFFFC  // there are 26 physical lines, but "only" 24 usable for now
 #define FMC_FPGA_NWAIT_MAX_POLL_TICKS   10
 
 #define FMC_GPIO_PORT_NWAIT             GPIOD
@@ -213,7 +213,7 @@ static void _fmc_init_gpio(void)
   HAL_GPIO_Init(GPIOD, &GPIO_InitStruct);
 
   // Port E
-  GPIO_InitStruct.Pin = GPIO_PIN_3|GPIO_PIN_4|GPIO_PIN_5|GPIO_PIN_7
+  GPIO_InitStruct.Pin = GPIO_PIN_2|GPIO_PIN_3|GPIO_PIN_4|GPIO_PIN_5|GPIO_PIN_6|GPIO_PIN_7
     |GPIO_PIN_8|GPIO_PIN_9|GPIO_PIN_10|GPIO_PIN_11
     |GPIO_PIN_12|GPIO_PIN_13|GPIO_PIN_14|GPIO_PIN_15;
   GPIO_InitStruct.Mode = GPIO_MODE_AF_PP;