Enhancing Bug Hunting Using High-Level Symbolic Simulation

Journal

2009 ACM Great Lake Symposium on VLSI (GLSVLSI-2009)

Pages

417-420

Date Issued

2009-05

Author(s)

H. Z. Chou

I. H. Lin

C. S. Yang

K. H. Chang

DOI

10.1145/1531542.1531637

URI

http://scholars.lib.ntu.edu.tw/handle/123456789/352026

Type

conference paper