Publications
* denotes equal contribution
Papers
2024
- LAD’24An Iteratively-refined Dataset for High-Level Synthesis Functional Verification through LLM-Aided Bug InjectionIn The IEEE International Workshop on LLM-Aided Design (LAD), 2024
* denotes equal contribution