Tổng quan về giáo trình

Giáo trình Mạng Trên Chip: Thiết Kế, Kiểm Tra và Tối Ưu Hóa Hiệu Suất do PGS. Trần Xuân Tú biên soạn (với sự cộng tác của Phan Hải Phong tại Chương 5 và Chương 6), được Nhà xuất bản Đại học Quốc gia Hà Nội xuất bản năm 2020. Trong chương trình đào tạo đại học và sau đại học thuộc các ngành Kỹ thuật Điện tử, Vi điện tử, Viễn thông và Kỹ thuật Máy tính, tài liệu này giữ vị trí giáo trình chuyên khảo nâng cao thuộc khối kiến thức thiết kế hệ thống trên chip (System-on-Chip - SoC) và thiết kế vi mạch tích hợp cỡ lớn (VLSI/ASIC).

Mục tiêu học tập của giáo trình là trang bị cho người học hệ thống lý thuyết toàn diện về kiến trúc truyền thông trên phiến bán dẫn (Network-on-Chip - NoC), phân tích nguyên nhân giới hạn của các cấu trúc truyền thông truyền thống (kết nối điểm-tới-điểm, chia sẻ bus, bus phân tầng) trong công nghệ kích thước siêu micro (Deep Submicron - DSM). Đồng thời, tài liệu cung cấp phương pháp luận và quy trình kỹ thuật để thiết kế ở mức chuyển giao thanh ghi (RTL), mô hình hóa, kiểm chứng chức năng, tối ưu hóa công suất tiêu thụ (bằng kỹ thuật mạch và thuật toán điều khiển mờ) và thiết kế kiểm tra (Design-for-Testability - DFT) cho các cấu phần của mạng trên chip.

Cấu trúc giáo trình gồm 7 chương được tổ chức theo tiến trình logic từ tổng quan kiến trúc, nguyên lý hoạt động, thiết kế chi tiết vi kiến trúc phần cứng đến các giải pháp tối ưu hóa năng lượng và kiểm thử lỗi sản xuất. Điểm đặc thù của tài liệu là sự tích hợp giữa lý thuyết nền tảng và kết quả nghiên cứu thực nghiệm được tác giả cùng nhóm nghiên cứu đúc kết trong hơn một thập kỷ, gắn liền với các công nghệ thực thi phần cứng cụ thể như FPGA Xilinx Virtex-II và quy trình công nghệ bán dẫn 90nm.


Nội dung kiến thức cốt lõi

Các chương/chủ đề chính

