MA/sup 2/TG: a functional test program generator for microprocessor verification