Released on July 29th, 2021.
Formal hardware verification is meanwhile a well-established design verification technique used during all design phases and addressing multiple applications.
Thanks to the very dynamic and creative formal verification communities (in the academic world but also in the industry), a lot of advanced techniques are developed to help, simplify the usage, increasing automation, enlarge number of application, and increase capacity of designs to be analyzed. In today’s verification work, non-formal experts are using formal tools in very efficient way to find bugs early in the design development process, reaching high design quality and accelerating coverage closure.
In this session, we will describe some typical formal applications and how the formal results can be integrated with other verification results.