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

Tài liệu hướng dẫn thực hành Kỹ thuật điện tử số được biên soạn bởi Bộ môn Kỹ thuật Điện tử thuộc Trường Đại học Kỹ thuật Công nghiệp – Đại học Thái Nguyên (xuất bản năm 2021). Tài liệu giữ vai trò là học liệu thực hành bắt buộc, song hành cùng học phần lý thuyết Kỹ thuật điện tử số và đóng vai trò chuẩn bị kiến thức nền tảng cho học phần Thiết kế mạch tích hợp số trong chương trình đào tạo kỹ thuật điện, điện tử và công nghệ kỹ thuật máy tính.

Mục tiêu học tập của tài liệu tập trung vào việc trang bị cho sinh viên năng lực chuyển đổi các yêu cầu kỹ thuật thực tế thành mô hình logic nhị phân, thao tác thiết kế giải tích bằng phương pháp thủ công và ứng dụng thành thạo các công cụ tự động hóa thiết kế điện tử (EDA). Sinh viên được rèn luyện quy trình kiểm chứng thiết kế từ mức sơ đồ nguyên lý mạch cổng logic đến mức mô tả phần cứng bằng ngôn ngữ chuyên dụng.

Cấu trúc tài liệu bao gồm phần quy chuẩn phòng thí nghiệm, quy chế làm việc tại phòng thực hành TN409, TN411, hướng dẫn chi tiết các bài thực hành chuyên đề (tiêu biểu là Bài 1 với thời lượng 5 tiết) và hệ thống bài tập đánh giá cá nhân hóa. Cách tiếp cận của tài liệu đi từ trực quan, phân tích đại số Boole cổ điển đến mô phỏng tự động hóa bằng phần mềm và kiểm thử tự động thông qua ngôn ngữ mô tả phần cứng.

Điểm đặc thù của tài liệu là tính thực hành và tích hợp đa nền tảng. Thay vì chỉ sử dụng một công cụ đơn lẻ, tài liệu đối chiếu một bài toán kỹ thuật trên ba môi trường phần mềm khác nhau: Logisim, NI Multisim 14 và Mentor Graphics ModelSim 10.5, qua đó làm rõ sự tương đồng và khác biệt giữa thiết kế logic mức cổng (gate-level) và mô hình hóa chức năng mức luồng dữ liệu (dataflow architecture).


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

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

