Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems - Zhengyuan Shi; Cheng Chen; Gangqiang Yang; Hongchao Zhou; Hailiang Xiong; Zhiguo Wan (ACM Trans. Embed. Comput. Syst., 2025)

DeepRTL2: A Versatile Model for RTL-Related Tasks - Yi Liu; Hongji Zhang; Yunhao Zhou; Zhengyuan Shi; Changran Xu; Qiang Xu (Findings of the Association for Computational Linguistics, ACL 2025, Vienna, Austria, July 27 - August 1, 2025, 2025)

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations - Sadaf Khan; Zhengyuan Shi; Ziyang Zheng; Min Li; Qiang Xu (Proceedings of the 30th Asia and South Pacific Design Automation Conference, ASPDAC 2025, Tokyo, Japan, January 20-23, 2025, 2025)

DynamicSAT: Dynamic Configuration Tuning for SAT Solving - Zhengyuan Shi; Wentao Jiang; Xindi Zhang; Jin Luo; Yun Liang; Zhufei Chu; Qiang Xu (31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland, 2025)

WideGate: Beyond Directed Acyclic Graph Learning in Subcircuit Boundary Prediction - Jiawei Liu; Zhiyan Liu; Xun He; Jianwang Zhai; Zhengyuan Shi; Qiang Xu; Bei Yu; Chuan Shi (Design, Automation & Test in Europe Conference, DATE 2025, Lyon, France, March 31 - April 2, 2025, 2025)

DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale - Ziyang Zheng; Shan Huang; Jianyuan Zhong; Zhengyuan Shi; Guohao Dai; Ningyi Xu; Qiang Xu (The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025, 2025)

DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale - Ziyang Zheng; Shan Huang; Jianyuan Zhong; Zhengyuan Shi; Guohao Dai; Ningyi Xu; Qiang Xu (CoRR, 2025)

DeepCell: Multiview Representation Learning for Post-Mapping Netlists - Zhengyuan Shi; Chengyu Ma; Ziyang Zheng; Lingfeng Zhou; Hongyang Pan; Wentao Jiang; Fan Yang; Xiaoyan Yang; Zhufei Chu; Qiang Xu (CoRR, 2025)

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis - Zeju Li; Changran Xu; Zhengyuan Shi; Zedong Peng; Yi Liu; Yunhao Zhou; Lingfeng Zhou; Chengyu Ma; Jianyuan Zhong; Xi Wang; Jieru Zhao; Zhufei Chu; et al. (CoRR, 2025)

ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA - Zhengyuan Shi; Zeju Li; Chengyu Ma; Yunhao Zhou; Ziyang Zheng; Jiawei Liu; Hongyang Pan; Lingfeng Zhou; Kezhi Li; Jiaying Zhu; Lingwei Yan; Zhiqiang He; et al. (CoRR, 2025)

Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism - Ziyang Zheng; Kezhi Li; Zhengyuan Shi; Qiang Xu (CoRR, 2025)

DeepRTL2: A Versatile Model for RTL-Related Tasks - Yi Liu; Hongji Zhang; Yunhao Zhou; Zhengyuan Shi; Changran Xu; Qiang Xu (CoRR, 2025)

AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models - Chenhao Xue; Kezhi Li; Jiaxing Zhang; Yi Ren; Zhengyuan Shi; Chen Zhang; Yibo Lin; Lining Zhang; Qiang Xu; Guangyu Sun (CoRR, 2025)

MMCircuitEval: A Comprehensive Multimodal Circuit-Focused Benchmark for Evaluating LLMs - 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; et al. (CoRR, 2025)

Large circuit models: opportunities and challenges - 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; et al. (Sci. China Inf. Sci., 2024)

Erratum to: Large circuit models: opportunities and challenges - 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; et al. (Sci. China Inf. Sci., 2024)

DeepSeq: Deep Sequential Circuit Learning - Sadaf Khan; Zhengyuan Shi; Min Li; Qiang Xu (Design, Automation & Test in Europe Conference & Exhibition, DATE 2024, Valencia, Spain, March 25-27, 2024, 2024)

AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction - Zhiyuan Yan; Min Li; Zhengyuan Shi; Wenjie Zhang; Yingcong Chen; Hongce Zhang (Design, Automation & Test in Europe Conference & Exhibition, DATE 2024, Valencia, Spain, March 25-27, 2024, 2024)

DeepGate3: Towards Scalable Circuit Representation Learning - Zhengyuan Shi; Ziyang Zheng; Sadaf Khan; Jianyuan Zhong; Min Li; Qiang Xu (Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2024, Newark Liberty International Airport Marriott, NJ, USA, October 27-31, 2024, 2024)

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models - 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; et al. (CoRR, 2024)

EDA-Driven Preprocessing for SAT Solving - Zhengyuan Shi; Tiebing Tang; Sadaf Khan; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu (CoRR, 2024)

