Rapid Retargeting of Formal Connectivity Verification of AI FPGA Systems
This presentation describes the development and implementation of a formal-based application flow to successfully address the unique challenges encountered in dynamically retargeting connectivity verification to multiple variants of large-scale, complex FPGA-based, AI-centric cloud hardware designs.
Full-access members only
Register your account to view Rapid Retargeting of Formal Connectivity Verification of AI FPGA Systems
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.