Practical design assistance at register transfer level using a data path verifier | IEEE Conference Publication | IEEE Xplore