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