Phân Tích Nghiên Cứu: Thiết Kế Hệ Thống Điều Khiển Đèn Giao Thông Sử Dụng FPGA


Tóm tắt nghiên cứu

Nghiên cứu "Thiết kế hệ thống điều khiển tín hiệu đèn giao thông sử dụng FPGA" (Mã số đề tài: SV2020-124, Trường Đại học Sư phạm Kỹ thuật TP. Hồ Chí Minh) tập trung giải quyết bài toán tối ưu hóa điều khiển giao thông tại nút giao 4 nhánh bằng kiến trúc phần cứng khả trình. Câu hỏi nghiên cứu trọng tâm là làm thế nào để khắc phục triệt để các giới hạn cố hữu của hệ thống điều khiển giao thông truyền thống dựa trên vi điều khiển (MCU) — vốn bị ràng buộc bởi cơ chế thực thi lệnh tuần tự và thiếu tính linh hoạt khi cấu hình phần cứng.

Nhóm tác giả đã áp dụng phương pháp thiết kế số từ trên xuống (Top-Down RTL Design) sử dụng ngôn ngữ mô tả phần cứng Verilog HDL, xây dựng kiến trúc dựa trên cỗ máy trạng thái hữu hạn (FSM) kết hợp module định thời tham số hóa (delay_counter) và khối chia tần (pulse_1Hz). Hệ thống được tổng hợp, kiểm tra mô phỏng dạng sóng trên phần mềm Xilinx ISE Design Suite 14 và hiện thực hóa phần cứng trực tiếp trên kit FPGA Xilinx Spartan-3E Starter Kit.

Kết quả thực nghiệm xác nhận hệ thống vận hành chính xác 100% các chu trình chuyển pha tín hiệu giao thông, xử lý hoàn hảo các tín hiệu điều khiển đặc biệt như Reset đồng bộ và Switch cưỡng bức giữ trạng thái ưu tiên. Công trình chứng minh tính ưu việt của FPGA trong việc xử lý tín hiệu phần cứng thời gian thực với độ trễ cực thấp, mở ra giải pháp nền tảng cho việc thiết kế vi mạch chuyên dụng (ASIC) và các hệ thống điều khiển giao thông thông minh (ITS).


Bối cảnh và tầm quan trọng

Tại các đô thị lớn, tình trạng ùn tắc giao thông và ô nhiễm môi trường đang ngày càng gia tăng do mật độ phương tiện vượt quá sức chứa hạ tầng. Phần lớn các bộ điều khiển tín hiệu đèn giao thông (Traffic Light Controller - TLC) hiện hành được xây dựng dựa trên vi xử lý hoặc vi điều khiển tầm trung (8-bit/32-bit). Các kiến trúc này tồn tại hai hạn chế cốt lõi:

  1. Thực thi tuần tự: Vi xử lý xử lý các tác vụ theo từng lệnh máy liên tiếp, làm tăng độ trễ đáp ứng khi phải xử lý đồng thời nhiều luồng tín hiệu cảm biến hoặc xử lý ngắt khẩn cấp.
  2. Kiến trúc phần cứng cố định: Không có khả năng tái cấu trúc logic tại chỗ, khiến việc thay đổi thuật toán phân luồng hay tích hợp thêm làn đường đòi hỏi phải thay đổi toàn bộ bo mạch vật lý.

Trong bối cảnh công nghiệp bán dẫn và đô thị thông minh đang phát triển mạnh mẽ, công nghệ FPGA (Field-Programmable Gate Array) nổi lên như một giải pháp đột phá. Với cấu trúc gồm hàng ngàn khối logic khả trình (Configurable Logic Blocks - CLBs) kết nối qua ma trận liên kết linh hoạt (Switch Matrix), FPGA mang lại khả năng thực thi song song phần cứng thực thụ (true hardware concurrency), cho phép mở rộng ngoại vi không giới hạn và tùy biến thuật toán định thời linh hoạt.

Đề tài mang tính cấp thiết cao khi vừa giải quyết bài toán thực tiễn về tối ưu lưu lượng giao thông đô thị, vừa tạo tiền đề nghiên cứu chế thử mẫu vi mạch bán dẫn trước khi tiến hành quy trình sản xuất ASIC tốn kém.

flowchart TD
    A[Vấn đề: Ùn tắc giao thông & Hạn chế của MCU] --> B[Giải pháp: Thiết kế hệ thống TLC trên FPGA]
    B --> C[Mô tả phần cứng Verilog HDL]
    C --> D[Mô phỏng chức năng trên Xilinx ISE]
    D --> E[Hiện thực hóa trên Kit Spartan-3E]
    E --> F[Kết quả: Hệ thống xử lý song song, độ trễ cực thấp]

