Papers

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
  • 2024 2nd International Symposium of Electronics Design Automation (ISEDA), 2024, pp. 752-757.

    • 2023

    STSearch: State Tracing-based Search Heuristics for RTL Validation.
  • Z. Zheng, Y. Lyu
  • 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), Antwerp, Belgium, 2023, pp. 1-6, doi: 10.23919/DATE56975.2023.10136970.
  • Keywords: Scalability; Computer bugs; Hardware; Explosions; Test pattern generators; Trojan horses; Testing

    • 2022

    State-of-the-Art Advances, Development, and Challenges of Metal Oxide Semiconductor Nanomaterials for Photothermal Solar Steam Generation.
  • Tan, K. W., Yap, C. M., Z. Zheng, Haw, C. Y., Khiew, P. S., Chiu, W. S.
  • Adv. Sustainable Syst. 2022, 6, 2100416.

    • 2021

    Biosynthesis of Zinc Oxide Nanomaterials from Plant Extracts and Future Green Prospects: A Topical Review.
  • Huang, Y., Haw, C. Y., Z. Zheng, Kang, J., Zheng, J.-C., Wang, H.-Q.,
  • Adv. Sustainable Syst. 2021, 5, 2000266.