Graph-based functional test program generation for pipelined processors | IEEE Conference Publication | IEEE Xplore