Cấu trúc nội dung của giáo trình được triển khai qua 7 chương chuyên sâu:

  • Chương 1: Hệ thống trên chip và kiến trúc truyền thông truyền thống: Khái quát về tiến trình phát triển của SoC; phân tích các vấn đề kỹ thuật trong công nghệ DSM như độ trễ dây dẫn, sự đồng bộ xung nhịp và giải pháp hệ thống dị bộ toàn cầu - đồng bộ cục bộ (GALS); chỉ ra các giới hạn băng thông, tiêu thụ công suất và trễ tín hiệu của kiến trúc kết nối điểm-điểm và bus dùng chung (như ARM AMBA, IBM CoreConnect); giới thiệu mô hình mạng trên chip (NoC) như một giải pháp thay thế.
  • Chương 2: Mạng trên chip: Các khái niệm cơ bản: Hệ thống hóa các khái niệm cốt lõi của NoC bao gồm các cấu trúc liên kết mạng (2D-mesh, 2D torus, 2D folded torus, fat-tree, butterfly fat-tree, chordal ring); kỹ thuật chuyển mạch kênh và chuyển mạch gói; ba cơ chế truyền thông (Lưu trữ và chuyển tiếp - SAF, Virtual-Cut-Through - VCT, Wormhole); bốn chiến lược lưu trữ bộ đệm (Input Queuing, Output Queuing, VOQ, VCPIQ); thuật toán định tuyến xác định (thuật toán XY) và thích ứng; cơ chế xử lý khóa chết (deadlock) và khóa động (livelock); các kỹ thuật điều khiển luồng (window, credit, throughput); phân loại chất lượng dịch vụ QoS (Best-Effort và Guaranteed Service); và mô hình giao thức phân tầng 4 lớp dựa trên chuẩn tham chiếu OSI.
  • Chương 3: Thiết kế, mô hình hóa và kiểm chứng bộ định tuyến mạng: Trình bày bài toán thiết kế vi kiến trúc bộ định tuyến mạng (router); định dạng gói tin và flit; giao thức bắt tay "send-accept"; chi tiết khối phân luồng và điều khiển tại mô-đun lối vào/lối ra; ma trận chuyển mạch (crossbar); quy trình mô hình hóa, kiểm chứng RTL và kết quả thực thi phần cứng trên chip FPGA Xilinx XC2V1000-5ff896.
  • Chương 4: Thiết kế, mô hình hóa và kiểm chứng bộ giao tiếp mạng: Nghiên cứu kiến trúc bộ phối ghép mạng (Network Adapter - NA / Network Interface - NI) AXI-NoC cho cấu trúc lưới 2D-mesh kích thước 3×3; phân tích hạn chế của phương pháp bắt tay truyền thống dựa trên máy trạng thái FSM và đề xuất phương pháp tối ưu "mux-selection" cho mô-đun truyền (MNA Transmitter) và luồng phản hồi (MNA Response Flow).
  • Chương 5: Tối ưu năng lượng tiêu thụ cho mạng trên chip: Phân tích các thành phần công suất tiêu thụ trên mạch tích hợp (công suất động do chuyển mạch, ngắn mạch và công suất tĩnh do dòng rò trên công nghệ 90nm); phân tích các kỹ thuật thiết kế công suất thấp (chặn cấp xung nhịp clock gating, đa điện áp nguồn Multi-VDD, đa điện áp ngưỡng Multi-Vth, DVFS); khảo sát các kiến trúc NoC công suất thấp như ALPIN, mô hình PSTR quản lý năng lượng theo vùng điện áp - tần số độc lập (VFI), cấu trúc Producer-Consumer FIFO và bộ phối ghép chuẩn OCP.
  • Chương 6: Ứng dụng lô-gic mờ trong thiết kế mạng trên chip công suất thấp: Giới thiệu thuật toán logic mờ theo mô hình Sugeno; đề xuất và thiết kế vi kiến trúc bộ điều khiển tần số - điện áp (VFC) cho bộ định tuyến gồm khối đo lưu lượng, khối tính lưu lượng cực đại, khối xác định biến thiên lưu lượng (DER) và bộ xử lý mờ (FLP); đánh giá hiệu năng và công suất trên mô hình ORION 3.0 dưới các dạng lưu lượng truyền thông Uniform và Self-similar.
  • Chương 7: Thiết kế kiểm tra cho mạng trên chip: Trình bày giải pháp thiết kế kiểm tra (Design-for-Test - DFT) cho tài nguyên tính toán và hạ tầng kết nối; nghiên cứu kiến trúc NoC không đồng bộ (ANOC) trên nền mạch QDI mã hóa 1-of-2 return-to-zero; thiết kế cấu trúc test wrapper, các test cell lối vào/lối ra (ITC, OTC) tích hợp chức năng bypass, mô-đun điều khiển wrapper (WCM) và khung cấu hình kiểm tra (TCF); tạo bộ dữ liệu kiểm tra đa flit và đơn flit phát hiện lỗi Single Stuck-At (SSA); phân tích độ bao phủ lỗi, trễ phụ trội và cơ chế tái cấu hình bộ định tuyến khi xuất hiện lỗi đơn.

Kiến thức nền tảng được xây dựng

