The relationship of code coverage metrics on high-level and RTL code | IEEE Conference Publication | IEEE Xplore