Zhiteng Chao - RankMe

23 papers A* 2A 1B 1Misc 1Journal 13Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs. ASP-DAC Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li
2026	J	`jnl`	Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification. CoRR Yonghao Wang, Jiaxin Zhou, Yang Yin, Hongqin Lyu, Zhiteng Chao, Wenchao Ding, Jing Ye, Tiancheng Wang, Huawei Li
2026	J	`jnl`	Pecker: Bug Localization Framework for Sequential Designs via Causal Chain Reconstruction. CoRR Jiaping Tang, Jianan Mu, TianYun Ma, Zhiteng Chao, Jing Ye, Huawei Li
2026	J	`jnl`	RTLSeek: Boosting the LLM-Based RTL Generation with Multi-Stage Diversity-Oriented Reinforcement Learning. CoRR Xinyu Zhang, Zhiteng Chao, Yonghao Wang, Bin Sun, TianYun Ma, Tianmeng Yang, Jianan Mu, Jing Justin Ye, Huawei Li
2025	J	`jnl`	A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. Integr. Zhiteng Chao, Xindi Zhang, JunYing Huang, Zizhen Liu, Yixuan Zhao, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li
2025	J	`jnl`	AssertFix: Empowering Automated Assertion Fix via Large Language Models. CoRR Hongqin Lyu, Yunlin Du, Yonghao Wang, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025	—	`conf`	AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging. ATS Hongqin Lyu, Yonghao Wang, Yunlin Du, Mingyu Shi, Zhiteng Chao, Wenxing Li, Tiancheng Wang, Huawei Li
2025	J	`jnl`	AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging. CoRR Hongqin Lyu, Yonghao Wang, Yunlin Du, Mingyu Shi, Zhiteng Chao, Wenxing Li, Tiancheng Wang, Huawei Li
2025	J	`jnl`	AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs. CoRR Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025	J	`jnl`	DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications. CoRR Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025	J	`jnl`	Extend IVerilog to Support Batch RTL Fault Simulation. CoRR Jiaping Tang, Jianan Mu, Zizhen Liu, Zhiteng Chao, Jing Ye, Huawei Li
2025	Misc	`conf`	HighTPI: A Hierarchical Graph Based Intelligent Method for Test Point Insertion. VTS Zhiteng Chao, Bin Sun, Hongqin Lyu, Ge Yu, Minjun Wang, Wenxing Li, Zizhen Liu, Jianan Mu, Shengwen Liang, Jing Ye, Xiaowei Li, Huawei Li
2025	J	`jnl`	InF-ATPG: Intelligent FFR-Driven ATPG with Advanced Circuit Representation Guided Reinforcement Learning. CoRR Bin Sun, Rengang Zhang, Zhiteng Chao, Zizhen Liu, Jianan Mu, Jing Ye, Huawei Li
2025	A*	`conf`	MOSS: Multi-Modal Representation Learning on Sequential Circuits. DAC Mingjun Wang, Bin Sun, Jianan Mu, Feng Gu, Boyu Han, Tianmeng Yang, Xinyu Zhang, Silin Liu, Yihan Wen, Hui Wang, Jun Gao, Zhiteng Chao, Husheng Han, Zizhen Liu, Shengwen Liang, Jing Ye, Bei Yu, Xiaowei Li, Huawei Li
2025	J	`jnl`	Memory-Efficient and Adaptive Heterogeneous Framework for Gate-Level Fault Simulation. ACM Trans. Design Autom. Electr. Syst. Zhiteng Chao, Feng Gu, JunYing Huang, Wenjie Li, Jing Ye, Huawei Li, Xiaowei Li
2025	J	`jnl`	ParaGate: Parasitic-Driven Domain Adaptation Transfer Learning for Netlist Performance Prediction. CoRR Bin Sun, Jingyi Zhou, Jianan Mu, Zhiteng Chao, Tianmeng Yang, Ziyue Xu, Jing Ye, Huawei Li
2025	A*	`conf`	PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT. DAC Zhiteng Chao, Xindi Zhang, Xinyu Zhang, Jianan Mu, Zizhen Liu, Shengwen Liang, Shaowei Cai, Jing Ye, Xiaowei Li, Huawei Li
2025	A	`conf`	TESLA: Testability Enhancement for Shift-Left Automation via Multi-LLM Collaboration. ITC Zhiteng Chao, Rengang Zhang, Feng Gu, Hongqin Lyu, Bin Sun, Wenxing Li, Zizhen Liu, Jianan Mu, Jing Ye, Xiaowei Li, Huawei Li
2025	J	`jnl`	Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT. CoRR Zhiteng Chao, Yonghao Wang, Xinyu Zhang, Jiaxin Zhou, Tenghui Hua, Husheng Han, Tianmeng Yang, Jianan Mu, Bei Yu, Rui Zhang, Jing Ye, Huawei Li
2024	B	`conf`	A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. ASPDAC Zhiteng Chao, Xindi Zhang, JunYing Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li
2024	—	`conf`	A Static Test Compaction Method Based on GCN Assisted Fault Gate Classification. ITC-Asia Zhiteng Chao, Qinluan Dai, Jiale Li, Zizhen Liu, Wenxing Li, Hongqin Lyu, Jing Ye, Huawei Li, Xiaowei Li
2023	—	`conf`	A Distributed ATPG System Combining Test Compaction Based on Pure MaxSAT. ATS Zhiteng Chao, Senlin Wang, Pengyu Tian, Shuwen Yuan, Huawei Li, Jing Ye, Xiaowei Li
2020	—	`conf`	Optimization Space Exploration of Hardware Design for CRYSTALS-KYBER. ATS Yixuan Zhao, Zhiteng Chao, Jing Ye, Wen Wang, Yuan Cao, Shuai Chen, Xiaowei Li, Huawei Li