Methodology và approach

Quy trình nghiên cứu tuân thủ nghiêm ngặt chuẩn thiết kế vi mạch số công nghiệp, chia thành các phân đoạn logic rõ ràng từ mức hành vi đến cấu hình phần cứng vật lý.

                    ┌─────────────────────────┐
                    │      Yêu cầu hệ thống   │
                    │   (Tần số 1Hz, 4 nhánh) │
                    └────────────┬────────────┘
                                 │
                    ┌────────────▼────────────┐
                    │  Mô hình hóa FSM 6 pha  │
                    │  & Thiết kế Verilog HDL │
                    └────────────┬────────────┘
                                 │
                    ┌────────────▼────────────┐
                    │    Mô phỏng chức năng   │
                    │   (Presynthesis / ISE)  │
                    └────────────┬────────────┘
                                 │
                    ┌────────────▼────────────┐
                    │    Tổng hợp & Place     │
                    │         & Route         │
                    └────────────┬────────────┘
                                 │
                    ┌────────────▼────────────┐
                    │ Nạp Bitstream Spartan 3E│
                    │     & Đánh giá thực tế  │
                    └─────────────────────────┘

1. Kiến trúc phân rã hệ thống

Hệ thống cấp cao (Top Module) bao gồm 3 khối chức năng liên kết chặt chẽ:

  • Khối chia xung (pulse_1Hz): Chuyển đổi dao động thạch anh gốc 50MHz từ bo mạch Spartan-3E thành xung nhịp 1Hz (chu kỳ 1 giây) làm xung nhịp cơ sở cho toàn bộ hệ thống.
  • Khối máy trạng thái (traffic_light_fsm): Đóng vai trò bộ não điều khiển, hiện thực hóa cỗ máy trạng thái FSM dạng Moore với 6 trạng thái luân phiên:
    • MGRE_CRED (Đường chính Xanh - Đường phụ Đỏ)
    • MYEL_CRED (Đường chính Vàng - Đường phụ Đỏ)
    • MRED_CRED1 (Đường chính Đỏ - Đường phụ Đỏ: Pha chuyển tiếp an toàn 1)
    • MRED_CGRE (Đường chính Đỏ - Đường phụ Xanh)
    • MRED_CYEL (Đường chính Đỏ - Đường phụ Vàng)
    • MRED_CRED2 (Đường chính Đỏ - Đường phụ Đỏ: Pha chuyển tiếp an toàn 2)
  • Khối đếm trễ (delay_counter): Nhận tín hiệu nhận biết trạng thái (state_g, state_y, state_r) và đếm số chu kỳ xung clock tương ứng, trả về cờ báo kết thúc đếm (g_end, y_end, r_end) để FSM chuyển trạng thái.

2. Thiết kế logic khống chế giữ trạng thái

Hệ thống sử dụng cơ chế Clock Gating mức phần cứng thông qua cổng AND 2 ngõ vào kết hợp tín hiệu clkswitch tích cực mức thấp: $$\text{clk_out} = \text{clk_in} \ & \ \text{switch}$$ Khi kích hoạt chế độ ưu tiên (switch = 0), xung clock cấp cho FSM bị khóa hoàn toàn, giữ nguyên trạng thái đèn tại nút giao mà không tiêu tốn tài nguyên chu kỳ lệnh CPU.

3. Quy trình kiểm tra và độ tin cậy

Nhóm nghiên cứu xây dựng kịch bản Testbench toàn diện mô phỏng trên Xilinx ISE để kiểm chứng cả dạng sóng tiền tổng hợp (Presynthesis) và hậu tổng hợp (Postsynthesis), đảm bảo triệt tiêu các lỗi định thời như tranh chấp dữ liệu (Race Conditions) hay xung gai (Glitch/Hazards).


Phát hiện chính

Quá trình mô phỏng và thử nghiệm thực tế trên phần cứng đem lại nhiều phát hiện kỹ thuật quan trọng:

1. Tính chuẩn xác tuyệt đối trong chu trình chuyển pha FSM

Ở chế độ vận hành mặc định (rst_n = 1, switch = 1), máy trạng thái chuyển tiếp tuần tự qua 6 trạng thái đúng theo định thời thiết lập:

  • Thời gian đèn Xanh đường chính: 3 giây
  • Thời gian đèn Vàng đường chính: 1 giây
  • Thời gian đệm Đỏ - Đỏ an toàn: 1 giây
  • Thời gian đèn Xanh đường cắt ngang: 3 giây
  • Thời gian đèn Vàng đường cắt ngang: 1 giây

