Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
Enhancing Bug Hunting Using High-Level Symbolic Simulation
Details
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
SY-YEN KUO
DOI
10.1145/1531542.1531637
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/352026
Type
conference paper