Publications

Google Scholar

Journals

  1. Yuntao Lu, Chen Bai, Yuxuan Zhao, Ziyue Zheng, Yangdi Lyu, Mingyu Liu and Bei Yu, DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification, ACM Transactions on Design Automation of Electronic Systems (TODAES), 2025. [link]

  2. Hasini Witharana, Yangdi Lyu, Subodha Charles and Prabhat Mishra, A Survey on Assertion-based Hardware Verification, ACM Computing Surveys (CSUR), 2022. [link]

  3. Hasini Witharana, Yangdi Lyu and Prabhat Mishra, Directed Test Generation for Activation of Security Assertions in RTL Models, ACM Transactions on Design Automation of Electronic Systems (TODAES), 2021. [link]

  4. Yangdi Lyu and Prabhat Mishra, MaxSense: Side-Channel Sensitivity Maximization for Trojan Detection using Statistical Test Patterns, Transactions on Design Automation of Electronic Systems (TODAES), 2021. [link]

  5. Yangdi Lyu and Prabhat Mishra, Scalable Activation of Rare Triggers in Hardware Trojans by Repeated Maximal Clique Sampling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2021. [link]

  6. Yangdi Lyu and Prabhat Mishra, Scalable Concolic Testing of RTL Models, IEEE Transactions on Computers (TC), 2021. [link]

  7. Subodha Charles, Yangdi Lyu and Prabhat Mishra, Real-time Detection and Localization of Distributed DoS Attacks in NoC based SoCs, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2020. [link]

  8. Yangdi Lyu, Xiaoke Qin, Mingsong Chen and Prabhat Mishra, Directed Test Generation for Validation of Cache Coherence Protocols, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018. [link]

  9. Yangdi Lyu and Prabhat Mishra, A Survey of Side-Channel Attacks on Caches and Countermeasures, Journal of Hardware and Systems Security (HaSS), 2017. [link]

Conferences

  1. Xiangchen Meng, Yan TAN, Zijun JIANG and Yangdi Lyu, An Enhanced Data Packing Method for General Matrix Multiplication in Brakerski/Fan-Vercauteren Scheme, Design Automation Conference (DAC), 2025.

  2. Wujie Zhong and Yangdi Lyu, DUSGAI: A Dual-side Sparse GEMM Accelerator with Flexible Interconnects, Design Automation and Test in Europe (DATE), 2025.

  3. Tong Liu, Zijun Jiang and Yangdi Lyu, CPP-SGS :Cycle-Accurate Power Prediction Framework via SNN and Genetic Signal Selection, Design Automation and Test in Europe (DATE), 2025.

  4. Wujie Zhong, Zijun Jiang and Yangdi Lyu, MACO: A HW-Mapping Co-optimization Framework for DNN Accelerators, Asia and South Pacific Design Automation Conference (ASPDAC), 2025. [link]

  5. Ziyue Zheng, Xiangchen Meng and Yangdi Lyu, APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration, International Conference on Computer Design (ICCD), 2024. [link]

  6. Zijun Jiang and Yangdi Lyu, Efficient Microprocessor Design Space Exploration via Space Partitioning, International Conference on Computer Design (ICCD), 2024.[link]

  7. Xiangchen Meng, Ziyue Zheng and Yangdi Lyu, FlattenRTL: An Open Source Tool for Flattening Verilog Module at RTL Level, International Symposium of EDA (ISEDA), 2024. [link]

  8. Tong Liu, Haoyu Zhao and Yangdi Lyu, CAPEDL: Cycle-Accurate Power Estimation with Deep Learning, International Symposium of EDA (ISEDA), 2024. [link]

  9. Zijun Jiang and Yangdi Lyu, Microprocessor Design Space Exploration via Space Partitioning and Bayesian Optimization, Design Automation and Test in Europe (DATE), 2024. [link]

  10. Ziyue Zheng and Yangdi Lyu, STSearch: State Tracing-based Search Heuristics for RTL Validation, Design Automation and Test in Europe (DATE), 2023. [link]

  11. Yangdi Lyu and Prabhat Mishra, Directed Test Generation for Delay-based Side Channel Analysis, Design Automation and Test in Europe (DATE), 2020. [link]

  12. Yangdi Lyu and Prabhat Mishra, Automated Trigger Activation by Repeated Maximal Clique Sampling, Asia and South Pacific Design Automation Conference (ASPDAC), 2020. [link]

  13. Yangdi Lyu and Prabhat Mishra, Automated Test Generation for Activation of Assertions in RTL Models, Asia and South Pacific Design Automation Conference (ASPDAC), 2020. [link]

  14. Yangdi Lyu and Prabhat Mishra, Efficient Test Generation for Trojan Detection using Side Channel Analysis, Design Automation and Test in Europe (DATE), 2019. [link]

  15. Yangdi Lyu, Alif Ahmed and Prabhat Mishra, Automated Activation of Multiple Targets in RTL Models using Concolic Testing, Design Automation and Test in Europe (DATE), 2019. Best Paper Nomination [link]

  16. Subodha Charles, Yangdi Lyu and Prabhat Mishra, Real-time Detection and Localization of DoS Attacks in NoC based SoCs, Design Automation and Test in Europe (DATE), 2019. [link]

  17. Yangdi Lyu and Alper Üngör, A Fast 2- Approximation Algorithm for Guarding Orthogonal Terrains, In Proc. of 28th Canadian Conf. on Comp. Geometry (CCCG), 2016. [link]

Books

  1. Yangdi Lyu, Yuanwen Huang and Prabhat Mishra, SoC Security versus Post-Silicon Debug Conflict, Post-Silicon Validation and Debug, P. Mishra and F. Farahmandi (editors), Springer, 2018.

Patents

  1. Prabhat Mishra and Yangdi Lyu, Delay-based Side-channel Analysis for Trojan Detection, U.S. Patent 11,580,265 (Feb 14, 2023).

  2. Prabhat Mishra and Yangdi Lyu, Maximization of Side-Channel Sensitivity for Trojan Detection, U.S. Patent 11,579,185 (Feb 14, 2023).

  3. Prabhat Mishra and Yangdi Lyu, Trigger Activation by Repeated Maximal Clique Sampling, U.S. Patent 11,568,046 (Jan 31, 2023).

  4. Prabhat Mishra, Subodha Charles and Yangdi Lyu, Securing System-on-Chip (SoC) using Incremental Cryptography, US Patent 11,552,782 (Jan 10, 2023).

  5. Prabhat Mishra, Subodha Charles and Yangdi Lyu, Real-Time Detection and Localization of DoS Attacks in NoC based SoC Architectures, US Patent 11,797,667 (Oct 24, 2023).