SYSCHECK: A user-programmable mixed-mode verification tool | IEEE Conference Publication | IEEE Xplore