Achieving full functional coverage for the forwarding unit of pipelined processors | IEEE Conference Publication | IEEE Xplore