Kiểm tra thiết kế phần cứng số
Digital hardware design verification
Mô tả học phần
Môn học này trang bị cho sinh viên các kiến thức về kiểm tra thiết kế phần cứng số: quy trình kiểm tra, các phương pháp kiểm tra phần cứng số: dựa trên mô phỏng, kiểm tra hình thức,kiểm tra tương đương, xây dựng testbench, viết các xác nhận kiểm tra Môn học cũng cung cấp cho sinh viên kỹ năng thực hành và thái độ cần thiết khi làm thực nghiệm, giới thiệu quy trình thiết kế và kiểm chứng một thiết kế phần cứng số, và phát triển kỹ năng làm việc nhóm, báo cáo và thuyết trình
English description
This course is to provide students with knowledge of digital hardware verification: verification methodology, simulation-based, formal-based verification and equivalence checking methods, development of testbench, and assertions The course also provides students with practical skills and necessary attitudes in order to conduct experiments, introduces to digital hardware verification methodology and develops teamwork and presentation skills
Chuẩn đầu ra học phần (CLO) 5
Bấm vào từng chuẩn đầu ra để xem bản tiếng Anh, liên kết PLO và mức độ đóng góp.
-
CLO1 Trình bày và giải thích được các khái niệm, nguyên tắc và quy trình cơ bản của kiểm tra thiết kế phần cứng số, bao gồm các phương pháp kiểm tra dựa trên mô phỏng và kiểm tra hình thức.
Present and explain the fundamental concepts, principles, and processes of digital hardware design verification, including simulation-based verification and formal verification methods.
-
CLO2 Phân tích được hành vi và tính đúng đắn chức năng/thời gian của thiết kế phần cứng số thông qua mô phỏng, sử dụng các nguyên tắc mô phỏng và chỉ số đánh giá như độ bao phủ mã.
Analyze the behavior and functional/timing correctness of digital hardware designs through simulation, applying simulation principles and evaluation metrics such as code coverage.
-
CLO3 Áp dụng được kiến thức để thiết kế và phát triển testbench hoàn chỉnh cho các khối phần cứng số, bao gồm tạo kích thích, đồng bộ xung nhịp, quan sát và kiểm tra đầu ra.
Apply knowledge to design and develop a complete testbench for digital hardware blocks, including stimulus generation, clock synchronization, output observation, and result checking.
-
CLO4 Phân tích và áp dụng được các phương pháp kiểm tra hình thức, bao gồm mô hình toán học của thiết kế số và kỹ thuật model checking, để xác minh tính đúng đắn của hệ thống.
Analyze and apply formal verification methods, including mathematical models of digital designs and model checking techniques, to verify the correctness of a system.
-
CLO5 Thiết kế, triển khai và đánh giá toàn diện một giải pháp kiểm tra cho một hệ thống phần cứng số (ví dụ bộ xử lý RISC), đồng thời thể hiện kỹ năng làm việc nhóm, báo cáo và thuyết trình kỹ thuật.
Design, implement, and comprehensively evaluate a verification solution for a digital hardware system (e.g., a RISC processor), while demonstrating teamwork skills and the ability to prepare technical reports and presentations.
Đánh giá học phần
| Thành phần | Tỉ trọng | Thời gian |
|---|---|---|
| Đánh giá cuối kỳ (Final Examination) | 70.0% | Theo lịch của Trường |
| Đánh giá giữa kỳ | 30.0% | Tuần 9-11 (week 9-11) |
Tài liệu học tập
Bắt buộc
- [1] Hardware Design Verification: Simulation and Formal Method-Based Approaches, William K. Lam, 2005, Prentice Hall PTR