A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit | IEEE Conference Publication | IEEE Xplore