Symbolic model checking on SystemC designs.

Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang

Browse the full DAC paper archive.