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