Hệ thống loại bỏ hoàn toàn khả năng xung đột tín hiệu nguy hiểm (tuyệt đối không xảy ra trường hợp hai tuyến đường cùng bật đèn Xanh).

2. Khả năng phục hồi và xử lý ngắt khẩn cấp tức thời

  • Kịch bản Reset tích cực (rst_n = 0): Dù hệ thống đang ở bất kỳ trạng thái nào (ví dụ đang ở pha MRED_CGRE), ngay khi phát hiện sườn tích cực của tín hiệu reset, toàn bộ hệ thống lập tức chuyển về trạng thái khởi tạo an toàn MRED_CRED1 (cả hai hướng đều Đỏ) nhằm ngăn chặn xung đột giao thông khi khởi động lại.
  • Kịch bản Switch tích cực (switch = 0): Tại trạng thái MRED_CYEL, khi bật công tắc giữ trạng thái, mạch logic khóa xung clock lập tức đóng băng bộ đếm và trạng thái đèn. Khi nhả công tắc (switch = 1), hệ thống tiếp tục vận hành chính xác phần thời gian còn lại mà không gặp bất kỳ lỗi lệch pha nào.
Trường hợp kiểm thử Tín hiệu rst_n Tín hiệu switch Hành vi hệ thống Đánh giá độ tin cậy
Vận hành chuẩn 1 1 Chuyển tuần tự 6 trạng thái theo chu kỳ Đạt 100% thiết kế
Reset khẩn cấp 0 X Cưỡng bức về trạng thái Đỏ - Đỏ (MRED_CRED1) Tức thời, không trễ xung
Giữ trạng thái 1 0 Đóng băng trạng thái hiện tại, ngắt clock Ổn định, bảo toàn dữ liệu

3. Tối ưu hóa tài nguyên phần cứng vượt trội

So với việc thực thi trên vi điều khiển phải duy trì hàng ngàn transistor cho nhân CPU, ALU và bus hệ thống, thiết kế trên FPGA Spartan-3E chỉ tiêu tốn một lượng rất nhỏ các phần tử logic cơ bản (LUTs, D Flip-Flops và I/O Pins), chứng minh hiệu suất năng lượng và chi phí phần cứng tối ưu.


Đóng góp khoa học

Nghiên cứu mang lại những giá trị đóng góp rõ nét trên cả ba phương diện lý thuyết, phương pháp và ứng dụng thực tiễn:

1. Đóng góp về mặt lý thuyết và phương pháp luận

  • Chuẩn hóa mô hình toán học FSM 6 trạng thái có pha chuyển tiếp an toàn (All-Red Clearance Interval) trong lý thuyết điều khiển giao thông, giúp ngăn ngừa tai nạn tại giao lộ khi phương tiện chưa kịp giải tỏa hết nút giao.
  • Thiết lập quy trình thiết kế số hoàn chỉnh từ mô hình trừu tượng cấp cao sang ngôn ngữ Verilog HDL chuẩn RTL có thể tái tổng hợp trên nhiều nền tảng chip khác nhau.

2. Giá trị ứng dụng thực tiễn

  • Đóng vai trò như một IP Core (Intellectual Property Core) hoàn chỉnh, có thể tích hợp trực tiếp vào các hệ thống điều khiển giao thông diện rộng hoặc kết hợp với module AI/Camera đếm xe để phát triển thành hệ thống đèn tín hiệu thích ứng thông minh (Adaptive TLC).
  • Cung cấp giải pháp phần cứng tin cậy cao cho các nút giao thông quan trọng đòi hỏi khả năng hoạt động liên tục 24/7 mà không xảy ra hiện tượng treo vi xử lý.

3. Đóng góp cho giáo dục và công nghiệp bán dẫn

  • Cung cấp tài liệu tham khảo và mã nguồn chuẩn mực cho công tác đào tạo kỹ sư thiết kế vi mạch, kỹ thuật máy tính và hệ thống nhúng tại các trường đại học kỹ thuật.
  • Rút ngắn chu kỳ R&D và tiết kiệm hàng triệu USD chi phí thử nghiệm chế tạo mặt nạ vi mạch (mask) nhờ khả năng kiểm chứng phần cứng tiền khả thi trên FPGA trước khi sản xuất ASIC.

Đối tượng quan tâm

