Close

Presenter

Bingkun Yao
City University of Hong Kong
Presentations
Research Manuscript
Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design
4:15pm - 4:30pm PDT Wednesday, June 25 3003, Level 3
EDA
EDA2: Design Verification and Validation
Research Manuscript
Age-of-Information Minimization for Data Aggregation in Energy-Harvesting IoTs
4:45pm - 5:00pm PDT Monday, June 23 3008, Level 3
Systems
SYS2: Design of Cyber-Physical Systems and IoT
Research Manuscript
Location is Key: Leveraging LLM for Functional Bug Localization in Verilog Design
5:15pm - 5:30pm PDT Tuesday, June 24 3008, Level 3
Systems
SYS3: Embedded Software