Giáo trình cung cấp các khối kiến thức lý thuyết có tính hệ thống:

  • Lý thuyết mạng truyền thông áp dụng trên silicon: Chuyển giao các nguyên lý mạng máy tính (chuyển mạch gói, chia flit, điều khiển luồng, phân tầng OSI 4 lớp) vào không gian phần cứng vi mạch với các ràng buộc khắt khe về diện tích silicon và bộ đệm.
  • Nguyên lý vi kiến trúc phần cứng số: Cơ chế điều khiển máy trạng thái (FSM), phối ghép kênh truyền (mux-selection), phân xử truy cập (arbitration), cấu trúc đệm hàng đợi (FIFO, VCPIQ) và ma trận chuyển mạch (crossbar switch).
  • Lý thuyết quản lý năng lượng và điều khiển thích nghi: Mô hình toán học về tiêu thụ công suất động/tĩnh trong công nghệ bán dẫn nano; mô hình toán học giải thuật mờ Sugeno và phương pháp ánh xạ các hàm liên thuộc hình thang lên mạch logic phần cứng.
  • Nguyên lý kiểm thử và độ tin cậy phần cứng: Mô hình lỗi vật lý (Single Stuck-At), cơ chế truy cập kiểm tra (TAM), kỹ thuật bao bọc kiểm tra (Test Wrapper) theo chuẩn công nghiệp và kỹ thuật mạch dị bộ tự định thời (Quasi-Delay-Insensitive - QDI).

Kỹ năng phát triển

  • Kỹ năng kỹ thuật: Thiết kế và mô tả vi kiến trúc số bằng ngôn ngữ mô tả phần cứng (VHDL/Verilog) ở mức RTL; triển khai quy trình tổng hợp logic, đặt chỗ và định tuyến (Place & Route) trên các công nghệ FPGA và quy trình ASIC.
  • Kỹ năng phân tích: Phân tích và đánh giá định lượng các thông số kỹ thuật hệ thống gồm băng thông điểm chia đôi (bisection bandwidth), độ trễ truyền dữ liệu (latency), thông lượng (throughput), diện tích phần cứng (tài nguyên logic LUT/Slice), công suất tiêu thụ tĩnh/động và độ bao phủ lỗi (fault coverage).
  • Kỹ năng thực hành: Xây dựng kịch bản kiểm chứng (testbench), phân tích giản đồ thời gian dạng sóng, mô phỏng lưu lượng mạng thống kê (Uniform, Self-similar) và thiết lập cấu hình kiểm thử mạch tích hợp.

Phương pháp giảng dạy và học tập

Giáo trình được thiết kế phục vụ phương pháp giảng dạy tích hợp giữa bài giảng lý thuyết kiến trúc và thực hành thiết kế vi mạch. Giảng viên có thể sử dụng cấu trúc từng chương để triển khai theo quy trình: trình bày bài toán kỹ thuật -> phân tích đặc tả kiến trúc -> thiết kế sơ đồ khối mức RTL -> mô phỏng dạng sóng -> đánh giá chỉ số thực thi phần cứng.

Các nghiên cứu trường hợp (case studies) trong sách được trích xuất từ các đề án nghiên cứu thực tế trên thế giới và kết quả thực nghiệm của nhóm tác giả:

  • Kiến trúc NoC công suất thấp ALPIN, nền tảng VENGME tích hợp bộ điều khiển PI, kiến trúc PSTR quản lý năng lượng theo vùng điện áp - tần số độc lập (VFI).
  • Thiết kế bộ phối ghép mạng Master/Slave AXI-NoC trong mạng 3×3 2D-mesh ứng dụng phương pháp mux-selection.
  • Bộ điều khiển điện áp - tần số tự thích nghi ứng dụng logic mờ Sugeno được kiểm chứng trên mô hình đánh giá công suất ORION 3.0.
  • Giải pháp kiểm thử phần cứng cho mạng không đồng bộ ANOC trên chip tự định thời.

