BatchSim: Parallel RTL Simulation Using Inter-Cycle Batching and Task Graph Parallelism | IEEE Conference Publication | IEEE Xplore