Chou, C.-N.C.-N.ChouHo, Y.-S.Y.-S.HoHsieh, C.C.HsiehCHUNG-YANG HUANG2020-06-112020-06-112012https://scholars.lib.ntu.edu.tw/handle/123456789/499729Symbolic model checking on SystemC designsconference paper10.1145/2228360.22284212-s2.0-84863544806https://www.scopus.com/inward/record.uri?eid=2-s2.0-84863544806&doi=10.1145%2f2228360.2228421&partnerID=40&md5=aa12e4200dce679ef5888af88daea55a