Zhengyuan Shi

According to our database, Zhengyuan Shi authored at least 18 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

EDA-Driven Preprocessing for SAT Solving.

Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

CoRR, 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, 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

CoRR, 2024

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., September, 2023

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., June, 2023

Addressing Variable Dependency in GNN-based SAT Solving.

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang

CoRR, 2023

DeepSeq: Deep Sequential Circuit Learning.

Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu

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

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

SATformer: Transformer-Based UNSAT Core Learning.

Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

On EDA-Driven Learning for SAT Solving.

Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

SATformer: Transformers for SAT Solving.

Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

CoRR, 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

Proceedings of the IEEE International Test Conference, 2022

DeepGate: learning neural representations of logic gates.

Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

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

Proceedings of the International Conference on Compilers, 2022

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

Representation Learning of Logic Circuits.

Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Yu Huang, Qiang Xu

CoRR, 2021

Testability-Aware Low Power Controller Design with Evolutionary Learning.

Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu

Proceedings of the IEEE International Test Conference, 2021

2019

From Courses to Contests: A Full Levels Project-driven Innovative Education Curriculum Struct.

Zhengyuan Shi, Pengwei Wang

Proceedings of the ICDTE 2019: The 3rd International Conference on Digital Technology in Education, 2019