Yunlin Du

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Natural Language Processing (1)

Frequent co-authors

Yonghao Wang (1)Yang Yin (1)Hongqin Lyu (1)Hongqin Lyu (1)

Papers (1)

Apr 8, 2026

2w ago·also CAS, NJU, USTC

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations

LLMs can now write better hardware verification code: CoverAssert boosts functional coverage by up to 15% by iteratively guiding LLMs with coverage feedback.

Yonghao Wang, Yang Yin, Hongqin Lyu +11

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Natural Language Processing

Search

Yunlin Du

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)