Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowNguyen LeMicrosoftPresentationsEngineering Track PosterRapid Retargeting of Formal Connectivity Verification of AI FPGA SystemsBack-End DesignEmbedded SystemsFront-End DesignIP