Conquering the scheduling alternative explosion problem of SystemC symbolic simulation

作者：Chun-Nan Chou, Chen-Kai Chu, Chung-Yang (Ric) Huang