Towards analyzing functional coverage in SystemC TLM property checking

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]

Authors

Hoang M. Le

This author has not been identified. Look up 'Hoang M. Le' in Google

Daniel Große

This author has not been identified. Look up 'Daniel Große' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google