A SystemC Based Library for Functional Coverage
C. Kuznik, W. Müller, in: 2011.