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