Coverage metrics for functional validation of hardware designs | IEEE Journals & Magazine | IEEE Xplore