Code generation for functional validation of pipelined microprocessors | IEEE Conference Publication | IEEE Xplore