Tổng quan nghiên cứu

Trong lĩnh vực thiết kế vi mạch và xử lý tín hiệu số hiện đại, việc tính toán các hàm lượng giác siêu việt như Sine và Cosine đóng vai trò nền tảng, chiếm hơn 40% khối lượng tính toán trong các thuật toán biến đổi Fourier nhanh FFT và biến đổi Cosine rời rạc DCT. Tuy nhiên, các kiến trúc phần cứng truyền thống thường gặp thách thức lớn trong việc cân bằng giữa tốc độ xử lý, diện tích vi mạch và mức tiêu thụ năng lượng. Thuật toán CORDIC kinh điển tuy không đòi hỏi bộ nhân nhưng cấu trúc lặp tuần tự gây khó khăn cho việc tối ưu hóa đường ống xử lý. Trong khi đó, việc tích hợp các bộ tính toán dấu chấm động FPU chuyên biệt lại làm tăng hơn 35% diện tích silicon và tiêu hao nhiều năng lượng.

Trước thách thức đó, luận văn thạc sĩ chuyên ngành Khoa học Máy tính của tác giả Nguyễn Xuân Mỹ, dưới sự hướng dẫn của Phó Giáo sư Đinh Đức Anh Vũ và Tiến sĩ Bùi Trọng Tú tại Trường Đại học Bách Khoa thuộc Đại học Quốc gia Thành phố Hồ Chí Minh, đã giải quyết bài toán này một cách toàn diện. Mục tiêu cốt lõi của nghiên cứu là xây dựng giải thuật phần cứng lai tối ưu, kết hợp hài hòa giữa phương pháp tra bảng và xấp xỉ đa thức Taylor trên nền tảng lõi xử lý dấu chấm tĩnh 32-bit. Công trình được hoàn thành vào tháng 6 năm 2014 và được công bố tại hội nghị quốc tế ECTI-CON 2014 vào tháng 5 năm 2014.

Ý nghĩa thực tiễn nổi bật của công trình là giảm dung lượng bộ nhớ bảng tra xuống mức dưới 2 Kbytes, giúp tiết kiệm hơn 70% tài nguyên bộ nhớ ROM so với phương pháp tra bảng thông thường. Đồng thời, giải thuật tái sử dụng trực tiếp bộ nhân 32 nhân 32 bit và bộ cộng có sẵn của lõi vi xử lý, đạt thông lượng xử lý 1 chu kỳ lệnh trên mỗi gói nạp 128-bit, mở ra hướng ứng dụng hiệu quả cho các hệ thống nhúng tiết kiệm năng lượng.

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

Khung lý thuyết áp dụng

Khung lý thuyết của đề tài được xây dựng vững chắc dựa trên sự kết hợp giữa lý thuyết toán học xấp xỉ hàm số và kiến trúc vi xử lý tiên tiến. Về mặt toán học, nghiên cứu ứng dụng lý thuyết xấp xỉ đa thức thông qua chuỗi Taylor kết hợp với phương pháp tra bảng số học. Ba khái niệm cốt lõi chi phối toàn bộ giải thuật bao gồm: định dạng số dấu chấm tĩnh 32-bit chuyên biệt, đơn vị nhân tích lũy MAC và ngưỡng sai số giới hạn epsilon nhỏ hơn 2 mũ trừ 31. Khi đối số góc x đạt giá trị nhỏ hơn 2 mũ trừ 7, chuỗi Taylor được rút gọn chỉ còn 2 số hạng đầu tiên mà vẫn duy trì độ chính xác bit tuyệt đối tương đương chuẩn 32-bit công nghiệp.

Về mặt kiến trúc phần cứng, đề tài kế thừa mô hình vi xử lý VLIW với tập lệnh RISC và kiến trúc bộ nhớ Super-Harvard. Kiến trúc này phân tách hoàn toàn không gian nhớ chương trình và 2 vùng nhớ dữ liệu riêng biệt DMX, DMY. Hệ thống tích hợp 32 thanh ghi đa dụng 32-bit phân chia thành 2 tập A0 đến A15 và B0 đến B15. Khối chức năng FALU đảm nhận các phép toán logic số học và hàm số học, trong khi khối MAC 64-bit hỗ trợ tính toán tích chập và các phép biến đổi tín hiệu tốc độ cao.

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

