A framework for verification of SystemC TLM programs with model slicing: a case study, Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications