Downloadable computer software for electronic design automation, namely, implementation and verification software programs for the design of electronic components and behavioral and structural models of electronic components; downloadable automated test program generation software that creates computer programs for testing the functionality of electronic and electrical apparatus, and computer software for validating test programs that have been generated