Tài liệu triển khai các chủ đề kỹ thuật thông qua các phân mục lý thuyết kết hợp thao tác thực nghiệm chi tiết:

  • Quy định thực hành và an toàn phòng thí nghiệm: Xác lập nội quy vận hành thiết bị tại các phòng thực hành TN409, TN411; quy trình kiểm tra đầu giờ, quy định xử lý vắng mặt, làm bù và tiêu chuẩn trình bày quyển báo cáo thực hành (khổ A4, đóng bìa mềm theo biểu mẫu quy định).
  • Mô tả bài toán kỹ thuật và thiết kế giải tích thủ công: Hướng dẫn phương pháp số hóa bài toán logic qua ví dụ cụ thể: Hệ thống cảnh báo chuông trên ô tô. Quy trình xác định 4 biến đầu vào nhị phân gồm Chìa khóa đề ($K$), Trạng thái cửa xe ($D$), Đèn xe ($L$), Dây an toàn ($S$) và biến đầu ra Tín hiệu chuông ($A$). Xây dựng bảng chân lý với 16 tổ hợp trạng thái, biểu diễn hàm dưới dạng tuyển chuẩn tắc $\sum m(2,3,6,7,8,10,12,13,14,15)$ và hội chuẩn tắc $\prod M(0,1,4,5,9,11)$. Tối giản hàm logic bằng phương pháp bìa Karnaugh để thu được phương trình tối ưu dạng tuyển: $$F(K, D, L, S) = \overline{K}L + K\overline{S} + KD$$
  • Thiết kế và mô phỏng trên phần mềm Logisim: Giới thiệu công cụ Logisim chạy trên môi trường Java. Hướng dẫn khai thác cửa sổ Computational Analysis để nhập biến vào/ra, thiết lập bảng chân lý, kích hoạt thuật toán rút gọn hàm dạng tổng các tích (Sum of Product) hoặc tích các tổng (Product of Sum) và sử dụng chức năng Build Circuit để tự động sinh sơ đồ mạch nguyên lý bằng cổng logic cơ bản (AND, OR, NOT) hoặc toàn cổng NAND 2 đầu vào.
  • Phân tích và mô phỏng mạch logic số với NI Multisim 14: Cài đặt gói phần mềm NI Circuit Design Suite 14.0 và kích hoạt giấy phép. Hướng dẫn lấy linh kiện họ TTL, thiết kế sơ đồ mạch logic, đấu nối với thiết bị chuyển đổi logic chuyên dụng Logic Converter (XLC1). Sử dụng Logic Converter để tự động trích xuất bảng chân lý, chuyển đổi sang biểu thức Boolean tối giản ($A'C + AD' + AB$) và chuyển đổi ngược thành sơ đồ mạch tương đương dùng toàn cổng NAND. Kiểm chứng hoạt động logic theo thời gian thực bằng công tắc số (phím Space) và đèn LED chỉ thị.
  • Thiết kế và mô phỏng mạch logic số theo VHDL bằng ModelSim 10.5: Giới thiệu phần mềm ModelSim (Mentor Graphics), quy trình cài đặt và cấu hình biến môi trường LM_LICENSE_FILE. Soạn thảo mã nguồn VHDL trên Notepad++ với đuôi mở rộng .vhd, khai báo thư viện IEEE.STD_LOGIC_1164.ALL, định nghĩa thực thể entity BT1 và kiến trúc luồng dữ liệu architecture dataflow sử dụng cấu trúc gán có điều kiện WHEN ... ELSE.
  • Kỹ thuật mô phỏng và kiểm thử trên ModelSim: Triển khai 3 phương pháp mô phỏng:
    1. Mô phỏng thủ công không dùng Testbench: Gán xung Clock cho các biến đầu vào $a, b, c, d$ với chu kỳ tăng dần lần lượt là $10\text{ ns}, 20\text{ ns}, 40\text{ ns}, 80\text{ ns}$ ở chế độ cạnh xuống (Falling Edge) để quét đầy đủ từ 0000 đến 1111, theo dõi giản đồ sóng trong cửa sổ Wave.
    2. Mô phỏng tự động thông qua dòng lệnh và Testbench: Sử dụng giao diện Transcript với các lệnh vlib work, vcom, vsim, add wave, run. Xây dựng file kịch bản tự động run.do và các file kiểm thử: VD1_tb.vhd (kiểm tra nhanh các trường hợp đầu ra bằng 1 thông qua cấu trúc assert ... report), VD1_tb2.vhd (sử dụng kiểu bản ghi record và mảng dữ liệu sample_array kết hợp vòng lặp for loop để kiểm tra toàn bộ 16 trường hợp) và Alarm_test (tự động so sánh giá trị mô phỏng với giá trị lý thuyết kỳ vọng).
    3. Mô phỏng bằng giao diện đồ họa (GUI): Khởi tạo Project, biên dịch mã nguồn, liên kết thư viện Work, nạp mô phỏng qua menu Simulate và xuất tín hiệu ra cửa sổ sóng (Signals in Region).
  • Bài tập thực hành cá nhân hóa: Đề bài thiết kế khối điều khiển cho hệ thống giám sát nhiệt độ dải $0^\circ\text{C} - 100^\circ\text{C}$ sử dụng bộ biến đổi ADC 4-bit ($x_3 x_2 x_1 x_0$), điều khiển đèn hiển thị $F$ với sai số cho phép $4^\circ\text{C}$. Yêu cầu sinh viên triển khai thiết kế trên cả 3 công cụ (Logisim, Multisim, ModelSim) dựa trên bảng thông số dải nhiệt độ được phân bổ riêng cho 80 mã số sinh viên.

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

Nội dung giáo trình củng cố các nguyên lý lý thuyết cơ bản:

  • Đại số logic Boole, các định lý De Morgan, phương pháp biểu diễn hàm dạng tuyển/hội chuẩn tắc (SOP/POS).
  • Kỹ thuật tối thiểu hóa hàm logic bằng bìa Karnaugh 4 biến.
  • Cơ chế hoạt động của các cổng logic cơ bản (AND, OR, NOT) và tính chất vạn năng của cổng NAND.
  • Cú pháp và cấu trúc ngữ nghĩa của ngôn ngữ mô tả phần cứng VHDL theo chuẩn IEEE, bao gồm thực thể (Entity), kiến trúc (Architecture), thành phần (Component), cổng ánh xạ (Port Map) và tiến trình (Process).

Kỹ năng phát triển

Thông qua các bài học, tài liệu rèn luyện cho người học các kỹ năng chuyên môn:

  • Kỹ năng giải tích: Chuyển đổi ngôn ngữ mô tả bài toán kỹ thuật sang phương trình logic và sơ đồ phần cứng.
  • Kỹ năng sử dụng phần mềm chuyên ngành: Thao tác thành thạo các phần mềm CAD/EDA gồm Logisim, NI Multisim 14 và Mentor Graphics ModelSim 10.5.
  • Kỹ năng lập trình phần cứng: Viết mã nguồn mô tả kiến trúc mạch số bằng VHDL, xây dựng kịch bản kiểm thử (Testbench) tự động và tạo file script điều khiển (run.do).
  • Kỹ năng phân tích dạng sóng: Đọc, giải đoán và đối chiếu giản đồ sóng thời gian thực với bảng chân lý để phát hiện lỗi logic hoặc lỗi cú pháp.

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

