Refactoring digital hardware designs with assertion libraries | IEEE Conference Publication | IEEE Xplore