Symbolic model checking on SystemC designs 會議 DAC 年份 2012 作者：Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang
