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 / 電機工程學系
Symbolic model checking on SystemC designs
Details
Symbolic model checking on SystemC designs
Journal
Proceedings - Design Automation Conference
Pages
327-333
Date Issued
2012
Author(s)
Chou, C.-N.
Ho, Y.-S.
Hsieh, C.
CHUNG-YANG HUANG
DOI
10.1145/2228360.2228421
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/499729
URL
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84863544806&doi=10.1145%2f2228360.2228421&partnerID=40&md5=aa12e4200dce679ef5888af88daea55a
Type
conference paper