Chun-Nan Chou, Chen-Kai Chu, Chung-Yang (Ric) Huang. Conquering the scheduling alternative explosion problem of SystemC symbolic simulation. In Jörg Henkel, editor, The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013. pages 685-690, IEEE/ACM, 2013. [doi]
@inproceedings{ChouCH13,
title = {Conquering the scheduling alternative explosion problem of SystemC symbolic simulation},
author = {Chun-Nan Chou and Chen-Kai Chu and Chung-Yang (Ric) Huang},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2561961},
researchr = {https://researchr.org/publication/ChouCH13},
cites = {0},
citedby = {0},
pages = {685-690},
booktitle = {The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013},
editor = {Jörg Henkel},
publisher = {IEEE/ACM},
isbn = {978-1-4799-1069-4},
}