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 computer software for the automated generation of computer programs from user defined architectural and behavioral descriptions