Reasoning about the Trends and Challenges of Engineering Design Automation | IEEE Conference Publication | IEEE Xplore