Mixed-mode simulation and verification: status and future | IEEE Conference Publication | IEEE Xplore