A system-level co-verification environment for ATM hardware design | IEEE Conference Publication | IEEE Xplore