Conquering the scheduling alternative explosion problem of SystemC symbolic simulation 會議 ICCAD 年份 2013 作者：Chun-Nan Chou, Chen-Kai Chu, Chung-Yang (Ric) Huang