Phương pháp đánh giá kết quả học tập đối với môn học sử dụng giáo trình này có thể bao gồm:

  1. Đánh giá lý thuyết thông qua các bài kiểm tra phân tích cấu trúc tô-pô, cơ chế định tuyến, chiến lược hàng đợi và phương pháp DFT.
  2. Đánh giá kỹ năng thực hành qua các bài tập lớn/đồ án môn học: yêu cầu học viên thiết kế vi kiến trúc RTL cho một khối chức năng (như Router, FIFO, Wrapper Cell), thực hiện mô phỏng kiểm chứng chức năng trên phần mềm và tổng hợp báo cáo tài nguyên phần cứng.

Đối với người tự học, tài liệu cung cấp lộ trình rõ ràng: tiếp cận tuần tự các khái niệm định tuyến và điều khiển luồng ở Chương 1-2, khảo sát sâu vi kiến trúc phần cứng ở Chương 3-4, trước khi đi vào các bài toán chuyên biệt về tối ưu công suất (Chương 5-6) và kiểm thử vi mạch (Chương 7).


Điểm nổi bật và cập nhật

Tài liệu thể hiện các xu hướng kỹ thuật chuyên sâu trong lĩnh vực thiết kế hệ thống trên chip:

Hướng kỹ thuật Nội dung triển khai trong giáo trình Dữ kiện thực nghiệm trong sách
Kiến trúc truyền thông mới Chuyển dịch từ Bus chia sẻ (AMBA, CoreConnect) sang Mạng trên chip (NoC) Mô hình vi mạng phân đoạn, phân tầng 4 lớp theo OSI
Kỹ thuật đồng bộ Hệ thống Dị bộ toàn cầu - Đồng bộ cục bộ (GALS) Khắc phục vấn đề lệch xung nhịp (clock skew) trong công nghệ DSM
Tối ưu hóa giao tiếp Phương pháp mux-selection thay thế máy trạng thái FSM truyền thống Áp dụng trên MNA Transmitter và MNA Response Flow (Chương 4)
Quản lý công suất nâng cao Phân vùng điện áp/tần số (VFI), kiến trúc DFS/DVFS kết hợp logic mờ Bộ điều khiển VFC Sugeno, kiểm chứng trên mô hình ORION 3.0
Kiểm thử vi mạch chuyên biệt Thiết kế kiểm tra (DFT) cho mạng đồng bộ và mạng không đồng bộ ANOC Test Wrapper, Test Cell ITC/OTC, kiểm thử lỗi Single Stuck-At

Tài liệu kết nối trực tiếp với các nền tảng công nghệ thực tế và các công trình nghiên cứu quốc tế từ các đơn vị tiên phong như Intel (chip thí nghiệm Polaris), Silistix (chuỗi CHAIN), Trung tâm Nghiên cứu CEA-Leti/Minatec (vi mạch FAUST, kiến trúc ALPIN), IMEC, MIT, Stanford, Berkeley. Các kết quả thực thi được lượng hóa bằng số liệu cụ thể trên chip FPGA Xilinx Virtex-II (XC2V1000-5ff896) và quy trình bán dẫn 90nm.


Đối tượng sử dụng giáo trình

Giáo trình phục vụ các nhóm đối tượng cụ thể trong đào tạo và nghiên cứu:

  • Sinh viên đại học năm cuối và học viên cao học: Thuộc các ngành Kỹ thuật Điện tử, Kỹ thuật Viễn thông, Kỹ thuật Máy tính, Công nghệ Bán dẫn và Khoa học Máy tính theo học các học phần chuyên sâu về Thiết kế Hệ thống trên chip, Vi mạch tích hợp số nâng cao (Advanced Digital IC Design), Kiến trúc máy tính nâng cao.
  • Nghiên cứu sinh và nhà nghiên cứu: Sử dụng làm tài liệu tham khảo chuyên ngành để phát triển các đề tài liên quan đến tối ưu hóa kiến trúc NoC, thuật toán định tuyến, quản lý công suất động trên vi mạch và kiểm tra/chẩn đoán lỗi phần cứng.
  • Kỹ sư thiết kế vi mạch (ASIC/FPGA Design Engineers): Các kỹ sư làm việc tại các doanh nghiệp và trung tâm R&D bán dẫn cần tài liệu tham khảo về cấu trúc giao tiếp mạng AXI/OCP, thiết kế router phần cứng mức RTL và quy trình tích hợp DFT.

