Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowHanyuan LiuSouthwest Jiaotong UniversityPresentationsResearch ManuscriptUvmarvel: an Automated LLM-Aided UVM Machine for Subsystem-Level RTL Verification4:06pm - 4:18pm PDT Monday, July 27 Mtg Room 201BEDAEDA2. Design Verification and Validation