An Approach to Multi-core Functional Gate-Level Simulation Minimizing Synchronization and Communication Overheads | IEEE Conference Publication | IEEE Xplore