Streamlining FPU Verification with an Alternative to C-reference Model Approaches
In this webinar, you will be introduced to the Questa FPU application, explaining how it can quickly detect design inconsistencies and reduce verification time from months to days (based on an easy setup process). You will also learn how Questa Formal Verification IP (VIP) for the AMBA protocol ensures that designs incorporating AMBA adhere strictly to the protocol; all without the need for simulation.
Full-access members only
Register your account to view Streamlining FPU Verification with an Alternative to C-reference Model Approaches
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.