Electronic System Level Models for Functional Verification of System-on-Chip | IEEE Conference Publication | IEEE Xplore