TEST GENERATION FOR PAL DEVICES