Efficient coverage-driven stimulus generation using simultaneous SAT solving, with application to SystemVerilog

Journal

ACM Transactions on Design Automation of Electronic Systems

Journal Volume

20

Journal Issue

1

Date Issued

2014

Author(s)

Cheng, A.-C.

Yen, C.-C.

Val, C.G.

Bayless, S.

Hu, A.J.

Jiang, I.H.-R.

Jou, J.-Y.

DOI

10.1145/2651400

URI

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

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84914674693&doi=10.1145%2f2651400&partnerID=40&md5=3b2320582796c82a168da6f8f2199de3

Type

journal article