Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowYifei DengAcademy of Military Sciences; University of Electronic Science and Technology of ChinaPresentationsWork-in-Progress PosterFrom RTL to Prompt: AN LLM-assisted Verification Methodology for General ProcessorAIAutonomous SystemsCloudDesignEDAEmbedded SystemsIPSecurity
