Tổng quan nghiên cứu

Sự bùng nổ của công nghệ tích hợp vi mạch quy mô rất lớn (VLSI) đã tạo điều kiện tích hợp hàng triệu đến hàng tỷ transistor trên một chip đơn (System on Chip - SoC), mở ra kỷ nguyên mới cho các bộ xử lý trí tuệ nhân tạo chuyên dụng. Trong các tiến trình bán dẫn hiện đại từ 180nm đến 65nm, nhu cầu hiện thực hóa các mô hình toán học phức tạp lên kiến trúc phần cứng ngày càng trở nên cấp thiết. Mạng thần kinh nhân tạo (Artificial Neural Network - ANN) hiện diện sâu rộng trong nhiều lĩnh vực trọng yếu như xử lý tín hiệu radar quân sự, nén âm thanh viễn thông, điều khiển phi thuyền không gian và chẩn đoán y học. Tuy nhiên, phần lớn các thuật toán huấn luyện mạng neural truyền thẳng như giải thuật lan truyền ngược (Backpropagation) trước đây chủ yếu được thực thi bằng phần mềm tuần tự trên các ngôn ngữ bậc cao như Matlab hoặc C++. Hướng tiếp cận này gặp phải giới hạn nghiêm trọng về thông lượng tính toán và chưa thể khai thác được bản chất xử lý song song tự nhiên của các nơ-ron sinh học.

Đề tài tập trung vào mục tiêu thiết kế hoàn chỉnh và tối ưu hóa cấu trúc vi mạch cho giải thuật huấn luyện lan truyền ngược Backpropagation của mạng neural truyền thẳng bằng ngôn ngữ mô tả phần cứng Verilog HDL theo chuẩn IEEE. Phạm vi nghiên cứu bao gồm việc mô hình hóa toán học, xây dựng các khối tính toán số thực dấu chấm động 32-bit (32-bit Floating-Point), mô phỏng chức năng trên công cụ ModelSim, tổng hợp mạch trên phần mềm Quartus II và kiểm chứng thực nghiệm trực tiếp trên kit phần cứng Altera DE2 sử dụng chip FPGA Cyclone II. Nghiên cứu đạt ý nghĩa khoa học và thực tiễn cao khi giúp hệ thống phần cứng vận hành đồng bộ tại tần số xung nhịp 50 MHz, mang lại khả năng xử lý song song với độ trễ phản hồi tính theo chu kỳ nano giây (20 ns cho mỗi chu kỳ clock), đồng thời tạo tiền đề vững chắc cho việc phát triển các bộ tăng tốc phần cứng trí tuệ nhân tạo dạng IP Core tùy biến linh hoạt trong tương lai.

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 của hai lý thuyết cốt lõi trong kỹ thuật tính toán thông minh và thiết kế vi mạch số:

Thứ nhất là lý thuyết mạng thần kinh nhân tạo truyền thẳng nhiều lớp (Multilayer Feedforward Neural Network - MLP) kết hợp giải thuật huấn luyện học có giám sát lan truyền ngược Backpropagation do Rumelhart, Hinton và Williams đề xuất. Mô hình toán học bao gồm các lớp nơ-ron liên kết qua ma trận trọng số (Synaptic Weights) và độ lệch phân cực (Bias). Thuật toán tối ưu hóa dựa trên nguyên lý hạ độ dốc (Gradient Descent) để cực tiểu hóa hàm mục tiêu sai số trung bình bình phương (Mean Squared Error - MSE), trong đó sai số ở lớp ngõ ra được tính toán và lan truyền ngược về các lớp ẩn nhằm cập nhật bộ trọng số qua từng chu kỳ huấn luyện.

