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