Zhengyuan Shi

Orcid: 0000-0002-2186-9579

According to our database1, Zhengyuan Shi authored at least 21 papers between 2019 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
DeepGate3: Towards Scalable Circuit Representation Learning.
CoRR, 2024

EDA-Driven Preprocessing for SAT Solving.
CoRR, 2024

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models.
CoRR, 2024

AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

DeepSeq: Deep Sequential Circuit Learning.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023
Design Space Exploration of Galois and Fibonacci Configuration Based on Espresso Stream Cipher.
ACM Trans. Reconfigurable Technol. Syst., September, 2023

Hardware Optimizations of Fruit-80 Stream Cipher: Smaller than Grain.
ACM Trans. Reconfigurable Technol. Syst., June, 2023

Addressing Variable Dependency in GNN-based SAT Solving.
CoRR, 2023

DeepSeq: Deep Sequential Circuit Learning.
CoRR, 2023

DeepGate2: Functionality-Aware Circuit Representation Learning.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

SATformer: Transformer-Based UNSAT Core Learning.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

On EDA-Driven Learning for SAT Solving.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022
SATformer: Transformers for SAT Solving.
CoRR, 2022

DeepSAT: An EDA-Driven Learning Framework for SAT.
CoRR, 2022

DeepTPI: Test Point Insertion with Deep Reinforcement Learning.
Proceedings of the IEEE International Test Conference, 2022

DeepGate: learning neural representations of logic gates.
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.
Proceedings of the International Conference on Compilers, 2022

2021
Design Space Exploration of Galois and Fibonacci Configuration based on Espresso Stream Cipher.
IACR Cryptol. ePrint Arch., 2021

Representation Learning of Logic Circuits.
CoRR, 2021

Testability-Aware Low Power Controller Design with Evolutionary Learning.
Proceedings of the IEEE International Test Conference, 2021

2019
From Courses to Contests: A Full Levels Project-driven Innovative Education Curriculum Struct.
Proceedings of the ICDTE 2019: The 3rd International Conference on Digital Technology in Education, 2019


  Loading...