Zhiteng Chao
Identifiers
No identifiers captured yet.
Papers (4)
- Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring cs.AI · 2026 · author #3
- From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation cs.AR · 2026 · author #7
- CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations cs.AR · 2026 · author #5
- Pecker: Bug Localization Framework for Sequential Designs via Causal Chain Reconstruction cs.AR · 2026 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Huawei Li 4 shared papers
- Hongqin Lyu 3 shared papers
- Tiancheng Wang 3 shared papers
- Yonghao Wang 3 shared papers
- Jianan Mu 2 shared papers
- Jing Ye 2 shared papers
- Wenchao Ding 2 shared papers
- Boling Chen 1 shared papers
- Feng Gu 1 shared papers
- Jiaping Tang 1 shared papers
- Jiaxin Zhou 1 shared papers
- Kan Shi 1 shared papers
- Mingyu Shi 1 shared papers
- MinYang Bao 1 shared papers
- Tianyun Ma 1 shared papers
- Yang Yin 1 shared papers
- Yunlin Du 1 shared papers