Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowChandra BhagavatulaChipStack, Inc.PresentationsNetworkingWork-in-Progress PosterSystemVerilog Assertion Syntax Correction with Knowledge Distillation: Toward LLM-Guided Automated Hardware Verification