Functional verification of system on chips - practices, issues and challenges | IEEE Conference Publication | IEEE Xplore