AQUILA: An equivalence checking system for large sequential designs

Journal

IEEE Transactions on Computers

Journal Volume

49

Journal Issue

5

Pages

443-464

Date Issued

2000

Author(s)

Huang, S.-Y.

Cheng, K.-T.

Chen, K.-C.

Huang, C.-Y.

Brewer, F.

CHUNG-YANG HUANG

DOI

10.1109/12.859539

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/499709

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034187246&doi=10.1109%2f12.859539&partnerID=40&md5=802b4d492579fe0fe8ed241cb4b0ad70

Type

journal article