Generating high coverage tests for SystemC designs using symbolic execution.

Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie

Browse the full ASPDAC paper archive.