From Courses to Contests: A Full Levels Project-driven Innovative Education Curriculum Struct. - Zhengyuan Shi; Pengwei Wang (ICDTE, 2019)

Testability-Aware Low Power Controller Design with Evolutionary Learning. - Min Li 019; Zhengyuan Shi; Zezhong Wang 006; Weiwei Zhang; Yu Huang 005; Qiang Xu 001 (ITC, 2021)

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

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

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 (CASES, 2022)

DeepGate: learning neural representations of logic gates. - Min Li 019; Sadaf Khan; Zhengyuan Shi; Naixing Wang; Huang Yu; Qiang Xu 001 (DAC, 2022)

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

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

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

On EDA-Driven Learning for SAT Solving. - Min Li 019; Zhengyuan Shi; Qiuxia Lai; Sadaf Khan; Shaowei Cai 001; Qiang Xu 001 (DAC, 2023)

SATformer: Transformer-Based UNSAT Core Learning. - Zhengyuan Shi; Min Li 019; Yi Liu; Sadaf Khan; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Qiang Xu 001 (ICCAD, 2023)

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

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

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

DeepSeq: Deep Sequential Circuit Learning. - Sadaf Khan; Zhengyuan Shi; Min Li 019; Qiang Xu 001 (DATE, 2024)

AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction. - Zhiyuan Yan 003; Min Li 019; Zhengyuan Shi; Wenjie Zhang; Yingcong Chen; Hongce Zhang (DATE, 2024)

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

Large circuit models: opportunities and challenges. - Lei Chen; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Ru Huang 001; Yu Huang 005; Sadaf Khan; Min Li; Xingquan Li; Yu Li; Yun Liang 001; 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 001; Yu Huang 005; Sadaf Khan; Min Li; Xingquan Li; Yu Li; Yun Liang 001; et al. (Sci. China Inf. Sci., 2024)

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. - Lei Chen 002; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Yu Huang 005; Sadaf Khan; Min Li 019; Xingquan Li; Yun Liang 001; 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 001 (CoRR, 2024)

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

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations. - Sadaf Khan; Zhengyuan Shi; Ziyang Zheng; Min Li 019; Qiang Xu 001 (ASP-DAC, 2025)

DynamicSAT: Dynamic Configuration Tuning for SAT Solving. - Zhengyuan Shi; Wentao Jiang; Xindi Zhang; Jin Luo; Yun Liang 001; Zhufei Chu; Qiang Xu 001 (CP, 2025)

WideGate: Beyond Directed Acyclic Graph Learning in Subcircuit Boundary Prediction. - Jiawei Liu 006; Zhiyan Liu; Xun He; Jianwang Zhai; Zhengyuan Shi; Qiang Xu 001; Bei Yu 001; Chuan Shi 001 (DATE, 2025)

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

DeepCell: Multiview Representation Learning for Post-Mapping Netlists. - Zhengyuan Shi; Chengyu Ma; Ziyang Zheng; Lingfeng Zhou; Hongyang Pan; Wentao Jiang; Fan Yang 001; Xiaoyan Yang; Zhufei Chu; Qiang Xu 001 (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)

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)

ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA. - Zhengyuan Shi; Zeju Li; Chengyu Ma; Yunhao Zhou; Ziyang Zheng; Jiawei Liu 006; 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 001 (CoRR, 2025)

AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models. - Chenhao Xue; Kezhi Li; Jiaxing Zhang; Yi Ren; Zhengyuan Shi; Chen Zhang 001; Yibo Lin; Lining Zhang; Qiang Xu 001; Guangyu Sun 003 (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)

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities. - Jiaying Zhu; Ziyang Zheng; Zhengyuan Shi; Yalun Cai; Qiang Xu 001 (CoRR, 2025)