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