Add CRC32 self-test debug output

sdk/software/examples/asm/user-sample.c

@@ -172,6 +172,17 @@ int main(void)
     /* ── Start marker (must be first output) ──────────────────── */
     printf("MATMUL_START\n");
 
+    /* ── CRC32 self-test ──────────────────────────────────────── */
+    {
+        const char *test = "123456789";
+        uint32_t tcrc = 0xFFFFFFFF;
+        for (int ti = 0; test[ti]; ti++)
+            tcrc = crc32_table[(tcrc ^ test[ti]) & 0xFF] ^ (tcrc >> 8);
+        tcrc ^= 0xFFFFFFFF;
+        printf("DBG CRC32(\"123456789\")=0x%08lx (expect 0xcbf43926)\n",
+               (unsigned long)tcrc);
+    }
+
     /* ── Process all groups ───────────────────────────────────── */
     for (g = 0; g < MATMUL_GROUP_NUM; g++) {
         for (i = 0; i < 16; i++) {