COMPUTER PROGRAMS FOR USE IN VERIFYING THE SIMULATED BEHAVIOR OF A GENERATING TEST PROGRAMS FOR ELECTRONIC DEVICES, ELECTRONIC COMPONENTS, PRINTED CIRCUIT BOARDS AND INTEGRATED CIRCUITS