Author

Bing Li

h-index 9 View on Semantic Scholar

We have 3 of 38 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

SpecLens: LLM-Based Verilog Generation with Specification-Derived Constraints via Behavioral Divergence

This work proposes SpecLens, an automated framework for LLM-based Verilog generation that derives specification-driven constraints by analyzing behavioral divergence among multiple candidate implementations, using the original specification as the only external semantic source during generation.

Wen Bing, Bing Li · 0 citations

Jul 2026

VClare: Resolving Imperfect Specifications in LLM-Based Verilog Generation

The first systematic study of imperfect specifications is presented and an automated framework to repair them to enhance the quality of resulting Verilog design is proposed, demonstrating the capabilities of specification repair by {VClare} as well as further potential of LLMs in front-end hardware design.

Zhuorui Zhao, Bing Li, Yu Li et al. · arXiv.org · 0 citations

Review Jul 2026

LLM for EDA in Front-End Design: Challenges and Opportunities

This paper discusses the evolution of EDA from localized assistance to autonomous agentic execution, and reviews representative advances of LLMs in front-end design, focusing on key tasks such as circuit and testbench generation from a shared specification.

Kangwei Xu, Bing Li, Ulf Schlichtmann · 0 citations