Deepgate: Learning neural representations of logic gates M Li, S Khan, Z Shi, N Wang, H Yu, Q Xu Proceedings of the 59th ACM/IEEE Design Automation Conference, 667-672, 2022 | 17* | 2022 |
On EDA-Driven Learning for SAT Solving M Li, Z Shi, Q Lai, S Khan, S Cai, Q Xu 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | 9* | 2023 |
Deeptpi: Test point insertion with deep reinforcement learning Z Shi, M Li, S Khan, L Wang, N Wang, Y Huang, Q Xu 2022 IEEE International Test Conference (ITC), 194-203, 2022 | 8 | 2022 |
Design space exploration of galois and fibonacci configuration based on espresso stream cipher Z Shi, C Chen, G Yang, H Xiong, F Li, H Hu, Z Wan ACM Transactions on Reconfigurable Technology and Systems 16 (3), 1-24, 2023 | 6 | 2023 |
DeepGate2: Functionality-Aware Circuit Representation Learning Z Shi, H Pan, K Sadaf, M Li, Y Liu, J Huang, HL Zhen, M Yuan, Z Chu, ... 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023 | 5 | 2023 |
SATformer: Transformer-Based UNSAT Core Learning Z Shi, M Li, Y Liu, S Khan, J Huang, HL Zhen, M Yuan, Q Xu 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-4, 2023 | 5* | 2023 |
Hardware optimizations of fruit-80 stream cipher: smaller than grain G Yang, Z Shi, C Chen, H Xiong, F Li, H Hu, Z Wan ACM Transactions on Reconfigurable Technology and Systems 16 (2), 1-32, 2023 | 4 | 2023 |
DeepSeq: Deep Sequential Circuit Learning S Khan, Z Shi, M Li, Q Xu arXiv preprint arXiv:2302.13608, 2023 | 3 | 2023 |
Addressing variable dependency in gnn-based SAT solving Z Yan, M Li, Z Shi, W Zhang, Y Chen, H Zhang arXiv preprint arXiv:2304.08738, 2023 | 1 | 2023 |
Work-in-Progress: Towards a Smaller than Grain Stream Cipher: Optimized FPGA Implementations of Fruit-80 G Yang, Z Shi, C Chen, H Xiong, H Hu, Z Wan, K Gai, M Qiu 2022 International Conference on Compilers, Architecture, and Synthesis for …, 2022 | 1 | 2022 |
EDA-Driven Preprocessing for SAT Solving Z Shi, T Tang, S Khan, HL Zhen, M Yuan, Z Chu, Q Xu arXiv preprint arXiv:2403.19446, 2024 | | 2024 |
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models L Chen, Y Chen, Z Chu, W Fang, TY Ho, Y Huang, S Khan, M Li, X Li, ... arXiv preprint arXiv:2403.07257, 2024 | | 2024 |
The Elephant in the Room: Variable Dependency in GNN-based SAT Solving Z Yan, M Li, Z Shi, W Zhang, YC Chen, H Zhang First International Workshop on Deep Learning-aided Verification, 2023 | | 2023 |
Addressing Variable Dependency in GNN-based SAT Solving Y Zhiyuan, M Li, Z Shi, W Zhang, YC Chen, H Zhang | | 2022 |
Testability-Aware Low Power Controller Design with Evolutionary Learning M Li, Z Shi, Z Wang, W Zhang, Y Huang, Q Xu 2021 IEEE International Test Conference (ITC), 324-328, 2021 | | 2021 |
Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems Z Shi, C Chen, G Yang, H Zhou, H Xiong, Z Wan ACM Transactions on Embedded Computing Systems, 0 | | |