Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang. An Equivalence Checking Framework for Agile Hardware Design. In Atsushi Takahashi 0001, editor, Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023. pages 26-32, ACM, 2023. [doi]
Abstract is missing.