A survey and comparison of digital logic simulators | IEEE Conference Publication | IEEE Xplore