Báo cáo nghiên cứu này là nguồn tài liệu giá trị cao cho nhiều nhóm đối tượng chuyên môn:

  • Giảng viên và Sinh viên ngành Vi mạch / Điện tử / Kỹ thuật máy tính: Tài liệu mẫu trực quan về phương pháp thiết kế FSM, kỹ thuật chia tần số, phân tích định thời và tổng hợp phần cứng bằng Verilog HDL.
  • Kỹ sư thiết kế phần cứng & Kỹ sư hệ thống nhúng: Tham khảo kiến trúc RTL module hóa để tái sử dụng trong các bài toán điều khiển logic công nghiệp đòi hỏi tính thời gian thực khắt khe.
  • Các nhà phát triển giải pháp Đô thị thông minh (Smart City): Nền tảng phần cứng biên (Edge Hardware) đáng tin cậy để tích hợp cùng các thuật toán AI/IoT điều phối luồng xe tự động.
  • Cơ quan quản lý hạ tầng giao thông đô thị: Định hướng chuyển dịch công nghệ từ các tủ điều khiển cơ khí/vi điều khiển cũ sang hệ thống điều khiển số hóa hiện đại, linh hoạt nâng cấp.

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

1. Phát hiện quan trọng nhất của nghiên cứu này là gì?

Nghiên cứu chứng minh rằng việc áp dụng kiến trúc phần cứng chuyên dụng trên FPGA với mô hình FSM 6 trạng thái cho phép kiểm soát tín hiệu giao thông thời gian thực với độ ổn định tuyệt đối, triệt tiêu độ trễ ngắt lệnh của vi xử lý và có khả năng can thiệp tức thời vào luồng giao thông khẩn cấp.

2. Điểm đặc biệt trong phương pháp thiết kế FSM của đề tài là gì?

Điểm sáng là việc bổ sung 2 trạng thái đệm an toàn MRED_CRED1MRED_CRED2 (cả hai hướng đều đỏ trong 1 giây). Cơ chế này giúp giải tỏa hoàn toàn phương tiện còn kẹt trong giao lộ trước khi cấp quyền ưu tiên cho tuyến đường cắt ngang, nâng cao tối đa chỉ số an toàn giao thông.

3. Kết quả nghiên cứu có thể mở rộng (generalize) cho các giao lộ phức tạp hơn không?

Hoàn toàn có thể. Do được thiết kế theo cấu trúc module hóa trên Verilog HDL, hệ thống dễ dàng mở rộng từ ngã tư 2 pha lên ngã năm, ngã sáu hoặc nút giao nhiều pha (rẽ trái riêng, làn người đi bộ) chỉ bằng cách bổ sung thêm trạng thái vào FSM và mở rộng độ rộng bus ngõ ra.

4. Hướng phát triển tiếp theo của nghiên cứu này là gì?

Nhóm tác giả định hướng tích hợp thêm các cảm biến lưu lượng (cảm biến vòng từ, radar hoặc camera AI) kết hợp thuật toán điều khiển mờ (Fuzzy Logic) trên FPGA để tự động điều chỉnh khoảng thời gian đèn Xanh/Đỏ linh hoạt theo mật độ phương tiện thực tế.

5. Tại sao không dùng vi điều khiển giá rẻ thay vì FPGA?

Vi điều khiển giá rẻ thực thi tuần tự nên dễ bị trễ hoặc treo hệ thống khi xử lý đồng thời nhiều ngoại vi. FPGA cung cấp độ tin cậy phần cứng cấp quân sự/công nghiệp, tốc độ phản hồi nano-giây và đặc biệt là khả năng chuyển đổi trực tiếp sang thiết kế chip ASIC thương mại hóa số lượng lớn.


Kết luận

Đề tài "Thiết kế hệ thống điều khiển tín hiệu đèn giao thông sử dụng FPGA" của nhóm sinh viên Trường ĐH Sư phạm Kỹ thuật TP.HCM đã hiện thực hóa thành công một giải pháp điều khiển số vững chắc, đáp ứng toàn diện các tiêu chuẩn kỹ thuật từ thiết kế luận lý, mô phỏng dạng sóng đến kiểm chứng phần cứng thực tế trên Xilinx Spartan-3E.

Công trình không chỉ giải quyết hiệu quả bài toán tự động hóa điều phối giao thông ngã tư mà còn khẳng định vai trò chiến lược của công nghệ bán dẫn FPGA trong kỷ nguyên số hóa hạ tầng đô thị. Đây là bước đệm quan trọng khuyến khích cộng đồng nghiên cứu tiếp tục mở rộng tích hợp các thuật toán trí tuệ nhân tạo biên (Edge AI) nhằm hướng tới một hệ thống giao thông thông minh toàn diện.