The need for co-simulation in ASIC-verification | IEEE Conference Publication | IEEE Xplore