Formal Verification: Key Technical Points 2022

[mitsumi]

Published 12/2022
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz
Language: English | Size: 714.75 MB | Duration: 2h 1m

Get all KEY technical points of Formal verification & Comprehensive introduction

What you'll learn
Use a systematic process for verification using formal methods
Describe Formal Analysis terminology
Apply Property Checking in Formal Verification
Have some knowledge of Formal Sign-off Methodology
Identify designs upon which formal is likely to be successful, while understanding formal complexity issues
Provide coverage metrics for formal verification to establish confidence in formal results
Understand different formal verification use models of Formal Apps
Requirements
Basic knowledge of IC Digital Design and Verification
Description
About this CourseFormal verification, especially Formal Signoff, covers a wide range of technologies and has relatively high requirements for users. There is a big difference between the verification work done by Formal verification engineers and traditional simulation engineers. The main job of the traditional simulation verification engineer is to write test cases to verify the design function, while most of the work of the formal verification engineer is to model the design behavior, which requires the formal verification engineer to understand the design functions deeply.This course is a fundamental introduction to all important technical points in the current field of Formal verification. For each technical point, the course mainly focuses on a brief introduction and concepts but no in-depth discussion. By learning the basics of these technical points, students will have a preliminary understanding of Formal verification technology. This course can be used as the first and necessary ladder for everyone who wants to step into the field of Formal verification. Moreover, it will lay an indispensable foundation for students to apply Formal verification technology to practices in the future.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.In order to use formal verification reasonably and effectively, it is often necessary to consider the entire verification process as a whole to play a role of formal verification. It is very necessary to apply formal methods to the verification process in a systematic process.The basic principle of Formal verification is to verify the functional correctness of the design based on logical derivation and mathematical proof. Formal tools model the design's behavior. On the compiled design model, through the traversal exhaustive feature, Formal tools analyze whether the properties are consistent with the design's behavior in all reachable state space cycle by cycle.The goal of formal verification is in the form of property checking. The features of the design function are abstractly extracted one by one according to the description of the Spec, and these extracted features are translated and expressed through a property-based language. Then build a platform environment for property-based formal testing to compare with the functions in the design RTL code to verify the correctness of the design functions.Formal verification, due to its fully proven nature, enables full functional verification of design modules and can be delivered as a final functional sign-off. A comprehensive Formal signoff methodology is provided in this course.The complexity is a significant problem in Formal Signoff. In the Formal Signoff flow, users have to spend a lot of time and effort analyzing and solving the problem of complexity in the design. This course explains the leading causes of complexity in a design, the relationship between the complexity and the properties, and how to analyze the impact of the complexity in Formal verification.Coverage is another significant problem in Formal Signoff. The results of assertions represent the functional correctness of Formal verification. However, verification is a matter of confidence, and a complete verification flow must consider completeness. Regardless of whether it is the Formal Signoff with full proof or the Signoff with coverage, the coverage plays a vital role in the Formal Signoff flow.In addition to sign-off, there are many simple and easy-to-use formal applications of formal verification. These out-of-the-box applications provide corresponding formal solutions for different verification problems, which enable beginners or engineers without formal verification technical backgrounds to quickly and efficiently solve some problems encountered in verification.Course AgendaFormal Verification OverviewIn this chapter, we will introduce what formal verification is, its historical perspective, current trends, why it is needed, its requirements, its challenges, formal verification tool vendors, a comparison of the main vendors' tool features, and Formal capability levels.Formal AnalysisIn this chapter, we will introduce the formal verification framework, compiling a formal model, formal model concepts, applying a proof algorithm, formal proof results.Property CheckingIn this chapter, we will cover formal property verification, property checking, property checking guidelines, end-to-end property checking, constraint development.Formal sign-offIn this chapter, we will cover ROI and criteria of formal signoff, formal signoff testbench, formal signoff environment, formal sign-off with full prove flow, formal sign-off with coverage flow.ComplexityIn this chapter, we will cover Cone of Influence(COI), the definition of complexity, measurement of complexity, properties and complexity, complexity analysis.CoverageIn this chapter, we will introduce definition of code and functional coverage, metrics types of coverage, controllability and observability of coverage, measurement of formal coverage, criteria of formal coverage.Formal Verification ApplicationsAs the out-of-the-box nature of formal verification applications is more and more accepted, it is becoming popular in the verification field. At present, the major formal verification tool suppliers are constantly launching their own formal verification applications. In this chapter, we will introduce some of the most used formal verification applications today.
Overview
Section 1: Introduction to Formal Verification
Lecture 1 Introduction to Formal Verification
Section 2: Formal Verification Overview
Lecture 2 Formal Verification Overview
Section 3: Formal Analysis
Lecture 3 Formal Analysis
Section 4: Property Checking
Lecture 4 Property Checking
Section 5: Formal Sign-off
Lecture 5 Formal Sign-off
Section 6: Complexity
Lecture 6 Complexity
Section 7: Coverage
Lecture 7 Coverage
Section 8: Formal Application Apps
Lecture 8 Formal Application Apps
Section 9: Quiz
Formal Engineers,RTL Design Engineers,IP Designers,Verification Engineers,DV ManagersSystem Architects,DV Managers

Download link

rapidgator.net:

https://rapidgator.net/file/b39aa12af66effce54350f225a38d255/xsgqj.Formal.Verification.Key.Technical.Points.2022.rar.html

uploadgig.com:

https://uploadgig.com/file/download/d33675495eC7d48B/xsgqj.Formal.Verification.Key.Technical.Points.2022.rar

nitroflare.com:

https://nitroflare.com/view/7D9AAE1929DE895/xsgqj.Formal.Verification.Key.Technical.Points.2022.rar

1dl.net:

https://1dl.net/k1izsok3hha5/xsgqj.Formal.Verification.Key.Technical.Points.2022.rar