A robust constraint solving framework for multiple constraint sets in constrained random verification

Journal

Proceedings - Design Automation Conference

Date Issued

2013

Author(s)

Wu, B.-H.

CHUNG-YANG HUANG

DOI

10.1145/2463209.2488880

URI

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

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84879876231&doi=10.1145%2f2463209.2488880&partnerID=40&md5=edc42869c0375d7e55e163aad19133b4

Type

conference paper