Software tools for electronic design automation.