Electronic design automation for IC implementation, circuit design, and process technology. (2017)