A framework for verification of SystemC TLM programs with model slicing: a case study.

Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni

Browse the full DAC paper archive.