Tracing execution of software for design coverage | IEEE Conference Publication | IEEE Xplore