Thứ hai là lý thuyết thiết kế hệ thống số mức truyền thanh ghi (Register-Transfer Level - RTL) bằng ngôn ngữ mô tả phần cứng Verilog HDL chuẩn hóa. Kiến trúc phần cứng tích hợp 4 khái niệm kỹ thuật nền tảng:

  • Nơ-ron nhân tạo hoàn chỉnh gồm bộ nhân ma trận, bộ cộng dồn tổ hợp tuyến tính và khối hàm kích hoạt phi tuyến (Log-sigmoid hoặc Tangent-sigmoid) được xấp xỉ hóa để tính toán trên phần cứng.
  • Định dạng dữ liệu số thực dấu chấm động 32-bit theo chuẩn IEEE 754 gồm 1 bit dấu, 8 bit phần mũ và 23 bit định trị.
  • Cấu trúc đường truyền dữ liệu (Datapath) và khối điều khiển định thời nghiêm ngặt theo các cạnh xung nhịp Clock 50 MHz.
  • Khối tính toán hàm sai số delta và khối thanh ghi lưu trữ, cập nhật trọng số tự động (Weight-register).

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

Nguồn dữ liệu thực nghiệm sử dụng tập mẫu huấn luyện gồm 1024 vectơ dữ liệu số thực dấu chấm động 32-bit, mô tả đầy đủ các tổ hợp ngõ vào và ngõ ra mong muốn. Phương pháp chọn mẫu phân tầng có chủ đích (Purposive Stratified Sampling) được áp dụng để bao phủ toàn diện các giá trị đầu vào thông thường cũng như các giá trị biên tại vùng bão hòa của hàm kích hoạt, giúp kiểm thử toàn diện khả năng thích nghi và tính ổn định của mạch số.

Phương pháp phân tích và thiết kế hệ thống tuân thủ quy trình thiết kế vi mạch từ trên xuống (Top-down Design). Toàn bộ giải thuật toán học trước hết được khảo sát và mô phỏng kiểm chứng trên phần mềm Matlab để trích xuất ma trận trọng số và giá trị sai số chuẩn. Tiếp theo, hệ thống được phân rã thành các mô-đun RTL độc lập trên Verilog HDL, bao gồm khối nhân dấu chấm động, khối lan truyền thuận (Pre-Backpropagation), khối lan truyền ngược sai số (Backpropagation) và khối cập nhật trọng số. Lý do lựa chọn phương pháp thiết kế phân cấp mô-đun kết hợp phân tích thời gian kinh điển (Classic Timing Analyzer) là nhằm đảm bảo loại bỏ hoàn toàn các xung đột chạy đua tín hiệu (Race Conditions), kiểm soát chặt chẽ độ trễ truyền lan qua các cổng logic và tối ưu hóa diện tích tài nguyên trên chip bán dẫn. Timeline nghiên cứu được triển khai tuần tự qua 4 giai đoạn mô phỏng chức năng trên ModelSim, tổng hợp logic trên Quartus II, nạp cấu hình và đo kiểm tín hiệu thực tế trên kit DE2 trong vòng 6 tháng.

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

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

Nghiên cứu đã đạt được 4 kết quả thực nghiệm quan trọng chứng minh tính khả thi của việc phần cứng hóa giải thuật học máy:

Thứ nhất, hệ thống vi mạch hoàn chỉnh được thiết kế và đóng gói thành công thành các khối chức năng độc lập, cho phép ghép nối và mở rộng quy mô mạng neural theo cấu trúc mô-đun. Các mô-đun tính toán lan truyền thuận, mô-đun tính hàm lỗi delta và mô-đun cập nhật 6 bộ trọng số liên kết hoạt động hoàn toàn chính xác theo đúng sơ đồ luồng dữ liệu thiết kế.

Thứ hai, định dạng số thực dấu chấm động 32-bit được xử lý với độ chính xác cao. Kết quả phân tích sai số giữa mô phỏng phần cứng trên ModelSim và mô phỏng toán học trên phần mềm Matlab cho thấy mức độ sai lệch tính toán luôn được khống chế dưới 0.05%. Giá trị dữ liệu dấu chấm động được kiểm chứng trực quan trên phần cứng thông qua hệ thống đèn LED của kit Altera DE2, trong đó dãy LedR hiển thị chính xác bit dấu và 23 bit trị số, còn dãy LedG hiển thị 8 bit số mũ nhị phân.

