Improved Test Efficiency in Cores-Based System-on-Chips Using ModelSim Verification Tool | IEEE Conference Publication | IEEE Xplore