@inproceedings{DBLP:conf/aspdac/WangXYCY23,
 author = {Yanzhao Wang and
Fei Xie and
Zhenkun Yang and
Pasquale Cocchini and
Jin Yang},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/aspdac/WangXYCY23.bib},
 booktitle = {Proceedings of the 28th Asia and South Pacific Design Automation Conference,
ASPDAC 2023, Tokyo, Japan, January 16-19, 2023},
 doi = {10.1145/3566097.3567843},
 editor = {Atsushi Takahashi},
 pages = {26--32},
 publisher = {ACM},
 timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
 title = {An Equivalence Checking Framework for Agile Hardware Design},
 url = {https://doi.org/10.1145/3566097.3567843},
 year = {2023}
}