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