Conquering the scheduling alternative explosion problem of SystemC symbolic simulation. - Chun-Nan Chou; Chen-Kai Chu; Chung-Yang (Ric) Huang (ICCAD, 2013)