H/W-S/W co-verification in ATM | IEEE Conference Publication | IEEE Xplore