Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowBenjamin Carrion SchaeferThe University of Texas at DallasPresentationsResearch ManuscriptFinding Bugs in RTL Descriptions: High-Level Synthesis to the RescueEDARTL/Logic Level and High-level Synthesis