Zhengyuan Shi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 24

Top Topics

Driven Learning

Design Space Exploration

Boolean Satisfiability

Top Venues

ACM Trans. Reconfigurable Technol. Syst.

Publications

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
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. CoRR (2024)
Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
DeepGate3: Towards Scalable Circuit Representation Learning. CoRR (2024)
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
DeepSeq: Deep Sequential Circuit Learning. DATE (2024)
Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
EDA-Driven Preprocessing for SAT Solving. CoRR (2024)
Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang
AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction. DATE (2024)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. ICCAD (2023)
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
DeepSeq: Deep Sequential Circuit Learning. CoRR (2023)
Zhengyuan Shi, Cheng Chen, Gangqiang Yang, Hailiang Xiong, Fudong Li, Honggang Hu, Zhiguo Wan
Design Space Exploration of Galois and Fibonacci Configuration Based on Espresso Stream Cipher. ACM Trans. Reconfigurable Technol. Syst. 16 (3) (2023)
Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang
Addressing Variable Dependency in GNN-based SAT Solving. CoRR (2023)
Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
SATformer: Transformer-Based UNSAT Core Learning. ICCAD (2023)
Gangqiang Yang, Zhengyuan Shi, Cheng Chen, Hailiang Xiong, Fudong Li, Honggang Hu, Zhiguo Wan
Hardware Optimizations of Fruit-80 Stream Cipher: Smaller than Grain. ACM Trans. Reconfigurable Technol. Syst. 16 (2) (2023)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. CoRR (2023)
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
On EDA-Driven Learning for SAT Solving. DAC (2023)
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
DeepTPI: Test Point Insertion with Deep Reinforcement Learning. CoRR (2022)
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu
DeepGate: learning neural representations of logic gates. DAC (2022)
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
SATformer: Transformers for SAT Solving. CoRR (2022)
Gangqiang Yang, Zhengyuan Shi, Cheng Chen, Hailiang Xiong, Honggang Hu, Zhiguo Wan, Keke Gai, Meikang Qiu
Work-in-Progress: Towards a Smaller than Grain Stream Cipher: Optimized FPGA Implementations of Fruit-80. CASES (2022)
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
DeepTPI: Test Point Insertion with Deep Reinforcement Learning. ITC (2022)
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Qiang Xu
DeepSAT: An EDA-Driven Learning Framework for SAT. CoRR (2022)
Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu
Testability-Aware Low Power Controller Design with Evolutionary Learning. ITC (2021)
Zhengyuan Shi, Gangqiang Yang, Hailiang Xiong, Fudong Li, Honggang Hu
Design Space Exploration of Galois and Fibonacci Configuration based on Espresso Stream Cipher. IACR Cryptol. ePrint Arch. 2021 (2021)
Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu
Testability-Aware Low Power Controller Design with Evolutionary Learning. CoRR (2021)
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Yu Huang, Qiang Xu
Representation Learning of Logic Circuits. CoRR (2021)
Zhengyuan Shi, Pengwei Wang
From Courses to Contests: A Full Levels Project-driven Innovative Education Curriculum Struct. ICDTE (2019)