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

Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni. A framework for verification of SystemC TLM programs with model slicing: a case study. In Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016. pages 22, ACM, 2016. [doi]

Abstract

Abstract is missing.