Thứ ba, hệ thống phần cứng đáp ứng hoàn hảo về mặt định thời với nguồn xung nhịp đồng bộ 50 MHz. Hai công tắc chuyển mạch vật lý SW1 (chân Reset) và SW2 (chân Start) tích cực mức cao điều khiển quá trình khởi tạo và huấn luyện mạng một cách mượt mà. Khi SW1 tích cực, hệ thống thiết lập trạng thái khởi tạo với hàm lỗi Error đạt mức định mức ban đầu; khi SW2 kích hoạt, quá trình lan truyền thuận và lan truyền ngược diễn ra liên tục, đưa giá trị hàm lỗi giảm dần về ngưỡng hội tụ với tốc độ xử lý nhanh gấp 20 đến 50 lần so với việc thực thi tuần tự trên bộ vi xử lý máy tính.

Thứ tư, kiến trúc vi mạch thể hiện khả năng tiết kiệm tài nguyên logic vượt trội trên chip FPGA Altera Cyclone II. Nhờ việc tái sử dụng linh hoạt các bộ nhân và bộ cộng dấu chấm động trong khối Pre-Backpropagation và Weight-register, diện tích chiếm dụng phần tử logic (Logic Elements) trên chip giảm khoảng 28% so với phương pháp thiết kế dàn trải thông thường.

Thảo luận kết quả

Nguyên nhân cốt lõi giúp thiết kế đạt hiệu năng vượt trội là việc khai thác triệt để tính chất xử lý song song của phần cứng FPGA. Trong khi các chương trình phần mềm trên CPU phải thực hiện phép nhân ma trận trọng số và tính đạo hàm hàm kích hoạt theo từng vòng lặp tuần tự, cấu trúc vi mạch Verilog cho phép tất cả các nơ-ron trong cùng một lớp thực thi phép toán đồng thời trong một chu kỳ xung nhịp 20 ns. Khi so sánh với các công trình nghiên cứu vi mạch trên thế giới áp dụng cho bài toán nhận dạng tiếng nói NETtalk hay hệ thống lái xe tự động ALVINN, kiến trúc đề xuất nổi bật nhờ tính linh hoạt cao, cho phép người dùng dễ dàng cấu hình lại số lượng nơ-ron trên mỗi lớp và số lớp ẩn mà không cần thay đổi cấu trúc của các mô-đun lõi.

Dữ liệu kết quả nghiên cứu được biểu diễn trực quan thông qua giản đồ sóng mô phỏng thời gian thực trên ModelSim và bảng tổng hợp tài nguyên vi mạch trên Quartus II. Biểu đồ sóng cho thấy quá trình suy giảm liên tục của hàm lỗi Error từ trạng thái khởi động ban đầu (Start) đến khi đạt giá trị hội tụ ổn định. Đồng thời, bảng thông số định thời xác nhận rằng đường truyền trễ dài nhất (Critical Path) hoàn toàn đáp ứng yêu cầu tần số 50 MHz, chứng minh tính ổn định tuyệt đối của mạch số khi chuyển đổi sang quy trình chế tạo vi mạch tích hợp chuyên dụng (ASIC) trên các tiến trình 180nm và 65nm.

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

Dựa trên các kết quả đạt được, nghiên cứu đưa ra 4 giải pháp hành động cụ thể nhằm nâng cao hiệu năng và mở rộng phạm vi ứng dụng của kiến trúc vi mạch:

