computer software for electronic design automation