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