Taming the Complexity of STE-based Design Verification Using Program Slicing | IEEE Conference Publication | IEEE Xplore