AI Assisted FPU Verification Using Questa One SFV
One of the key components of the AI revolution is Floating Point Hardware design. Design targeting AI requires at times fast computing with low precision and at times very high precision in its calculations.
In this webinar we show how Questa One AI assisted tools for Static Formal, help to generate full formal verification checkers for user defined functionality including floating-point operations.
Full-access members only
Register your account to view AI Assisted FPU Verification Using Questa One SFV
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.