US7353156B2 - Method of Switching External Models in an Automated System-on-Chip Integrated Circuit Design Verification System