Parallelizing a sequential logic simulator using an optimistic framework based on a global parallel heap event queue: an experience and performance report | IEEE Conference Publication | IEEE Xplore