Third-Party IP Assurance Using AutoCheck
The use of Third-Party Intellectual Property (3PIP) in Aerospace and Defense (A&D) designs raises concerns about the level of trust that can be placed in 3PIP. In the absence of a full testbench with documentation what can be done to improve trust in 3PIP? Questa Formal AutoCheck provides an option for assessing designs with a low threshold for design comprehension. This presentation will explore the application of AutoFormal to 3PIP and provide examples of issues found in real 3PIP.
Full-access members only
Register your account to view Third-Party IP Assurance Using AutoCheck
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.