Tabular Mechanisation for Flexible Testing of Microprocessors