computer programs for use in recording function and performance goals and requirements, and verifying the simulated behavior of and generating test programs for electronic devices, electronic components, printed circuit boards and integrated circuits