Verification of IP-Core Based SoC's | IEEE Conference Publication | IEEE Xplore