Digital hardware design verification
Kiểm tra thiết kế phần cứng số
Course 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
Tiếng Việt
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
Course Learning Outcomes (CLOs) 5
Click each outcome to see the translation, mapped PLOs and contribution level.
-
CLO1 Present and explain the fundamental concepts, principles, and processes of digital hardware design verification, including simulation-based verification and formal verification methods.
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.
-
CLO2 Analyze the behavior and functional/timing correctness of digital hardware designs through simulation, applying simulation principles and evaluation metrics such as code coverage.
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ã.
-
CLO3 Apply knowledge to design and develop a complete testbench for digital hardware blocks, including stimulus generation, clock synchronization, output observation, and result checking.
Á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.
-
CLO4 Analyze and apply formal verification methods, including mathematical models of digital designs and model checking techniques, to verify the correctness of a system.
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.
-
CLO5 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.
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.
Assessment
| Component | Weight | Timing |
|---|---|---|
| Đá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) |
Learning materials
Required
- [1] Hardware Design Verification: Simulation and Formal Method-Based Approaches, William K. Lam, 2005, Prentice Hall PTR