Mufan Xiang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2022–2023
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DATE | ChiselFV: A Formal Verification Framework for Chisel. | Mufan Xiang, Yongjian Li, Yongxin Zhao |
| 2022 | ICECCS | Parameterized Design and Formal Verification of Multi-ported Memory. | Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi |