Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowDipayan SahaUniversity of FloridaPresentationsNetworkingWork-in-Progress PosterSystemVerilog Assertion Syntax Correction with Knowledge Distillation: Toward LLM-Guided Automated Hardware Verification6:00pm - 7:00pm PDT Monday, June 23 Level 2 LobbyDES5: Emerging Device and Interconnect Technologies