Zhengyuan Shi - RankMe

55 papers A* 6A 11Misc 1Journal 32Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models. ASP-DAC Chenhao Xue, Kezhi Li, Jiaxing Zhang, Yi Ren, Zhengyuan Shi, Chen Zhang, Yibo Lin, Lining Zhang, Qiang Xu, Guangyu Sun
2026	J	`jnl`	CktEvo: Repository-Level RTL Code Benchmark for Design Evolution. CoRR Zhengyuan Shi, Jingxin Wang, Tairan Cheng, Changran Xu, Weikang Qian, Qiang Xu
2026	—	`conf`	DeepCut: Structure-Aware GNN Framework for Efficient Cut Timing Prediction in Logic Synthesis. ASP-DAC Lingfeng Zhou, Yilong Zhou, Hao Gong, Zhengyuan Shi, Qiang Xu, Zhufei Chu, Yue Wu, Xiaoyan Yang
2026	A*	`conf`	DynamicRTL: RTL Representation Learning for Dynamic Circuit Behavior. AAAI Ruiyang Ma, Yunhao Zhou, Yipeng Wang, Yi Liu, Zhengyuan Shi, Ziyang Zheng, Kexin Chen, Zhiqiang He, Lingwei Yan, Gang Chen, Qiang Xu, Guojie Luo
2026	J	`jnl`	GNN-based Path-aware multi-view Circuit Learning for Technology Mapping. CoRR Wentao Jiang, Jingxin Wang, Zhang Hu, Zhengyuan Shi, Chengyu Ma, Qiang Xu, Weikang Qian, Zhufei Chu
2026	J	`jnl`	Rethinking Clause Management for CDCL SAT Solvers. CoRR Yalun Cai, Xindi Zhang, Zhengyuan Shi, Mengxia Tao, Qiang Xu
2025	J	`jnl`	AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models. CoRR Chenhao Xue, Kezhi Li, Jiaxing Zhang, Yi Ren, Zhengyuan Shi, Chen Zhang, Yibo Lin, Lining Zhang, Qiang Xu, Guangyu Sun
2025	J	`jnl`	Alignment Unlocks Complementarity: A Framework for Multiview Circuit Representation Learning. CoRR Zhengyuan Shi, Jingxin Wang, Wentao Jiang, Chengyu Ma, Ziyang Zheng, Zhufei Chu, Weikang Qian, Qiang Xu
2025	J	`jnl`	Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities. CoRR Jiaying Zhu, Ziyang Zheng, Zhengyuan Shi, Yalun Cai, Qiang Xu
2025	J	`jnl`	Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems. ACM Trans. Embed. Comput. Syst. Zhengyuan Shi, Cheng Chen, Gangqiang Yang, Hongchao Zhou, Hailiang Xiong, Zhiguo Wan
2025	J	`jnl`	DeepCell: Multiview Representation Learning for Post-Mapping Netlists. CoRR Zhengyuan Shi, Chengyu Ma, Ziyang Zheng, Lingfeng Zhou, Hongyang Pan, Wentao Jiang, Fan Yang, Xiaoyan Yang, Zhufei Chu, Qiang Xu
2025	A	`conf`	DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning. ICCAD Zhengyuan Shi, Chengyu Ma, Ziyang Zheng, Lingfeng Zhou, Hongyang Pan, Wentao Jiang, Fan Yang, Xiaoyan Yang, Zhufei Chu, Qiang Xu
2025	J	`jnl`	DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis. CoRR Zeju Li, Changran Xu, Zhengyuan Shi, Zedong Peng, Yi Liu, Yunhao Zhou, Lingfeng Zhou, Chengyu Ma, Jianyuan Zhong, Xi Wang, Jieru Zhao, Zhufei Chu, Xiaoyan Yang, Qiang Xu
2025	A*	`conf`	DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale. ICLR Ziyang Zheng, Shan Huang, Jianyuan Zhong, Zhengyuan Shi, Guohao Dai, Ningyi Xu, Qiang Xu
2025	J	`jnl`	DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale. CoRR Ziyang Zheng, Shan Huang, Jianyuan Zhong, Zhengyuan Shi, Guohao Dai, Ningyi Xu, Qiang Xu
2025	—	`conf`	DeepRTL2: A Versatile Model for RTL-Related Tasks. ACL (Findings) Yi Liu, Hongji Zhang, Yunhao Zhou, Zhengyuan Shi, Changran Xu, Qiang Xu
2025	J	`jnl`	DeepRTL2: A Versatile Model for RTL-Related Tasks. CoRR Yi Liu, Hongji Zhang, Yunhao Zhou, Zhengyuan Shi, Changran Xu, Qiang Xu
2025	—	`conf`	DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations. ASP-DAC Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu
2025	J	`jnl`	DynamicRTL: RTL Representation Learning for Dynamic Circuit Behavior. CoRR Ruiyang Ma, Yunhao Zhou, Yipeng Wang, Yi Liu, Zhengyuan Shi, Ziyang Zheng, Kexin Chen, Zhiqiang He, Lingwei Yan, Gang Chen, Qiang Xu, Guojie Luo
2025	A	`conf`	DynamicSAT: Dynamic Configuration Tuning for SAT Solving. CP Zhengyuan Shi, Wentao Jiang, Xindi Zhang, Jin Luo, Yun Liang, Zhufei Chu, Qiang Xu
2025	J	`jnl`	ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA. CoRR Zhengyuan Shi, Zeju Li, Chengyu Ma, Yunhao Zhou, Ziyang Zheng, Jiawei Liu, Hongyang Pan, Lingfeng Zhou, Kezhi Li, Jiaying Zhu, Lingwei Yan, Zhiqiang He, Chenhao Xue, Wentao Jiang, Fan Yang, Guangyu Sun, Xiaoyan Yang, Gang Chen, Chuan Shi, Zhufei Chu, Jun Yang, Qiang Xu
2025	J	`jnl`	Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism. CoRR Ziyang Zheng, Kezhi Li, Zhengyuan Shi, Qiang Xu
2025	A*	`conf`	Late Breaking Results: Hybrid Logic Optimization with Predictive Self-Supervision. DAC Rongliang Fu, Ran Zhang, Ziyang Zheng, Zhengyuan Shi, Yuan Pu, JunYing Huang, Qiang Xu, Tsung-Yi Ho
2025	A*	`conf`	Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving. DAC Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2025	A	`conf`	MMCircuitEval: A Comprehensive Multimodal Circuit-Focused Benchmark for Evaluating LLMs. ICCAD Chenchen Zhao, Zhengyuan Shi, Xiangyu Wen, Chengjie Liu, Yi Liu, Yunhao Zhou, Yuxiang Zhao, Hefei Feng, Yinan Zhu, Gwok-Waa Wan, Xin Cheng, Weiyu Chen, Yongqi Fu, Chujie Chen, Chenhao Xue, Ying Wang, Yibo Lin, Jun Yang, Ning Xu, Xi Wang, Qiang Xu
2025	J	`jnl`	MMCircuitEval: A Comprehensive Multimodal Circuit-Focused Benchmark for Evaluating LLMs. CoRR Chenchen Zhao, Zhengyuan Shi, Xiangyu Wen, Chengjie Liu, Yi Liu, Yunhao Zhou, Yuxiang Zhao, Hefei Feng, Yinan Zhu, Gwok-Waa Wan, Xin Cheng, Weiyu Chen, Yongqi Fu, Chujie Chen, Chenhao Xue, Guangyu Sun, Ying Wang, Yibo Lin, Jun Yang, Ning Xu, Xi Wang, Qiang Xu
2025	A	`conf`	WideGate: Beyond Directed Acyclic Graph Learning in Subcircuit Boundary Prediction. DATE Jiawei Liu, Zhiyan Liu, Xun He, Jianwang Zhai, Zhengyuan Shi, Qiang Xu, Bei Yu, Chuan Shi
2024	A	`conf`	AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction. DATE Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang
2024	A	`conf`	DeepGate3: Towards Scalable Circuit Representation Learning. ICCAD Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
2024	J	`jnl`	DeepGate3: Towards Scalable Circuit Representation Learning. CoRR Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
2024	J	`jnl`	DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations. CoRR Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu
2024	A	`conf`	DeepSeq: Deep Sequential Circuit Learning. DATE Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
2024	J	`jnl`	EDA-Driven Preprocessing for SAT Solving. CoRR Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2024	J	`jnl`	Erratum to: Large circuit models: opportunities and challenges. Sci. China Inf. Sci. Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Ru Huang, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yu Li, Yun Liang, Jinwei Liu, Yi Liu, Yibo Lin, Guojie Luo, Hongyang Pan, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Junchi Yan, Jun Yang, Bei Yu, Mingxuan Yuan, Evangeline F. Y. Young, Xuan Zeng, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2024	J	`jnl`	Large circuit models: opportunities and challenges. Sci. China Inf. Sci. Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Ru Huang, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yu Li, Yun Liang, Jinwei Liu, Yi Liu, Yibo Lin, Guojie Luo, Hongyang Pan, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Junchi Yan, Jun Yang, Bei Yu, Mingxuan Yuan, Evangeline F. Y. Young, Xuan Zeng, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2024	J	`jnl`	The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. CoRR Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Yibo Lin, Jinwei Liu, Yi Liu, Guojie Luo, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Evangeline F. Y. Young, Bei Yu, Mingxuan Yuan, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2023	J	`jnl`	Addressing Variable Dependency in GNN-based SAT Solving. CoRR Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang
2023	A	`conf`	DeepGate2: Functionality-Aware Circuit Representation Learning. ICCAD Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2023	J	`jnl`	DeepGate2: Functionality-Aware Circuit Representation Learning. CoRR Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2023	J	`jnl`	DeepSeq: Deep Sequential Circuit Learning. CoRR Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
2023	J	`jnl`	Design Space Exploration of Galois and Fibonacci Configuration Based on Espresso Stream Cipher. ACM Trans. Reconfigurable Technol. Syst. Zhengyuan Shi, Cheng Chen, Gangqiang Yang, Hailiang Xiong, Fudong Li, Honggang Hu, Zhiguo Wan
2023	J	`jnl`	Hardware Optimizations of Fruit-80 Stream Cipher: Smaller than Grain. ACM Trans. Reconfigurable Technol. Syst. Gangqiang Yang, Zhengyuan Shi, Cheng Chen, Hailiang Xiong, Fudong Li, Honggang Hu, Zhiguo Wan
2023	A*	`conf`	On EDA-Driven Learning for SAT Solving. DAC Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
2023	A	`conf`	SATformer: Transformer-Based UNSAT Core Learning. ICCAD Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2022	A*	`conf`	DeepGate: learning neural representations of logic gates. DAC Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu
2022	J	`jnl`	DeepSAT: An EDA-Driven Learning Framework for SAT. CoRR Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Qiang Xu
2022	A	`conf`	DeepTPI: Test Point Insertion with Deep Reinforcement Learning. ITC Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
2022	J	`jnl`	DeepTPI: Test Point Insertion with Deep Reinforcement Learning. CoRR Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
2022	J	`jnl`	SATformer: Transformers for SAT Solving. CoRR Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2022	Misc	`conf`	Work-in-Progress: Towards a Smaller than Grain Stream Cipher: Optimized FPGA Implementations of Fruit-80. CASES Gangqiang Yang, Zhengyuan Shi, Cheng Chen, Hailiang Xiong, Honggang Hu, Zhiguo Wan, Keke Gai, Meikang Qiu
2021	J	`jnl`	Design Space Exploration of Galois and Fibonacci Configuration based on Espresso Stream Cipher. IACR Cryptol. ePrint Arch. Zhengyuan Shi, Gangqiang Yang, Hailiang Xiong, Fudong Li, Honggang Hu
2021	J	`jnl`	Representation Learning of Logic Circuits. CoRR Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Yu Huang, Qiang Xu
2021	A	`conf`	Testability-Aware Low Power Controller Design with Evolutionary Learning. ITC Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu
2021	J	`jnl`	Testability-Aware Low Power Controller Design with Evolutionary Learning. CoRR Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu
2019	—	`conf`	From Courses to Contests: A Full Levels Project-driven Innovative Education Curriculum Struct. ICDTE Zhengyuan Shi, Pengwei Wang