TY - RPRT TI - VClare: Resolving Imperfect Specifications in LLM-Based Verilog Generation AU - Zhuorui Zhao AU - Bing Li AU - Yu Li AU - Zheyu Yan AU - Ulf Schlichtmann PY - 2026 UR - https://arxiv.org/abs/2607.24854 ID - 2607.24854 ER -