Thứ nhất, chuyển đổi thiết kế từ nền tảng FPGA sang vi mạch chuyên dụng ASIC trên tiến trình công nghệ 65nm và 180nm. Giải pháp này giúp cắt giảm diện tích chiếm dụng của chip xuống khoảng 35% và giảm mức tiêu thụ điện năng trên 40%, hướng tới mục tiêu tích hợp vào các thiết bị nhúng và hệ sinh thái vi mạch thương mại. Lộ trình thực hiện dự kiến trong vòng 12 tháng do nhóm kỹ sư thiết kế phần cứng phối hợp với các trung tâm ươm tạo vi mạch bán dẫn triển khai.

Thứ hai, nâng cấp và tích hợp các bộ nhân dồn dấu chấm động (Multiply-Accumulate - MAC) chuẩn kép 64-bit nhằm nâng cao độ chính xác huấn luyện cho các bài toán phân loại đa lớp phức tạp, khống chế sai số tuyệt đối dưới mức 0.001%. Timeline thực hiện trong thời hạn 6 tháng do các nhà nghiên cứu kiến trúc máy tính đảm nhiệm.

Thứ ba, chuẩn hóa và đóng gói toàn bộ mô-đun mạng neural thành các khối tài sản trí tuệ (IP Core) độc lập, tương thích hoàn toàn với các chuẩn giao tiếp bus hệ thống công nghiệp như AMBA AXI. Mục tiêu hành động nhằm rút ngắn thời gian tích hợp hệ thống SoC mới khoảng 50% trong vòng 9 tháng bởi các viện nghiên cứu và doanh nghiệp phát triển công nghệ cao.

Thứ tư, áp dụng trực tiếp mô hình thiết kế Verilog HDL và bài thực nghiệm trên kit Altera DE2 vào chương trình giảng dạy chuyên ngành Kỹ thuật Điện tử - Viễn thông tại các trường đại học kỹ thuật trong học kỳ tiếp theo, nhằm cung cấp tài liệu đào tạo thực tiễn chuyên sâu cho sinh viên và học viên cao học.

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

Nội dung luận văn mang lại giá trị học thuật và ứng dụng thực tiễn sâu sắc cho 4 nhóm đối tượng chính:

Nhóm thứ nhất là các kỹ sư thiết kế vi mạch số và kỹ sư phần cứng FPGA (RTL/Hardware Design Engineers). Tài liệu cung cấp toàn bộ quy trình thiết kế chuẩn, kiến trúc mô-đun hóa, phương pháp tối ưu đường truyền dữ liệu số thực dấu chấm động 32-bit và giải pháp điều khiển định thời đồng bộ ở tần số 50 MHz, phục vụ trực tiếp cho việc phát triển các bộ gia tốc trí tuệ nhân tạo (AI Accelerators).

Nhóm thứ hai là học viên cao học, nghiên cứu sinh và các nhà khoa học trong lĩnh vực Điện tử, Viễn thông và Khoa học Máy tính. Luận văn là tài liệu tham khảo chất lượng về kỹ thuật ánh xạ (Hardware Mapping) các giải thuật học sâu phi tuyến phức tạp từ phần mềm sang phần cứng với độ chính xác cao.

Nhóm thứ ba là giảng viên tại các trường đại học chuyên ngành kỹ thuật. Tài liệu có thể được sử dụng làm giáo trình giảng dạy chuyên đề thiết kế hệ thống trên chip (SoC), hướng dẫn sinh viên thực hành trên công cụ Quartus II, ModelSim và bo mạch Altera Cyclone II DE2.

Nhóm thứ tư là các doanh nghiệp công nghệ phát triển thiết bị biên (Edge AI) và giải pháp IoT thông minh. Công trình cung cấp mô hình tham chiếu để hiện thực hóa các mạch xử lý nhận dạng giọng nói, lọc nhiễu tín hiệu thích nghi và phân loại dữ liệu cảm biến thời gian thực với độ trễ thấp dưới 1 micro giây.

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

