Electronic Design Automation for IC System Design Verification and Testing