Items where authors include "Wang, Ning"

Article

Li, Han, Zhang, Xinyu, Halliwell, Tyler et al. (2 more authors) (2025) A multi-layer transcranial focused ultrasound model for neuromodulation procedure planning and insertion loss estimation. Physics in Medicine and Biology. 215024. ISSN 0031-9155

Kamel, George, Wang, Ning, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 et al. (5 more authors) (2015) CAINE: A Context-Aware Information-Centric Network Ecosystem. IEEE Communications Magazine. pp. 176-183. ISSN 0163-6804

Proceedings Paper

Zhou, Jie, Ji, Youshu, Wang, Ning et al. (7 more authors) (2025) Insights from Rights and Wrongs:A Large Language Model for Solving Assertion Failures in RTL Design. In: 62nd DAC, Chips to Systems Conference, proceedings. 62nd Design Automation Conference, 22-25 Jun 2025, Moscone West. , USA .

Hu, Yuchen, Ye, Junhao, Xu, Ke et al. (11 more authors) (2025) UVLLM:An Automated Universal RTL Verification Framework using LLMs. In: 62nd DAC, Chips to Systems Conference, proceedings. 62nd Design Automation Conference, 22-25 Jun 2025, Moscone West. , USA .