Nghiên cứu áp dụng quy trình thực nghiệm mô phỏng chuẩn trong thiết kế vi mạch số với phương pháp chọn mẫu phân tầng kết hợp ngẫu nhiên. Cỡ mẫu kiểm thử bao gồm tập dữ liệu chuẩn với 1000 trường hợp kiểm thử phân bố đều trên toàn bộ dải góc đầu vào từ 0 đến 360 độ (tương đương 0 đến 2 pi radian). Các điểm góc đặc biệt như 0 độ, 45 độ, 90 độ, 180 độ và 270 độ được lấy mẫu có chủ đích 100%, trong khi các góc thập phân trung gian được sinh ngẫu nhiên nhằm kiểm tra độ mượt mà của hàm xấp xỉ.

Lý do lựa chọn phương pháp phân tích mô phỏng phần cứng theo chu kỳ xung clock là nhằm xác định chính xác độ trễ tín hiệu, mức độ chiếm dụng tài nguyên cổng logic và sai số bit so với giá trị chuẩn dấu chấm động 64-bit. Nguồn dữ liệu kiểm chứng được tạo tự động thông qua các tập tin testbench bằng ngôn ngữ Verilog HDL. Timeline nghiên cứu được triển khai chặt chẽ trong vòng 12 tháng: 6 tháng đầu dành cho việc tối ưu giải thuật toán học và thiết kế kiến trúc đường dữ liệu, 6 tháng tiếp theo tập trung tổng hợp thiết kế trên phần mềm Altera Quartus II phiên bản 13 và kiểm chứng dạng sóng trên trình mô phỏng ModelSim-Altera 10.

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à mô phỏng thực nghiệm trên phần cứng đã mang lại 4 phát hiện khoa học quan trọng:

Thứ nhất, giải thuật đề xuất tối ưu hóa vượt trội dung lượng bộ nhớ. Toàn bộ bảng tra hằng số chỉ yêu cầu dung lượng lưu trữ dưới 2 Kbytes (cụ thể khoảng 1,5 Kbytes ROM), giảm hơn 75% nhu cầu bộ nhớ so với việc sử dụng bảng tra trực tiếp cho toàn bộ miền giá trị 32-bit.

Thứ hai, thiết kế đạt hiệu quả tái sử dụng tài nguyên phần cứng ở mức 100%. Toàn bộ các phép tính hàm Sine và Cosine đều vận hành dựa trên 1 bộ nhân 32 nhân 32 bit và bộ cộng sẵn có trong lõi DSP dấu chấm tĩnh, hoàn toàn không cần bổ sung bất kỳ bộ xử lý dấu chấm động FPU chuyên biệt nào.

Thứ ba, tốc độ xử lý được cải thiện vượt bậc nhờ cấu trúc thực thi song song. Việc áp dụng các lệnh nạp kép đồng thời SLDW trên khối LSU kết hợp với lệnh nhân tích lũy MAC trong gói lệnh VLIW 128-bit đã giúp giảm hơn 50% số chu kỳ lệnh, chuyển đổi từ chuỗi 4 lệnh tuần tự xuống chỉ còn 2 lệnh thực thi đồng thời.

Thứ tư, độ chính xác của bộ tính toán đạt độ tin cậy tuyệt đối với sai số luôn được khống chế ở mức nhỏ hơn 2 mũ trừ 31, đáp ứng hoàn hảo tiêu chuẩn xử lý tín hiệu khắt khe.

Thảo luận kết quả

Sở dĩ giải thuật đạt được hiệu năng cao và tiết kiệm tài nguyên là nhờ cơ chế chia tách thông minh: góc đầu vào được phân rã thành thành phần thô để tra bảng nhanh và thành phần mịn để tính toán bằng đa thức Taylor 2 số hạng. Cơ chế đánh địa chỉ vòng và việc sử dụng 2 thanh ghi nền A7, B7 trên khối LSU đã giải quyết triệt để vấn đề nghẽn băng thông truy xuất bộ nhớ. So với phương pháp CORDIC truyền thống vốn tiêu tốn từ 16 đến 32 chu kỳ lặp nối tiếp, giải thuật mới hoàn thành phép tính trong chưa đầy 8 chu kỳ xung clock. Đồng thời, so với các nghiên cứu phần cứng cùng thời điểm trên chip FPGA, giải pháp này tiết kiệm hơn 40% số phần tử logic.