Tài liệu áp dụng phương pháp sư phạm tích hợp lý thuyết - thực hành - tự động hóa, chia tiến trình học tập thành ba giai đoạn kế tiếp nhau:

Bài tập và thực hành thực tế

Tài liệu gắn liền bài học với các trường hợp ứng dụng thực tế. Bài toán dẫn xuất là hệ thống chuông báo an toàn trên xe hơi (kết hợp các điều kiện về chìa khóa, cửa xe, dây an toàn, đèn chiếu sáng). Bài tập giao việc cá nhân hóa là hệ thống giám sát nhiệt độ công nghiệp tích hợp cảm biến và bộ biến đổi ADC 4-bit, trong đó mỗi sinh viên trong danh sách 80 người được phân công một dải nhiệt độ tác động khác nhau, ngăn chặn việc sao chép dữ liệu và yêu cầu sinh viên tự giải mã bảng chân lý cho đề bài của mình.

Phương pháp đánh giá

Điểm đánh giá học phần thực hành được cấu thành từ hai thành phần chính:

  1. Điểm quá trình tại phòng thí nghiệm: Đánh giá sự chuẩn bị bài ở nhà (kiểm tra đầu giờ), ý thức chấp hành nội quy an toàn, tác phong thực hành, kỹ năng thao tác trên phần mềm và việc thu thập số liệu đúng giờ.
  2. Điểm báo cáo kết thúc học phần: Đánh giá quyển báo cáo thực hành (khổ A4, đóng bìa mềm theo Mẫu 01), bao gồm phần tổng hợp kết quả, bản vẽ đặc tính, giản đồ sóng, nhận xét so sánh giữa lý thuyết với thực nghiệm và xác nhận hoàn thành 03 bài thực hành từ cán bộ hướng dẫn (Mẫu 02).

Hướng dẫn tự học

Sinh viên được yêu cầu tự cài đặt các môi trường phần mềm (Logisim, Multisim 14, ModelSim 10.5, Notepad++) trên máy tính cá nhân dựa theo tài liệu hướng dẫn kỹ thuật; tự soạn thảo trước mã nguồn .vhd và các file testbench .vhd trước khi đến lớp để tối ưu hóa thời gian chạy mô phỏng tại phòng máy.


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

  • Tích hợp công cụ toàn diện: Tài liệu kết hợp cả ba cấp độ công cụ mô phỏng trong cùng một chương trình đào tạo: Logisim (trực quan hóa sư phạm), Multisim (mô phỏng mạch điện tử tương tự/số mức linh kiện thực tế) và ModelSim (công cụ mô phỏng ngôn ngữ mô tả phần cứng chuẩn công nghiệp của Mentor Graphics).
  • Kỹ thuật kiểm thử tự động hóa nâng cao (Advanced Testbench): Thay vì chỉ dừng lại ở phương pháp kích thích tín hiệu thủ công, tài liệu hướng dẫn xây dựng các khối Testbench phức hợp sử dụng kiểu dữ liệu bản ghi (record), mảng dữ liệu (array) và cấu trúc điều kiện assert ... report ... severity error, phản ánh đúng quy trình kiểm thử thiết kế vi mạch (ASIC/FPGA) hiện đại.
  • Tối ưu hóa quy trình làm việc bằng kịch bản (Automation Scripting): Hướng dẫn sử dụng tệp lệnh run.do để tự động hóa toàn bộ chu trình biên dịch thư viện, nạp mô phỏng, cấu hình dạng sóng và thực thi lệnh chạy thời gian (run 1000 ns), giúp tiết kiệm thời gian thao tác lặp lại trên giao diện đồ họa.
  • Cá nhân hóa dữ liệu đánh giá: Bảng phân phối tham số thực hành với 80 bộ dữ liệu nhiệt độ khác nhau (từ mẫu số 1 đến mẫu số 80) gắn trực tiếp với mã số sinh viên, đảm bảo tính độc lập và trung thực trong quá trình thực hiện bài tập.

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

  • Sinh viên đại học chính quy: Sinh viên năm thứ hai hoặc năm thứ ba thuộc các chuyên ngành Kỹ thuật Điện tử, Kỹ thuật Điều khiển và Tự động hóa, Kỹ thuật Máy tính, Điện tử - Viễn thông và Cơ điện tử đang theo học học phần Kỹ thuật điện tử số hoặc chuẩn bị học Thiết kế mạch tích hợp số.
  • Điều kiện tiên quyết: Người học cần hoàn thành học phần lý thuyết Kỹ thuật điện tử số, nắm vững đại số Boole, cấu trúc các cổng logic cơ bản, phương pháp biến đổi bìa Karnaugh; có kỹ năng cơ bản về tin học và cài đặt phần mềm trên hệ điều hành Windows.
  • Giảng viên và cán bộ hướng dẫn thực hành: Tài liệu đóng vai trò là đề cương thực hành chuẩn hóa, cung cấp ngân hàng thông số bài tập phân chia theo danh sách lớp và biểu mẫu chấm điểm, quản lý phòng thí nghiệm TN409, TN411.
  • Kỹ sư và người tự học: Phù hợp cho người học ngành kỹ thuật muốn tiếp cận phương pháp mô phỏng mạch logic số từ mức cổng logic cơ bản đến việc làm quen với cú pháp VHDL và công cụ ModelSim.

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

