Formal Verification Exclusive Methodology 2022

What you'll learn
Use Formal Verification effectively
Describe issues that affect results from formal tools
Use a systematic process for verification using formal methods
Apply Property Checking in Formal Verification
Have some knowledge of Formal Sign-off Methodology
Apply Formal Sign-off to the correct design block
Understand different formal verification use models of Formal Apps
Requirements
Basic knowledge of IC Digital Design and Verification
Description
About this CourseFormal verification technology covers a very wide range, Methodology is the basis of this technology, and our course will mainly focus on formal verification methodology. Through the study and understanding of methodology, we can have a preliminary understanding of formal verification technology. This course can serve as a step for us to step into the field of formal verification and lay the indispensable foundation for later application of the technology in concrete practice.Course ObjectivesThis course answers many basic questions about the field of formal verification, explains the basic principles of the underlying technology of formal verification, proposes the latest formal signoff methodology, and expounds the technical development direction in the field of formal verification. By taking this course, you will have a certain understanding of formal verification techniques, as well as some basic knowledge of formal methodology. Let's first look at some of the basic goals of this course.The use efficiency of formal verification has always been a big problem, and the correct method is essential. Regarding this issue, we will learn a...

Read more

Continue reading...