Trong các báo cáo kỹ thuật, dữ liệu thực nghiệm được trình bày trực quan thông qua bảng đối chiếu sai số chi tiết và giản đồ dạng sóng thời gian trên ModelSim-Altera 10. Trên đồ thị dạng sóng mô phỏng theo trục thời gian, các đường tín hiệu ngõ vào và ngõ ra lượng giác chuyển trạng thái tức thời và xác lập giá trị ổn định đúng tại sườn dương của xung clock hệ thống, minh chứng mạch logic không xảy ra hiện tượng trôi pha hay xung nhiễu quá độ.

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

Từ các kết quả thực nghiệm đạt được, nghiên cứu đưa ra 4 nhóm giải pháp và khuyến nghị hành động cụ thể:

Một là, tích hợp trực tiếp khối tính toán Sine và Cosine đề xuất vào các lõi vi xử lý DSP 32-bit thương mại và vi điều khiển nhúng. Mục tiêu là nâng cao hiệu năng thực thi các thuật toán biến đổi Fourier nhanh FFT và biến đổi Cosine rời rạc DCT lên ít nhất 30% trong vòng 6 tháng tới. Chủ thể thực hiện: Đội ngũ kỹ sư thiết kế phần cứng và kiến trúc vi mạch tại các trung tâm R&D bán dẫn.

Hai là, mở rộng và chuẩn hóa tập lệnh của lõi xử lý bằng cách tích hợp các lệnh chuyên dụng như SIN, SINC, COS, COSC vào các bộ biên dịch C và C++ nhúng. Đích nhắm là cắt giảm 45% thời gian viết mã hợp ngữ thủ công cho lập trình viên trong lộ trình từ năm 2025 đến năm 2026. Chủ thể thực hiện: Các nhóm kỹ sư phát triển phần mềm hệ thống và công cụ biên dịch nhúng.

Ba là, tối ưu hóa cấu trúc đường ống nhiều tầng cho khối MAC và FALU nhằm nâng cao tần số xung nhịp làm việc tối đa của lõi DSP thêm 25%, hướng tới mốc hoạt động ổn định trên 200 MHz trong vòng 12 tháng. Chủ thể thực hiện: Các nhóm nghiên cứu và thiết kế logic số RTL.

Bốn là, chuyển đổi thiết kế RTL từ môi trường FPGA Altera sang quy trình tổng hợp trên thư viện tế bào chuẩn công nghệ ASIC CMOS 28 nanomet nhằm tiết kiệm hơn 60% mức tiêu thụ năng lượng tĩnh trong vòng 18 tháng. Chủ thể thực hiện: Đội ngũ kỹ sư thiết kế vật lý vi mạch chuyên dụng.

Việc triển khai đồng bộ 4 giải pháp trên sẽ thúc đẩy quá trình thương mại hóa các dòng chip xử lý tín hiệu thông minh thế hệ mới với hiệu suất vượt trội và chi phí sản xuất tối ưu.

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

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

Thứ nhất, kỹ sư thiết kế vi mạch số và hệ thống nhúng FPGA hoặc ASIC. Đối tượng này có thể tiếp cận trực tiếp phương pháp hiện thực phần cứng bằng ngôn ngữ Verilog HDL, kỹ thuật tối ưu hóa dung lượng ROM dưới 2 Kbytes và quy trình kiểm thử tự động trên Quartus II và ModelSim.

Thứ hai, học viên cao học, nghiên cứu sinh và nhà khoa học trong ngành Khoa học Máy tính và Kỹ thuật Máy tính. Nghiên cứu cung cấp tài liệu chuyên sâu về tối ưu hóa giải thuật số học dấu chấm tĩnh, kiến trúc máy tính VLIW và kỹ thuật lập lịch song song mức lệnh.

Thứ ba, kỹ sư phát triển phần mềm xử lý tín hiệu số DSP. Nhóm này có thể ứng dụng trực tiếp các kỹ thuật nạp dữ liệu song song qua hai khối nhớ DMX, DMY và mô hình tính toán chuỗi Taylor để tối ưu hóa các ứng dụng nén ảnh JPEG, xử lý âm thanh và truyền thông vô tuyến.

Thứ tư, giảng viên đại học thuộc các chuyên ngành Điện tử, Viễn thông và Công nghệ Thông tin. Luận văn là nguồn học liệu tham khảo xuất sắc phục vụ công tác giảng dạy các môn học về Kiến trúc máy tính nâng cao, Thiết kế hệ thống nhúng và Xử lý tín hiệu số với hơn 10 ví dụ thực hành cụ thể.

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

