VLSI Verification, Testing, and Security. 3 credits

Catalog description

The course explores advanced topics in VLSI verification, testing, and security, covering both theoretical foundations and hands-on applications. Students will gain expertise in formal verification, Universal Verification Methodology, constrained random verification, hardware fuzzing, fault modeling, ATPG, scan-chain design, BIST design, error correction/detection, memory testing, and AI/ML-driven verification and testing. The course also examines the interplay between verification, testing, and security in modern VLSI design. A strong emphasis is placed on hands-on experience with industry-standard CAD tools and open-source frameworks such as OpenTitan and Chipyard. This is a project-based course, and students will complete a final research-driven project on a relevant technical topic. In addition to technical content, the course enhances research and communication skills, including reading and analyzing research papers, presenting technical material, and writing paper reviews. Offered by Electrical & Comp. Engineering . May not be repeated for credit.