Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowJiaqi YinUniversity of Maryland, College ParkPresentationsResearch ManuscriptBoolE: Exact Symbolic Reasoning via Boolean Equality Saturation*3:30pm - 3:45pm PDT Tuesday, June 24 3006, Level 3EDAEDA5: RTL/Logic Level and High-level Synthesis
