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