Yinan Xu, Zihao Yu, Kaifan Wang, Huaqiang Wang, Jiawei Lin, Yue Jin, Linjuan Zhang, Zifei Zhang, Dan Tang, Sa Wang, Kan Shi, Ninghui Sun, Yungang Bao. Functional Verification for Agile Processor Development: A Case for Workflow Integration. J. Comput. Sci. Technol., 38(4):737-753, July 2023. [doi]
Abstract is missing.