Tổng quan nghiên cứu

Kỷ nguyên mạng thông tin di động thế hệ thứ 5 (5G) đặt ra những tiêu chuẩn kỹ thuật vô cùng khắt khe về hiệu năng truyền tải, trong đó độ trễ truyền dữ liệu phải đạt mức dưới 1 mili-giây và độ tin cậy kết nối đạt mức tối thiểu 99,999%. Để đáp ứng các chỉ tiêu này, tổ chức tiêu chuẩn hóa 3GPP đã chính thức lựa chọn mã cực (Polar Code) làm chuẩn mã hóa kênh kiểm soát cho giao diện vô tuyến 5G eMBB. Tuy nhiên, rào cản lớn nhất khi triển khai mã cực trên phần cứng thực tế nằm ở thuật toán giải mã Successive Cancellation (SC) truyền thống: tính chất giải mã tuần tự từng bit tạo ra độ trễ chu kỳ lớn, trong khi kiến trúc bán song song (Semi-Parallel SC) điển hình lại bị thắt nút cổ chai bởi đường trễ tới hạn dài, làm giới hạn tần số hoạt động cực đại (Fmax) ở mức khoảng 173 MHz.

Luận văn thạc sĩ chuyên ngành Kỹ thuật Điện tử với đề tài "Thiết kế phần cứng giải mã cực (Polar Code) cho 5G thực hiện trên FPGA/ASIC" của tác giả Nguyễn Đức Nam, dưới sự hướng dẫn của Tiến sĩ Trần Hoàng Linh tại Trường Đại học Bách khoa – ĐHQG TP.HCM, tập trung giải quyết triệt để bài toán tối ưu hóa thông lượng và giảm độ trễ giải mã. Nghiên cứu đề xuất kiến trúc cải tiến cho bộ giải mã SC độ dài khối 1024 bit, kết hợp kỹ thuật giải mã song song 2 bit ở tầng cuối cùng và tái cấu trúc phần tử xử lý (Processing Element – PE). Công trình được hoàn thành trong giai đoạn từ tháng 9 năm 2023 đến tháng 12 năm 2023 và bảo vệ thành công vào tháng 1 năm 2024. Kết quả thực nghiệm khẳng định thiết kế đã rút ngắn chính xác 512 chu kỳ xung nhịp, đẩy tần số Fmax lên 203 MHz và nâng thông lượng xử lý lên 132 Mbps, vượt hơn 50% so với kiến trúc bán song song tiêu chuẩn.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên nền tảng lý thuyết phân cực kênh (Channel Polarization) do Erdal Arıkan công bố năm 2008. Bằng phép biến đổi ma trận sinh thông qua tích Kronecker bậc n của ma trận cơ sở F cỡ 2x2, N kênh truyền nhị thạch không nhớ đối xứng rời rạc được chuyển hóa thành nhóm các kênh phân cực. Trong đó, K kênh có dung lượng tiệm cận 1 được sử dụng để truyền bit thông tin, trong khi N trừ K kênh suy hao có xác suất lỗi cao được gán giá trị cố định gọi là bit đóng băng (frozen bits).

Quá trình giải mã Successive Cancellation (SC) vận hành trên biểu đồ cánh bướm (butterfly-based decoding graph) thông qua việc lan truyền các giá trị tỷ số log-likelihood (LLR) giữa các tầng. Để thích ứng tối ưu với phần cứng số, thuật toán được chuyển đổi từ miền tỷ số xác suất (LR) sang miền logarit (LLR) với phép xấp xỉ Min-Sum thông qua hai hàm tính toán cốt lõi: hàm f (tính toán dựa trên phép toán dấu XOR và giá trị tuyệt đối nhỏ nhất giữa hai LLR) và hàm g (tính toán cộng trừ phụ thuộc vào bit tổng riêng phần s_hat). Kiến trúc bán song song (Semi-Parallel SC) giới hạn số lượng phần tử xử lý ở mức P phần tử (với P=64 cho khối N=1024), giúp tối ưu hóa hệ số sử dụng tài nguyên phần cứng alpha_SP tăng gấp 8 lần so với kiến trúc đường dây đầy đủ, đồng thời duy trì hệ số tốc độ tương đối sigma_SP đạt trên 90%.

Phương pháp nghiên cứu

