Hoang M. Le, Daniel Große, Rolf Drechsler. Towards analyzing functional coverage in SystemC TLM property checking. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010. pages 67-74, IEEE, 2010. [doi]
Abstract is missing.