All Stories

  1. DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification

    Article • ACM Transactions on Design Automation of Electronic Systems, March 2025, ACM (Association for Computing Machinery)

    liu mingyu, Chen Bai

  2. Machine Learning Based Acceleration Method for Ordered Escape Routing

    Article • June 2021, ACM (Association for Computing Machinery)

    liu mingyu