Nghiên cứu áp dụng quy trình kiểm chứng đa tầng kết hợp giữa mô phỏng toán học, mô phỏng hành vi phần cứng và đo kiểm thực nghiệm trên vi mạch khả trình FPGA:

  • Nguồn dữ liệu và cỡ mẫu: Cỡ mẫu mô phỏng bao gồm 100.000 khối dữ liệu độc lập. Mỗi khối mang 512 bit thông tin ngẫu nhiên, được mã hóa cực thành từ mã 1024 bit, điều chế khóa dịch pha nhị phân (BPSK) và truyền qua kênh nhiễu Gauss trắng cộng (AWGN) với các mức tỷ số tín hiệu trên nhiễu (Eb/N0) khác nhau.
  • Phương pháp chọn mẫu: Phương pháp lấy mẫu ngẫu nhiên độc lập phân phối đều (Monte Carlo Simulation) được lập trình hoàn toàn trên môi trường MATLAB để xây dựng mô hình đối sánh chuẩn (Golden Model), phản ánh chính xác các đặc trưng thống kê của kênh truyền vô tuyến thực tế.
  • Lý do lựa chọn phương pháp phân tích: Việc kết hợp mô phỏng thuật toán trên MATLAB, mô phỏng chức năng mức RTL trên phần mềm ModelSim và tổng hợp thực tế trên chip Altera Stratix IV thông qua công cụ Intel Quartus Prime 22.0 cho phép đánh giá chính xác độ trễ tới hạn, tài nguyên logic ALUTs, thanh ghi và sai số lượng tử hóa 5-bit. Toàn bộ tính đúng đắn của phần cứng được xác thực trực tiếp trên bo mạch FPGA DE10 thông qua công cụ phân tích logic nhúng Signal Tap.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình tổng hợp và thực nghiệm phần cứng trên vi mạch FPGA Altera Stratix IV đã mang lại các kết quả đột phá về hiệu năng:

  1. Rút ngắn 512 chu kỳ độ trễ giải mã: Bằng việc tích hợp phần tử xử lý đặc biệt PE0 thực hiện giải mã suy đoán song song 2 bit đồng thời tại tầng cuối (stage 0), số chu kỳ xung nhịp cần thiết để giải mã hoàn tất một khối từ mã 1024 bit đã giảm từ 2084 chu kỳ (ở kiến trúc bán song song gốc) xuống còn 1572 chu kỳ, tương đương mức cắt giảm chính xác 24,57% độ trễ xử lý.
  2. Nâng cao tần số hoạt động cực đại Fmax lên 203 MHz: Phân tích đường trễ tới hạn chỉ ra rằng kiến trúc PE truyền thống bị suy giảm tốc độ do bộ chuyển đổi bù 2 và bộ cộng tràn. Thiết kế mới tính toán song song 3 trường hợp độ lớn (|La| - |Lb|, |Lb| - |La|, |La| + |Lb|) rồi sử dụng bộ dồn kênh chọn kết quả, giúp tần số Fmax tăng từ 173 MHz lên 203 MHz tại góc quét nhiệt độ công nghiệp chậm (Slow 900mV 85°C Model), tương ứng mức tăng 17,34%.
  3. Tăng thông lượng giải mã lên 132 Mbps: Thông lượng tổng thể của bộ giải mã đạt 132 Mbps, vượt hơn 55,29% so với mức 85 Mbps của thiết kế bán song song tham chiếu, đáp ứng xuất sắc yêu cầu xử lý luồng dữ liệu thời gian thực trong các khối điều khiển 5G.
  4. Tối ưu hóa hiệu quả sử dụng tài nguyên: Thiết kế triển khai toàn bộ bộ nhớ LLR bằng 10.235 thanh ghi và 50.568 ALUTs thay vì dùng khối RAM nhúng để đạt tốc độ truy xuất song song trong 1 chu kỳ. Phần logic giải mã còn lại chỉ tiêu tốn 5.060 ALUTs và 1.046 thanh ghi, giúp tiết kiệm 645 thanh ghi và chỉ tăng thêm 930 ALUTs so với kiến trúc tiêu chuẩn.

Thảo luận kết quả

Các kết quả thực nghiệm đạt được chứng minh tính đúng đắn của giải pháp thiết kế kiến trúc phần cứng. Trong bảng so sánh tổng hợp tài nguyên vi mạch, mức tăng nhẹ 930 ALUTs hoàn toàn tập trung vào 8 bộ dồn kênh 2 lối vào bổ sung bên trong phần tử PE0 và logic dự đoán nhánh của 64 bộ PE cải tiến. Do toàn bộ khối xử lý PE chỉ chiếm khoảng 5,5% tổng số ALUTs của hệ thống, sự đánh đổi diện tích này mang lại hiệu quả vượt bậc khi giải phóng được nút thắt đường trễ tính toán.