Tại sao cần hiện thực hóa giải thuật Backpropagation trên phần cứng FPGA thay vì chạy phần mềm trên CPU? Việc triển khai trên FPGA khai thác tối đa tính toán song song ở cấp phần cứng, cho phép hàng loạt nơ-ron cùng thực hiện phép tính trong một chu kỳ xung nhịp 20 ns. Điều này giúp tăng thông lượng xử lý gấp hàng chục lần so với cơ chế thực thi tuần tự trên CPU, đồng thời giảm đáng kể điện năng tiêu thụ cho toàn hệ thống.

Chuẩn dữ liệu nào được sử dụng trong thiết kế để đảm bảo tính chính xác cho các phép toán? Hệ thống sử dụng chuẩn số thực dấu chấm động 32-bit (32-bit Floating-Point) tương thích IEEE 754, bao gồm 1 bit dấu, 8 bit phần mũ và 23 bit trị số. Chuẩn này đảm bảo dải động rộng và độ chính xác toán học cao trong các phép nhân tích lũy và cập nhật trọng số, khống chế mức sai số mô phỏng dưới 0.05%.

Phần cứng thực nghiệm nào được lựa chọn để kiểm chứng thiết kế? Thiết kế được tổng hợp và kiểm chứng trực tiếp trên kit Altera DE2 trang bị chip FPGA Cyclone II. Quá trình kiểm thử tận dụng nguồn dao động xung nhịp Clock 50 MHz, hai công tắc chuyển mạch SW1, SW2 và hệ thống đèn LED đỏ LedR, LED xanh LedG để giám sát trạng thái dữ liệu dấu chấm động theo thời gian thực.

Kiến trúc vi mạch này có khả năng mở rộng quy mô mạng neural như thế nào? Nhờ phương pháp thiết kế phân cấp mô-đun hóa bằng Verilog HDL, người dùng có thể dễ dàng tăng số lượng nơ-ron trên mỗi lớp hoặc bổ sung thêm các lớp ẩn chỉ bằng các thao tác ghép nối mô-đun con mà không cần tái cấu trúc lại toàn bộ hệ thống phần cứng ban đầu.

Quy trình thiết kế vi mạch trong luận văn bao gồm những bước công cụ nào? Quy trình tuân thủ chuẩn công nghiệp gồm: mô hình hóa giải thuật trên Matlab, mô tả phần cứng RTL bằng Verilog HDL, mô phỏng chức năng và dạng sóng trên ModelSim, phân tích thời gian và tổng hợp logic trên Altera Quartus II, cuối cùng là nạp file cấu hình xuống kit phần cứng DE2 để đo kiểm.

Kết luận

  • Luận văn đã thiết kế và hiện thực hóa thành công cấu trúc vi mạch hoàn chỉnh cho thuật toán huấn luyện mạng neural lan truyền ngược Backpropagation bằng ngôn ngữ Verilog HDL chuẩn IEEE.
  • Hệ thống xử lý dữ liệu chuẩn số thực dấu chấm động 32-bit với độ chính xác cao, duy trì sai số dưới 0.05% so với tính toán lý thuyết và vận hành ổn định tại tần số xung nhịp đồng bộ 50 MHz.
  • Kết quả kiểm chứng thực nghiệm trên kit Altera DE2 FPGA Cyclone II khẳng định tính đúng đắn của thiết kế, tối ưu hóa hơn 28% tài nguyên phần tử logic nhờ cấu trúc ghép nối mô-đun linh hoạt.
  • Nghiên cứu tạo tiền đề vững chắc cho việc chuyển giao thiết kế sang quy trình chế tạo vi mạch chuyên dụng ASIC trên tiến trình 180nm và 65nm phục vụ các hệ thống nhúng biên thông minh.
  • Kế hoạch 12 tháng tới sẽ tập trung tối ưu hóa các khối nhân dồn dấu chấm động 64-bit và đóng gói thành IP Core thương mại, mở rộng cơ hội hợp tác chuyển giao công nghệ cho các trung tâm nghiên cứu và doanh nghiệp bán dẫn.