Selected Publications

2026

Fine-Grained Code Analysis for Processor Fuzzing.
  • Ziyue Zheng, Zhi Qu, Yangdi Lyu
  • DATE 2026.

    • 2025

    Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage.
  • Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu
  • ICCD 2025.
    • DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification.
  • Yuntao Lu, Chen Bai, Yuxuan Zhao, Ziyue Zheng, Yangdi Lyu, Bei Yu
  • TODAES, 2025.

    • 2024

    APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration.
  • Ziyue Zheng, Xiangchen Meng, Yangdi Lyu
  • ICCD 2024.
    • FlattenRTL: An Open Source Tool for Flattening Verilog Module at RTL Level.
  • Xiangchen Meng*, Ziyue Zheng*, Yangdi Lyu
  • ISEDA 2024, pp. 752-757.

    • 2023

    STSearch: State Tracing-based Search Heuristics for RTL Validation.
  • Z. Zheng, Y. Lyu
  • DATE 2023, Antwerp, Belgium, pp. 1-6.

    • 2022

    State-of-the-Art Advances, Development, and Challenges of Metal Oxide Semiconductor Nanomaterials for Photothermal Solar Steam Generation.
  • Kar Woon Tan, Chun Man Yap, Z. Zheng, et al.
  • Adv. Sustainable Syst. 2022, 6, 2100416.

    • 2021

    Biosynthesis of Zinc Oxide Nanomaterials from Plant Extracts and Future Green Prospects: A Topical Review.
  • Yajing Huang, Choon Yian Haw, Z. Zheng, et al.
  • Adv. Sustainable Syst. 2021, 5, 2000266.
    • Open Source Projects
    FlattenRTL: An Open Source Tool for Flattening Verilog Module at RTL Level.
  • Xiangchen Meng*, Ziyue Zheng*, Yangdi Lyu
  • Available at ISEDA 2024.