Điều kiện tiên quyết: Người học cần nắm vững kiến thức về Thiết kế Logic số (Digital Logic Design), Ngôn ngữ mô tả phần cứng (VHDL hoặc Verilog), Kiến trúc máy tính cơ bản và các nguyên lý truyền dữ liệu số.


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

1. Giáo trình này phù hợp với ai?

Giáo trình phù hợp với sinh viên năm cuối, học viên cao học, nghiên cứu sinh các ngành Kỹ thuật Điện tử, Vi mạch, Kỹ thuật Máy tính và kỹ sư thiết kế phần cứng đang nghiên cứu về kiến trúc SoC/NoC và vi mạch tích hợp cỡ lớn.

2. Cần kiến thức nền nào để học?

Người học cần hoàn thành các môn học tiên quyết bao gồm: Mạch điện tử số, Ngôn ngữ mô tả phần cứng (VHDL/Verilog), Kiến trúc máy tính và Vi xử lý. Kiến thức cơ bản về lý thuyết mạng và lý thuyết mờ sẽ hỗ trợ việc tiếp thu Chương 2 và Chương 6.

3. Điểm khác biệt của giáo trình so với các tài liệu khác?

Tài liệu tập trung trực tiếp vào vi kiến trúc phần cứng mức RTL và các giải pháp thực thi trên silicon (như phương pháp mux-selection, thiết kế test wrapper có chức năng bypass), kết hợp giải pháp điều khiển công suất bằng logic mờ và kiểm tra mạch dị bộ ANOC thay vì chỉ dừng lại ở mô phỏng phần mềm ở mức trừu tượng cao.

4. Làm sao để tự học hiệu quả?

Người học nên đọc song song giữa phần phân tích nguyên lý và sơ đồ khối vi kiến trúc; sau đó sử dụng các công cụ EDA tiêu chuẩn (như ModelSim, Vivado, Synopsys) để thực hành viết mã RTL và mô phỏng kiểm chứng các khối chức năng được trình bày trong Chương 3, 4 và 7.

5. Có tài liệu bổ trợ nào kèm theo giáo trình?

Giáo trình cung cấp danh mục từ viết tắt chuẩn hóa (ASIC, ATPG, DVFS, GALS, NoC, RTL, TAM, VFI...), danh mục hình vẽ, bảng biểu kỹ thuật chi tiết cùng hệ thống hơn 140 tài liệu tham khảo khoa học quốc tế ở cuối sách.


Kết luận

Giáo trình Mạng Trên Chip: Thiết Kế, Kiểm Tra và Tối Ưu Hóa Hiệu Suất cung cấp cơ sở khoa học và phương pháp luận kỹ thuật hoàn chỉnh về mô hình truyền thông mạng trên silicon. Nội dung giáo trình giải quyết ba bài toán kỹ thuật trọng tâm trong thiết kế vi mạch phức tạp: nâng cao hiệu năng truyền thông phân đoạn, tối ưu hóa công suất tiêu thụ và bảo đảm khả năng kiểm tra lỗi chế tạo. Với cấu trúc học thuật mạch lạc và các dữ liệu thực nghiệm trên FPGA/ASIC, tài liệu là nguồn tham khảo chuyên môn phục vụ công tác giảng dạy, nghiên cứu và phát triển trong lĩnh vực vi mạch bán dẫn.