Khi trực quan hóa dữ liệu qua đồ thị phân tích thời gian đa góc (Multicorner Timing Analyzer) tại các mức điện áp 900mV và dải nhiệt độ từ 0°C đến 85°C, hệ thống luôn duy trì trạng thái hoạt động ổn định không phát sinh lỗi vi phạm thời gian thiết lập (setup time) hay thời gian giữ (hold time). Việc kiểm tra 100.000 vector kiểm thử trên ModelSim và kit DE10 cho thấy các trường hợp xuất hiện lỗi lệch bit bắt nguồn thuần túy từ hiện tượng tràn bit khi lượng tử hóa cố định 5-bit trong môi trường kênh truyền có độ ồn cao, hoàn toàn trùng khớp với dự báo lý thuyết.

Đề xuất và khuyến nghị

Nhằm hoàn thiện và mở rộng khả năng ứng dụng thực tiễn của công trình, 4 khuyến nghị then chốt được đề xuất:

  • Tối ưu hóa mạng logic cập nhật tổng riêng phần: Nhóm nghiên cứu vi mạch cần tái cấu trúc khối Partial Sum Update Logic và các thanh ghi ghép kênh thời gian để cắt giảm thêm 15% đường trễ trễ tới hạn còn lại, dự kiến hoàn thành trong lộ trình 6 tháng.
  • Nâng cấp lên kiến trúc giải mã danh sách kết hợp CRC (CRC-Aided SCL): Đội ngũ kỹ thuật nên tích hợp kiến trúc SC cải tiến này vào bộ giải mã danh sách với độ rộng danh sách L=4 hoặc L=8 nhằm nâng cao độ lợi mã hóa (coding gain), bám sát yêu cầu kỹ thuật của các kênh vật lý 3GPP 5G NR PDCCH/PUCCH trong vòng 9 đến 12 tháng tới.
  • Ứng dụng cơ chế lượng tử hóa thích nghi (Adaptive Quantization): Các kỹ sư giải thuật nên nghiên cứu mở rộng độ dài từ dữ liệu nội bộ từ 5-bit lên 6-bit hoặc 7-bit cho các tầng tính toán nhạy cảm, nhằm hạ thấp tỷ lệ lỗi khung (FER) xuống dưới mức 0,0001 tại vùng SNR thấp trong vòng 3 tháng.
  • Triển khai hiện thực hóa trên chip chuyên dụng ASIC: Đơn vị phát triển sản phẩm cần chuyển đổi mã nguồn Verilog từ nền tảng FPGA sang quy trình công nghệ bán dẫn tiêu chuẩn (như TSMC 28nm hoặc 16nm FinFET) để nâng xung nhịp hoạt động vượt ngưỡng 600 MHz và giảm công suất tiêu thụ xuống dưới 50 mW trong vòng 1 năm.

Đối tượng nên tham khảo luận văn

Công trình luận văn mang lại giá trị học thuật và ứng dụng thực tiễn cao cho 4 nhóm đối tượng:

  • Kỹ sư thiết kế vi mạch số (FPGA/ASIC Design Engineers): Tham khảo chi tiết kiến trúc RTL của các phần tử xử lý PE tối ưu, giải pháp điều khiển bộ nhớ LLR không xung đột và kỹ thuật giải mã suy đoán song song 2 bit để áp dụng vào các dự án modem số.
  • Nhà nghiên cứu và chuyên gia công nghệ viễn thông: Khai thác mô hình toán học giải mã Min-Sum, dữ liệu đối sánh hiệu năng BER/FER trên kênh AWGN và phương pháp phân cực kênh ứng dụng trong hệ thống thông tin vô tuyến 5G/6G.
  • Học viên cao học và sinh viên ngành Điện tử - Viễn thông: Sử dụng làm tài liệu học tập mẫu mực về quy trình thiết kế số từ mô phỏng giải thuật trên MATLAB, thiết kế phần cứng bằng Verilog HDL, mô phỏng kiểm tra bằng ModelSim đến hiện thực hóa trên kit phần cứng.
  • Các doanh nghiệp sản xuất thiết bị truyền dẫn vô tuyến: Tiếp cận giải pháp IP Core giải mã mã cực có thông lượng cao, chi phí phần cứng hợp lý để tích hợp vào các trạm gốc mini, thiết bị đầu cuối IoT hoặc bộ xử lý băng tầng cơ sở.

Câu hỏi thường gặp

