Meihua Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2025–2026
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ISCAS | VERIMLA: A Unified Framework for Verilog Generation via Multi-Level Alignment and Formal Equivalence Verification. | Wing W. Y. Ng, Jiale Chen, Jiayi Zhang, Wen Li, Meihua Liu |
| 2026 | ISCAS | SVVHD: An Open-Source and Self-Verified Benchmark Framework for LLM Evaluation in VHDL Code Generation. | Jiayi Zhang, Yan Huang, Jiale Chen, Meihua Liu |
| 2025 | TASE | Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification. | Wenda Leng, Meihua Liu, Yufeng Jin |