The Verification of SHA-256 IP using a semi-automatic UVM platform | IEEE Conference Publication | IEEE Xplore