Automatic abstraction refinement of TR for PDR

Journal

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Journal Volume

25-28-January-2016

Pages

121-126

Date Issued

2016

Author(s)

Fan, K.

Yang, M.-J.

CHUNG-YANG HUANG

DOI

10.1109/ASPDAC.2016.7427999

URI

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

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84996606902&doi=10.1109%2fASPDAC.2016.7427999&partnerID=40&md5=a6dddbd235e8d30c5a55632e2f7c687e

SDGs

[SDGs]SDG9

Type

conference paper