Vì sao mã cực được lựa chọn làm chuẩn mã hóa kênh kiểm soát trong mạng 5G?
Mã cực là loại mã hóa đầu tiên trong lý thuyết thông tin chứng minh được khả năng đạt tới dung lượng kênh Shannon với độ phức tạp thuật toán thấp. Khi kết hợp với phương pháp kiểm tra bit dư thừa CRC, mã cực mang lại hiệu năng sửa lỗi vượt trội ở các khối dữ liệu ngắn và vừa, đáp ứng chính xác yêu cầu truyền tin điều khiển 5G.

Kỹ thuật nào giúp kiến trúc giải mã trong luận văn tiết kiệm được 512 chu kỳ xung nhịp?
Nghiên cứu tích hợp khối PE0 chuyên dụng tại tầng tính toán cuối cùng (stage 0). Khối này thực hiện giải mã suy đoán đồng thời cả hai bit liên tiếp bằng cách tính trước các nhánh giá trị của hàm g song song với quá trình tính hàm f, giúp hoàn thành giải mã 2 bit trong cùng 1 chu kỳ thay vì 2 chu kỳ riêng biệt.

Việc tính toán song song 3 trường hợp độ lớn của hàm g giải quyết vấn đề gì?
Trong thiết kế gốc, đường trễ tới hạn bị kéo dài do phải chuyển đổi số bù 2 rồi mới đưa qua bộ cộng. Bằng cách tính song song ba giá trị (|La| - |Lb|), (|Lb| - |La|) và (|La| + |Lb|) rồi dùng mạch dồn kênh điều khiển bởi dấu và bit tổng riêng phần, đường nạp chuỗi cộng bị loại bỏ, giúp tần số xung nhịp Fmax tăng vọt lên 203 MHz.

Tại sao tác giả lại sử dụng thanh ghi thay vì các khối RAM nhúng trên FPGA để lưu trữ LLR?
Bộ giải mã bán song song đòi hỏi các phần tử xử lý phải đọc và ghi đồng thời nhiều từ dữ liệu LLR trong duy nhất một chu kỳ xung nhịp. Việc sử dụng thanh ghi kết hợp mạng dồn kênh loại bỏ hoàn toàn hiện tượng nghẽn cổ chai cổng đọc/ghi của RAM khối, bảo đảm tính liên tục của luồng xử lý và nâng cao tần số làm việc.

Hiện tượng sai lệch thông điệp trong một số trường hợp kiểm thử bắt nguồn từ đâu?
Sai số xuất hiện trong một tỷ lệ nhỏ các khối kiểm thử là do việc cố định độ dài biểu diễn dữ liệu ở mức 5-bit lượng tử hóa theo chuẩn tham chiếu. Khi tín hiệu trải qua nhiều tầng tính toán cánh bướm liên tiếp, hiện tượng cắt tỉa bit và tràn số cục bộ đã gây suy giảm độ chính xác của giá trị LLR mềm.

Kết luận

  • Luận văn đã hoàn thành xuất sắc việc thiết kế, mô phỏng và thực thi thành công bộ giải mã mã cực SC bán song song cho từ mã 1024 bit trên vi mạch FPGA Altera Stratix IV và kit DE10.
  • Sáng tạo kiến trúc giải mã song song 2 bit tại tầng cuối giúp cắt giảm chính xác 512 chu kỳ độ trễ (đạt 1572 chu kỳ so với 2084 chu kỳ gốc).
  • Tối ưu hóa thành công phần tử xử lý PE, triệt tiêu đường trễ tới hạn phức tạp và nâng tần số hoạt động cực đại Fmax lên mức 203 MHz.
  • Đạt thông lượng xử lý ấn tượng 132 Mbps, tăng hơn 50% hiệu năng so với kiến trúc bán song song chuẩn mà vẫn duy trì mức tiêu tốn tài nguyên tối ưu.
  • Kế hoạch phát triển tiếp theo tập trung vào việc tích hợp giải thuật giải mã danh sách SCL có hỗ trợ CRC và hiện thực hóa thiết kế trên chip chuyên dụng ASIC.

Quý độc giả, kỹ sư vi mạch và nhà nghiên cứu quan tâm có thể khai thác toàn bộ cấu trúc kiến trúc, phương pháp luận và các thông số thực nghiệm chi tiết trong toàn văn luận văn thạc sĩ tại Thư viện Trường Đại học Bách khoa – ĐHQG TP.HCM để ứng dụng vào các nghiên cứu và dự án phát triển phần cứng viễn thông tiên tiến.