Text this: Foundations and trends in electronic design automation.