Tại sao nghiên cứu lại chọn kết hợp tra bảng và chuỗi Taylor thay vì dùng thuật toán CORDIC truyền thống? Thuật toán CORDIC truyền thống yêu cầu từ 16 đến 32 vòng lặp tuần tự, gây khó khăn lớn cho việc thiết kế đường ống xử lý tốc độ cao. Việc kết hợp tra bảng góc thô và chuỗi Taylor góc mịn rút gọn 2 số hạng giúp hoàn thành phép tính trong dưới 8 chu kỳ xung clock, tận dụng triệt để bộ nhân 32 nhân 32 bit sẵn có của lõi DSP.

Giải thuật dấu chấm tĩnh trong luận văn đảm bảo độ chính xác như thế nào? Giải thuật áp dụng định dạng số học dấu chấm tĩnh chuyên biệt với quy tắc phân chia bit nguyên và bit thập phân nghiêm ngặt. Bằng cách khống chế ngưỡng sai số epsilon nhỏ hơn 2 mũ trừ 31 và giới hạn góc đầu vào cho chuỗi Taylor nhỏ hơn 2 mũ trừ 7, kết quả đạt độ chính xác bit tương đương với các phép tính dấu chấm động chuẩn 32-bit.

Bộ nhớ bảng tra dưới 2 Kbytes mang lại lợi ích gì cho thiết kế vi mạch? Dung lượng bảng tra dưới 2 Kbytes (khoảng 1,5 Kbytes) giúp tiết kiệm hơn 75% diện tích silicon dành cho khối nhớ ROM so với phương pháp tra bảng đầy đủ. Điều này giúp hạ giá thành sản xuất vi mạch, giảm công suất tiêu thụ điện tĩnh và cho phép dễ dàng tích hợp trực tiếp vào chip nhúng kích thước nhỏ.

Kiến trúc VLIW và gói lệnh 128-bit hỗ trợ việc tính toán song song ra sao? Kiến trúc VLIW cho phép nạp đồng thời 4 lệnh trong một gói nạp 128-bit. Nhờ sự hỗ trợ của bit điều khiển thực thi song song p, hệ thống có thể kích hoạt đồng thời lệnh nạp dữ liệu kép SLDW trên khối LSU và lệnh nhân tích lũy MAC trong cùng một chu kỳ xung clock, tăng gấp đôi thông lượng xử lý dữ liệu.

Kết quả của nghiên cứu có thể ứng dụng vào những hệ thống thực tế nào? Kết quả nghiên cứu có thể ứng dụng trực tiếp vào các máy tính khoa học cầm tay, bộ tiền xử lý đồ họa 3D, hệ thống định vị GPS và các khối biến đổi FFT hay DCT trong thiết bị truyền thông vô tuyến 4G/5G và thiết bị xử lý ảnh y tế với hơn 1000 mẫu dữ liệu mỗi giây.

Kết luận

Tổng kết toàn bộ công trình nghiên cứu trong luận văn thạc sĩ:

  • Xây dựng thành công giải thuật lai kết hợp tra bảng và xấp xỉ Taylor 2 số hạng cho hàm Sine và Cosine trên lõi DSP dấu chấm tĩnh 32-bit.
  • Tối ưu hóa dung lượng bảng tra bộ nhớ ROM xuống mức dưới 2 Kbytes, tiết kiệm hơn 75% tài nguyên so với các giải pháp thông thường.
  • Tái sử dụng trọn vẹn 1 bộ nhân 32 nhân 32 bit và bộ cộng có sẵn mà không phát sinh thêm chi phí phần cứng cho bộ dấu chấm động.
  • Kiểm chứng thành công thiết kế RTL bằng ngôn ngữ Verilog HDL trên phần mềm Altera Quartus II phiên bản 13 và mô phỏng chính xác trên ModelSim-Altera 10.
  • Công bố thành công bài báo khoa học tại hội nghị quốc tế ECTI-CON 2014, khẳng định giá trị học thuật và tính ứng dụng thực tiễn cao.

Về lộ trình phát triển tiếp theo, trong vòng 12 đến 18 tháng tới, nhóm nghiên cứu khuyến nghị đẩy mạnh việc tổng hợp thiết kế sang công nghệ bán dẫn ASIC và tích hợp vào các dòng chip DSP thương mại. Các kỹ sư phần cứng và nhà nghiên cứu quan tâm được khuyến khích khai thác ngay các giải pháp kỹ thuật từ luận văn để tối ưu hóa các hệ thống xử lý tín hiệu số chuyên dụng.