AQUILA: An equivalence checking system for large sequential designs

Huang, S.-Y.S.-Y.HuangCheng, K.-T.K.-T.ChengChen, K.-C.K.-C.ChenHuang, C.-Y.C.-Y.HuangBrewer, F.F.BrewerCHUNG-YANG HUANG2020-06-112020-06-112000https://scholars.lib.ntu.edu.tw/handle/123456789/499709AQUILA: An equivalence checking system for large sequential designsjournal article10.1109/12.8595392-s2.0-0034187246https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034187246&doi=10.1109%2f12.859539&partnerID=40&md5=802b4d492579fe0fe8ed241cb4b0ad70