Downloadable computer software for electronic design automation