DeepGate3: Towards Scalable Circuit Representation Learning - Zhengyuan Shi; Ziyang Zheng; Sadaf Khan; Jianyuan Zhong; Min Li; Qiang Xu (CoRR, 2024)

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations - Sadaf Khan; Zhengyuan Shi; Ziyang Zheng; Min Li; Qiang Xu (CoRR, 2024)

Hardware Optimizations of Fruit-80 Stream Cipher: Smaller than Grain - Gangqiang Yang; Zhengyuan Shi; Cheng Chen; Hailiang Xiong; Fudong Li; Honggang Hu; Zhiguo Wan (ACM Trans. Reconfigurable Technol. Syst., 2023)

Design Space Exploration of Galois and Fibonacci Configuration Based on Espresso Stream Cipher - Zhengyuan Shi; Cheng Chen; Gangqiang Yang; Hailiang Xiong; Fudong Li; Honggang Hu; Zhiguo Wan (ACM Trans. Reconfigurable Technol. Syst., 2023)

On EDA-Driven Learning for SAT Solving - Min Li; Zhengyuan Shi; Qiuxia Lai; Sadaf Khan; Shaowei Cai; Qiang Xu (60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, 2023)

SATformer: Transformer-Based UNSAT Core Learning - Zhengyuan Shi; Min Li; Yi Liu; Sadaf Khan; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Qiang Xu (IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023)

DeepGate2: Functionality-Aware Circuit Representation Learning - Zhengyuan Shi; Hongyang Pan; Sadaf Khan; Min Li; Yi Liu; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu (IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023)

DeepSeq: Deep Sequential Circuit Learning - Sadaf Khan; Zhengyuan Shi; Min Li; Qiang Xu (CoRR, 2023)

Addressing Variable Dependency in GNN-based SAT Solving - Zhiyuan Yan; Min Li; Zhengyuan Shi; Wenjie Zhang; Yingcong Chen; Hongce Zhang (CoRR, 2023)

DeepGate2: Functionality-Aware Circuit Representation Learning - Zhengyuan Shi; Hongyang Pan; Sadaf Khan; Min Li; Yi Liu; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu (CoRR, 2023)

Work-in-Progress: Towards a Smaller than Grain Stream Cipher: Optimized FPGA Implementations of Fruit-80 - Gangqiang Yang; Zhengyuan Shi; Cheng Chen; Hailiang Xiong; Honggang Hu; Zhiguo Wan; Keke Gai; Meikang Qiu (International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2022, Shanghai, China, October 7-14, 2022, 2022)

DeepGate: learning neural representations of logic gates - Min Li; Sadaf Khan; Zhengyuan Shi; Naixing Wang; Huang Yu; Qiang Xu (DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, 2022)

DeepTPI: Test Point Insertion with Deep Reinforcement Learning - Zhengyuan Shi; Min Li; Sadaf Khan; Liuzheng Wang; Naixing Wang; Yu Huang; Qiang Xu (IEEE International Test Conference, ITC 2022, Anaheim, CA, USA, September 23-30, 2022, 2022)

DeepSAT: An EDA-Driven Learning Framework for SAT - Min Li; Zhengyuan Shi; Qiuxia Lai; Sadaf Khan; Qiang Xu (CoRR, 2022)

DeepTPI: Test Point Insertion with Deep Reinforcement Learning - Zhengyuan Shi; Min Li; Sadaf Khan; Liuzheng Wang; Naixing Wang; Yu Huang; Qiang Xu (CoRR, 2022)

SATformer: Transformers for SAT Solving - Zhengyuan Shi; Min Li; Sadaf Khan; Hui-Ling Zhen; Mingxuan Yuan; Qiang Xu (CoRR, 2022)

Testability-Aware Low Power Controller Design with Evolutionary Learning - Min Li; Zhengyuan Shi; Zezhong Wang; Weiwei Zhang; Yu Huang; Qiang Xu (IEEE International Test Conference, ITC 2021, Anaheim, CA, USA, October 10-15, 2021, 2021)

Testability-Aware Low Power Controller Design with Evolutionary Learning - Min Li; Zhengyuan Shi; Zezhong Wang; Weiwei Zhang; Yu Huang; Qiang Xu (CoRR, 2021)

Representation Learning of Logic Circuits - Min Li; Sadaf Khan; Zhengyuan Shi; Naixing Wang; Yu Huang; Qiang Xu (CoRR, 2021)

Design Space Exploration of Galois and Fibonacci Configuration based on Espresso Stream Cipher - Zhengyuan Shi; Gangqiang Yang; Hailiang Xiong; Fudong Li; Honggang Hu (IACR Cryptol. ePrint Arch., 2021)

From Courses to Contests: A Full Levels Project-driven Innovative Education Curriculum Struct - Zhengyuan Shi; Pengwei Wang (ICDTE 2019: The 3rd International Conference on Digital Technology in Education, Yamanashi, Japan, October, 2019, 2019)