Nan Wu | JC STEM FACT Lab @ HKUST https://fact-lab.hkust.edu.hk/authors/nan-wu/ Nan Wu HugoBlox Kit (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000 Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect https://fact-lab.hkust.edu.hk/publications/journal-article/2024/wu-2024-survey/ Mon, 01 Jan 2024 00:00:00 +0000 https://fact-lab.hkust.edu.hk/publications/journal-article/2024/wu-2024-survey/ Gamora: Graph learning based symbolic reasoning for large-scale boolean networks https://fact-lab.hkust.edu.hk/publications/conference-paper/2023/wu-2023-gamora/ Sun, 01 Jan 2023 00:00:00 +0000 https://fact-lab.hkust.edu.hk/publications/conference-paper/2023/wu-2023-gamora/ Ai-assisted synthesis in next generation eda: Promises, challenges, and prospects https://fact-lab.hkust.edu.hk/publications/conference-paper/2022/wu-2022-ai/ Sat, 01 Jan 2022 00:00:00 +0000 https://fact-lab.hkust.edu.hk/publications/conference-paper/2022/wu-2022-ai/