The Course Deals With Formal Hardware Verification, Combining Theory And Advanced Real-life Use, Emphasizing Principles and Methodologies To Overcome T Theoretical Limitations of Formal Methods. The Course Material Includes an Introduction to Chip Design and Hardware Verification, Exploration of Formal Verification Algorithms And Search Engines, Use of Temporal Logic and Sva, Reduction Methods, Formal Applications For Ip and Soc Designs, Logic Equivalence And Coverage, Security Specifications and Verifications, Machine Learning In Formal Verification. Learning Outcomes# With The Completion of The Course, Students Will Be Able to Use The Learned Ideas and Concepts of Verification, Especially in Formal Verification. The Students Will Deeply Understand Different Applications and Modern Tools Used in Industry and With Advanced Verification Methods. The Knowledge Acquired in The Course Will Serve As an Excellent Basis For Research and Development of Verification Tools and Methods.

Faculty: Electrical and Computer Engineering
|Undergraduate Studies |Graduate Studies
Pre-required courses

44252 - Digital Systems and Computer Structure