Electronic Design Automation for IC System Design, Verification, and Testing sidottuEnglanti, 2016