computer software for use by electrical and mechanical engineers and other circuit designers for electronic design automation, and related user manuals distributed therewith