1. Tài liệu này hướng dẫn những phần mềm mô phỏng cụ thể nào?

Tài liệu hướng dẫn cài đặt và sử dụng 3 phần mềm: Logisim (mô phỏng logic chạy trên nền Java), NI Multisim 14 (phần mềm thiết kế và phân tích mạch của National Instruments) và ModelSim 10.5 (trình biên dịch và mô phỏng VHDL của Mentor Graphics), kết hợp cùng công cụ soạn thảo mã nguồn Notepad++.

2. Sinh viên cần chuẩn bị những gì trước khi vào phòng thực hành?

Sinh viên phải in/photo tài liệu thực hành do bộ môn cung cấp; nghiên cứu trước tên bài, mục đích, cơ sở lý thuyết, các bước thao tác; giải trước bài toán thiết kế bằng phương pháp thủ công ra giấy; chuẩn bị vở ghi chép số liệu và vượt qua phần kiểm tra kiến thức đầu giờ của cán bộ hướng dẫn.

3. Điểm khác biệt giữa thiết kế trên Multisim và ModelSim trong tài liệu là gì?

Trên Multisim 14, sinh viên thao tác trên sơ đồ nguyên lý mạch điện (schematic capture), sử dụng các cổng logic phần cứng rời rạc họ TTL và công cụ Logic Converter để phân tích/chuyển đổi biểu thức Boole. Trên ModelSim 10.5, thiết kế được mô tả dưới dạng dòng lệnh mã nguồn VHDL (Hardware Description Language) và kiểm thử thông qua các đoạn mã Testbench và giản đồ sóng thời gian thực.

4. Làm thế nào để tự động kiểm tra lỗi thiết kế VHDL mà không cần quan sát dạng sóng?

Tài liệu hướng dẫn viết file Testbench kiểm thử tự động (ví dụ file Alarm_test). Trong file này, các mẫu thử đầu vào và đầu ra mong muốn được định nghĩa sẵn trong một mảng (sample_array). Tiến trình kiểm tra sử dụng vòng lặp for để nạp từng mẫu và dùng câu lệnh:

assert Fout = test_data(i).F report "output F is wrong!" severity error;

Nếu có sự sai lệch giữa đầu ra mô phỏng và bảng chân lý, phần mềm sẽ tự động báo lỗi trên cửa sổ Transcript.

5. Quy định xử lý khi sinh viên vắng mặt buổi thực hành như thế nào?

Sinh viên không được phép tự ý bỏ buổi thực hành. Trường hợp ốm đau có giấy xác nhận y tế hoặc trùng lịch học có báo trước tối thiểu 02 ngày mới được xem xét đăng ký làm bù. Nếu vắng mặt từ 01 buổi trở lên không có lý do chính đáng, sinh viên sẽ bị đánh giá điểm 0 cho phần thực hành.


Kết luận

Tài liệu hướng dẫn thực hành Kỹ thuật điện tử số của Trường Đại học Kỹ thuật Công nghiệp – Đại học Thái Nguyên cung cấp một lộ trình thực hành có hệ thống, chuẩn hóa từ các bước giải tích logic thủ công truyền thống đến kỹ thuật mô phỏng trên các công cụ chuyên dụng Logisim, Multisim và mô tả phần cứng VHDL trên ModelSim. Tài liệu định hình rõ các bước thao tác, kỹ thuật viết testbench kiểm thử tự động và hệ thống bài tập cá nhân hóa gắn liền với bài toán kỹ thuật thực tế. Để đạt kết quả tối ưu, người học cần kết hợp chặt chẽ giữa việc học lý thuyết mạch số, rèn luyện kỹ năng viết mã mô tả phần cứng và tuân thủ các quy chuẩn thực nghiệm tại phòng thí nghiệm.